{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:09:35Z","timestamp":1751688575680,"version":"3.41.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1997,9]]},"DOI":"10.1023\/a:1008235505634","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"349-379","source":"Crossref","is-referenced-by-count":0,"title":["An Inheritance System with Regular Expressions and IS-A Relation"],"prefix":"10.1007","volume":"7","author":[{"given":"Masahiko","family":"Tsukamoto","sequence":"first","affiliation":[]},{"given":"Shojiro","family":"Nishio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"141166_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":"141166_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.1016\/S0364-0213(85)80014-8"},{"key":"141166_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":"141166_CR4","doi-asserted-by":"crossref","unstructured":"Carpenter, B., \u201cThe Logic of Typed Feature Structures\u201d, Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511530098"},{"key":"141166_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":"141166_CR6","doi-asserted-by":"crossref","unstructured":"Chomicki, J. and Imieli\u00f1ski, 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\/67544.66942"},{"key":"141166_CR7","doi-asserted-by":"crossref","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.","DOI":"10.1007\/3-540-55015-1_17"},{"key":"141166_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":"3","key":"141166_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":"141166_CR10","unstructured":"Hopcroft, J.E. and Ullman, J.D., \u201cIntroduction to Automata Theory\u201d, Language and Computation, Addison-Wesley Publishing Company Inc., 1979."},{"key":"141166_CR11","unstructured":"ISO\/IEC, \u201cDIS 10747-Information Technology-Telecommunications and Information Exchange between Systems-Protocol for Exchange of Inter-Domain Routeing Information among Intermediate Systems\u201d, 1993."},{"key":"141166_CR12","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\/130283.130342"},{"key":"141166_CR13","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":"141166_CR14","unstructured":"Lenzerini, M., Nardi, D., and Simi, M. (Eds.), Inheritance Hierarchies in Knowledge Representation and Programming Languages, John Wiley & Sons, 1991."},{"key":"141166_CR15","unstructured":"Maier, D., \u201cA Logic for Objects\u201d, Proc. of Workshop on Foundation of Deductive Databases and Logic Programming, pp.6\u201326, 1986."},{"issue":"2","key":"141166_CR16","doi-asserted-by":"publisher","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":"5","key":"141166_CR17","first-page":"338","volume":"J79","author":"A. Murata","year":"1996","unstructured":"Murata, A., Tsukamoto, M., and Nishio, S., \u201cA Routing Policy Description Language for Inter-Domain Routing Protocol (IDRP)\u201d, Trans. of the Instutite of Electronics, Information and Communication Engineers, B-I Vol.J79-B-I, No.5, 1996 (pp. 338\u2013345, in Japanese).","journal-title":"Trans. of the Instutite of Electronics, Information and Communication Engineers"},{"key":"141166_CR18","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":"141166_CR19","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":"141166_CR20","unstructured":"Touretzky, D.S., The Mathematics of Inheritance Systems, Morgan Kaufmann Publishers, 1986."},{"issue":"5","key":"141166_CR21","first-page":"735","volume":"11","author":"M. Tsukamoto","year":"1996","unstructured":"Tsukamoto, M., Iwamuro, M., Kadobayashi, R., and Nishio, S., \u201cDesign and Implementation of a Mail Distribution System using Reasoning Mechanism for Dynamic Group Construction\u201d, Journal of Japanese Society for Artificial Intelligence, Vol.11, No.5, pp.735\u2013743, 1996 (in Japanese).","journal-title":"Journal of Japanese Society for Artificial Intelligence"},{"key":"141166_CR22","doi-asserted-by":"crossref","unstructured":"Tsukamoto, M., Nishio, S., and Fujio, M.,\u201dDOT: A Term Representation using DOT Algebra for Knowledgebases\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.","DOI":"10.1007\/3-540-55015-1_21"},{"key":"141166_CR23","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":"141166_CR24","doi-asserted-by":"crossref","unstructured":"Yanagisawa, Y., Tsukamoto, M., and Nishio, S.: Deductive Object-Oriented Programming for Knowledgebase Independence, Ling, T. W., Mendelzon, A. O., and Vieille, L. (Eds.): Deductive and Object-Oriented Databases, Lecture Notes in Computer Science 1013, Springer-Verlag, pp.345\u2013362, 1995.","DOI":"10.1007\/3-540-60608-4_49"},{"key":"141166_CR25","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":"141166_CR26","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":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008235505634.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008235505634\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008235505634.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T13:01:58Z","timestamp":1751634118000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008235505634"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,9]]},"references-count":26,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1997,9]]}},"alternative-id":["141166"],"URL":"https:\/\/doi.org\/10.1023\/a:1008235505634","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"type":"print","value":"0925-4676"},{"type":"electronic","value":"1573-8787"}],"subject":[],"published":{"date-parts":[[1997,9]]}}}