{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:18Z","timestamp":1725664878737},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606086"},{"type":"electronic","value":"9783540484608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60608-4_44","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:45:39Z","timestamp":1330289139000},"page":"247-264","source":"Crossref","is-referenced-by-count":2,"title":["Inheritance reasoning by regular sets in knowledge-bases with dot notation"],"prefix":"10.1007","author":[{"given":"Masahiko","family":"Tsukamoto","sequence":"first","affiliation":[]},{"given":"Shojiro","family":"Nishio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"14_CR1","unstructured":"A\u00eft-Kaci, H., \u201cA Lattice Theoretic Approach to Computation Based on Calculus on Partially Ordered Type Structures\u201d, Ph.D. Thesis, Univ. of Pennsylvania, 1984."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Brachman, R.J. and Schmolze, J.G., \u201cAn Overview of the KL-ONE Knowledge Representation System\u201d, Cognitive Science, Vol.9, No.2, 1985.","DOI":"10.1207\/s15516709cog0902_1"},{"key":"14_CR3","unstructured":"Brown, R. and Parker, D.S., \u201cLAURA: A Formal Data Model and her Logical Design Methodology\u201d, Proc. of the 9th Int'l Conf. on Very Large Database Systems, pp.206\u2013217, 1983."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Carpenter, B., \u201cThe Logic of Typed Feature Structures\u201d, Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511530098"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Chomicki, J. and Imieli\u0144ski, T., \u201cTemporal Deductive Databases and Infinite Objects\u201d, Proc. of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp.61\u201373, 1988.","DOI":"10.1145\/308386.308416"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Chomicki, J. and Imieli\u0144ski, T., \u201cRelational Specification of Infinite Query Answers\u201d, Proc. of ACM Int'l Conf. on Management on Data, pp.174\u2013183, 1989.","DOI":"10.1145\/66926.66942"},{"key":"14_CR7","unstructured":"Coburn, N. and Weddell, G.E., \u201cPath Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations and Functional Dependencies\u201d, Delobel, C., Kifer, M., and Masunaga, Y.(Eds.): Deductive and Object-Oriented Databases, Lecture Notes in Computer Science 566, Springer-Verlag, pp.312\u2013331, 1991."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Gentzen, G., \u201cInvestigations into Logical Deduction\u201d, Szabo, M.E.(Ed.): The Collected Papers of Gerhard Gentzen, North-Holland, pp.68\u2013131, 1969.","DOI":"10.1016\/S0049-237X(08)70822-X"},{"issue":"No.3","key":"14_CR9","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/122296.122305","volume":"2","author":"N. Guarino","year":"1991","unstructured":"Guarino, N., \u201cA Concise Presentation of ITL\u201d, ACM-SIGART BULLETIN, Vol.2, No.3, pp.61\u201369, 1991.","journal-title":"ACM-SIGART BULLETIN"},{"key":"14_CR10","unstructured":"Hopcroft, J.E. and Ullman, J.D., \u201cIntroduction to Automata Theory\u201d, Language and Computation, Addison-Wesley Publishing Company Inc., 1979."},{"key":"14_CR11","unstructured":"ISO\/IEC, \u201cDIS 10747 \u2014 Information Technology \u2014 Telecommunications and Information Exchange between Systems \u2014 Protocol for Exchange of Inter-Domain Routeing Information among Intermediate Systems\u201d, 1993."},{"issue":"No.56","key":"14_CR12","first-page":"91","volume":"94","author":"M. Iwamuro","year":"1994","unstructured":"Iwamuro, M., Tanaka, R., Tsukamoto, M., and Nishio, S., \u201cImplementation of a Mail Distribution System using Reasoning Mechanism\u201d, Special Interest Group Report of Information Processing Society of Japan (94-DPS-66), Vol.94, No.56, pp.91\u201396, 1994 (in Japanese).","journal-title":"Special Interest Group Report of Information Processing Society of Japan (94-DPS-66)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Kifer, M., Kim, W., and Sagiv. Y., \u201cQuerying Object-Oriented Database\u201d, Proc. of ACM Int'l Conf. on Management on Data, pp.393\u2013402, 1992.","DOI":"10.1145\/141484.130342"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Kifer, M. and Lausen, G., \u201cF-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance, and Scheme\u201d, Proc. of ACM Int'l Conf. on Management on Data, pp.134\u2013146, 1989.","DOI":"10.1145\/67544.66939"},{"key":"14_CR15","unstructured":"Lenzerini, M., Nardi, D., and Simi, M. (Eds.), \u201cInheritance Hierarchies in Knowledge Representation and Programming Languages\u201d, John Wiley & Sons, 1991."},{"key":"14_CR16","unstructured":"Maier, D., \u201cA Logic for Objects\u201d, Proc. of Workshop on Foundation of Deductive Databases and Logic Programming, pp.6\u201326, 1986."},{"issue":"No.2","key":"14_CR17","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1145\/151261.151264","volume":"40","author":"D. McAllester","year":"1993","unstructured":"McAllester, D. and Givan, B., \u201cTaxonomic Syntax for First Order Inference\u201d, Journal of the ACM, Vol.40, No.2, pp.246\u2013283, 1993.","journal-title":"Journal of the ACM"},{"issue":"No.61","key":"14_CR18","first-page":"151","volume":"95","author":"A. Murata","year":"1995","unstructured":"Murata, A., Tsukamoto, M., and Nishio, S., \u201cA Policy Description Language for Inter-Domain Routing Protocol (IDRP)\u201d, Special Interest Group Report of Information Processing Society of Japan (95-DPS-71), Vol.95, No.61, pp.151\u2013156, 1995 (in Japanese).","journal-title":"Special Interest Group Report of Information Processing Society of Japan (95-DPS-71)"},{"key":"14_CR19","unstructured":"Schmidt-Schau\u00df, M., \u201cSubsumption in KL-ONE is Undecidable\u201d, Proc. of the 1st Int'l Conf. on Principles of Knowledge Representation and Reasoning, pp.421\u2013431, 1989."},{"key":"14_CR20","unstructured":"Sei, K., Tsukamoto, M., and Nishio, S., \u201cEfficient Reasoning Algorithms for an Inference System with DOT Notations and IS-A Relations\u201d, Proc. of the 1994 Annual Conference of Japan Society of Artificial Intelligence, pp.517\u2013520, 1994 (in Japanese)."},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Thomason, R.H. and Touretzky, D.S., \u201cInheritance Theory and Networks with Roles\u201d, Sowa, J.F.(Ed.): Principles of Semantic Networks, Morgan Kaufmann Publishers, pp.231\u2013266, 1991.","DOI":"10.1016\/B978-1-4832-0771-1.50014-X"},{"key":"14_CR22","unstructured":"Touretzky, D.S., \u201cThe Mathematics of Inheritance Systems\u201d, Morgan Kaufmann Publishers, 1986."},{"key":"14_CR23","unstructured":"Tsukamoto, M., Nishio, S., and Fujio, M., \u201cDOT: A Term Representation using DOT Algebra for Knowledge-bases\u201d, Delobel, C., Kifer, M., and Masunaga, Y.(Eds.): Deductive and Object-Oriented Databases, Lecture Notes in Computer Science 566, Springer-Verlag, pp.391\u2013410, 1991."},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Tsukamoto, M., Nishio, S., Fujio, M., and Miyamoto, M., \u201cQuery Processing for a Knowledge-base Using DOT Algebra\u201d, Proc. of the IEEE 1st Int'l Workshop on Interoperability of Multi-Database Systems, pp.46\u201353, 1991.","DOI":"10.1109\/IMS.1991.153684"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Yanagisawa, Y., Tsukamoto, M., and Nishio, S., \u201cDeductive Object-Oriented Programming for Knowledge-base Independence\u201d, Proc. of the 4th Int'l Conf. on Deductive and Object-Oriented Databases, 1995.","DOI":"10.1007\/3-540-60608-4_49"},{"key":"14_CR26","unstructured":"Yokota, K., \u201cQuixote: A Constraint Based Approach to a Deductive Object-Oriented Database\u201d, Dr. Eng. Thesis, Dept. of Information Science, Faculty of Engineering, Kyoto University, 1994."},{"key":"14_CR27","unstructured":"Yokota, K., Tsuda, H., and Morita, Y., \u201cSpecific Features of a Deductive Object-Oriented Database Language Quixote\u201d, Proc. of the Workshop on Combining Declarative and Object-Oriented Databases, pp.89\u201399, 1993."}],"container-title":["Lecture Notes in Computer Science","Deductive and Object-Oriented Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60608-4_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:00:28Z","timestamp":1605646828000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60608-4_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606086","9783540484608"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-60608-4_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}