{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171990},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550334"},{"type":"electronic","value":"9783540466673"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0013522","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:44:01Z","timestamp":1132728241000},"page":"67-86","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":46,"title":["A terminological knowledge representation system with complete inference algorithms"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Hollunder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"6_CR1","unstructured":"F. Baader. \u201cTerminological Cycles in kl-one-based Knowledge Representation Languages.\u201d In Proceedings of the 8th National Conference of the AAAI, pp. 621\u2013626, Boston, Mas., 1990."},{"key":"6_CR2","unstructured":"F. Baader. \u201cA Formal Definition for the Expressive Power of Knowledge Representation Languages.\u201d In Proceedings of the 9th European Conference on Artificial Intelligence, pp. 53\u201358, Stockholm, Sweden, 1990."},{"key":"6_CR3","unstructured":"F. Baader. \u201cAugmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles.\u201d To appear in Proceedings of IJCAI '91."},{"key":"6_CR4","unstructured":"F. Baader, H.-J. B\u00fcrckert, J. Heinsohn, B. Hollunder, J. M\u00fcller, B. Nebel, W. Nutt, H.-J. Profitlich. Terminological Knowledge Representation: A Proposal for a Terminological Logic DFKI Technical Memo TM-90-04, DFKI, Postfach 2080, D-6750 Kaiserslautern, Germany."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"F. Baader, H.-J. B\u00fcrckert, B. Hollunder, W. Nutt, J. H. Siekmann. \u201cConcept Logics\u201d In Proceedings of the Symposium on Computational Logics, Br\u00fcssel, November 1990.","DOI":"10.1007\/978-3-642-76274-1_10"},{"key":"6_CR6","unstructured":"F. Baader, P. Hanschke. \u201cA Schema for Integrating Concrete Domains into Concept Languages.\u201d To appear in Proceedings of IJCAI '91."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"A. Borgida, R. J. Brachman, D. L. McGuinness, L. A. Resnick. \u201cCLASSIC: A Structural Data Model for Objects.\u201d In Proceedings of the International Conference on Management of Data, Portland, Oregon, 1989.","DOI":"10.1145\/67544.66932"},{"key":"6_CR8","unstructured":"R. J. Brachman, V. Pigman Gilbert, H. J. Levesque. \u201cAn essential hybrid reasoning system: knowledge and symbol level accounts in KRYPTON.\u201d In Proceedings of the 9th IJCAI, pp. 532\u2013539, Los Angeles, Cal., 1985."},{"key":"6_CR9","unstructured":"R. J. Brachmann, H. J. Levesque. \u201cThe tractability of subsumption in frame based description languages.\u201d In Proceedings of the 4th National Conference of the AAAI, pp. 34\u201337, Austin, Tex., 1984."},{"issue":"2","key":"6_CR10","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"R. J. Brachman, J. G. Schmolze. \u201cAn Overview of the kl-one knowledge representation system.\u201d Cognitive Science, 9(2):171\u2013216, April 1985.","journal-title":"Cognitive Science"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"H.-J. B\u00fcrckert. \u201cA Resolution Principle for Clauses with Constraints\u201d In Proceedings of the 10th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence, LNAI 449, Springer Verlag, pp. 178\u2013192,1990.","DOI":"10.1007\/3-540-52885-7_87"},{"key":"6_CR12","unstructured":"H.-J. B\u00fcrckert, J. M\u00fcller. \u201cRATMAN: A Rational Agent Testbed for Multi Agent Networks\u201d, In Proceedings of Modeling Autonomous Agents in Multi-Agent Worlds, Elsevier Publishers, 1991."},{"key":"6_CR13","unstructured":"F. Donini, M. Lenzerini, D. Nardi, W. Nutt. \u201cThe Complexity of Concept Languages.\u201d In J. A. Allan, R. Fikes, E. Sandewall (editors), Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Mas., 1991."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"B. Hollunder. \u201cHybrid Inferences in kl-one-based Knowledge Representation Systems.\u201d In Proceedings of the 14th German Workshop on Artificial Intelligence, pp. 38\u201347, Eringerfeld, Germany, 1990.","DOI":"10.1007\/978-3-642-76071-6_5"},{"key":"6_CR15","unstructured":"B. Hollunder, F. Baader. \u201cQualifying Number Restrictions in Concept Languages.\u201d In J. A. Allan, R. Fikes, E. Sandewall (editors), Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Mas., 1991."},{"key":"6_CR16","unstructured":"B. Hollunder, W. Nutt. Subsumption Algorithms for Concept Description Languages. DFKI Research Report RR-90-04, DFKI, Postfach 2080, D-6750 Kaiserslautern, Germany."},{"key":"6_CR17","unstructured":"B. Hollunder, W. Nutt, M. Schmidt-Schau\u00df. \u201cSubsumption Algorithms for Concept Description Languages.\u201d In Proceedings of the 9th European Conference on Artificial Intelligence, pp. 348\u2013353, Stockholm, Sweden, 1990."},{"key":"6_CR18","unstructured":"T. S. Kaczmarek, R. Bates, G. Robins. \u201cRecent developments in NIKL.\u201d In Proceedings of the 5th National Conference of the AAAI, pp. 578\u2013587, Philadelphia, Pa., 1986."},{"key":"6_CR19","unstructured":"A. Kobsa. \u201cThe sb-one knowledge representation workbanch\u201d In Preprints of the Workshop on Formal Aspects of Semantic Networks, Two Harbors, Cal., February 1989."},{"key":"6_CR20","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"H. J. Levesque","year":"1987","unstructured":"H. J. Levesque, R. J. Brachman. \u201cExpressiveness and tractability in knowledge representation and reasoning.\u201d Computational Intelligence, 3:78\u201393, 1987.","journal-title":"Computational Intelligence"},{"key":"6_CR21","unstructured":"R. MacGregor, R. Bates. The Loom Knowledge Representation Language. Technical Report ISI\/RS-87-188, University of Southern California, Information Science Institute, Marina del Rey, Cal., 1987."},{"key":"6_CR22","unstructured":"B. Nebel. Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Artificial Intelligence, LNAI 422, Springer Verlag, 1990."},{"key":"6_CR23","unstructured":"B. Nebel. \u201cTerminological Cycles: Semantics and Computational Properties.\u201d In Proceedings of the Workshop on Formal Aspects of Semantic Networks, Two Harbors, Cal., February 1989."},{"issue":"3","key":"6_CR24","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/0004-3702(88)90066-5","volume":"34","author":"B. Nebel","year":"1988","unstructured":"B. Nebel. \u201cComputational complexity of terminological reasoning in BACK.\u201d Artificial Intelligence, 34(3):371\u2013383, 1988.","journal-title":"Artificial Intelligence"},{"key":"6_CR25","first-page":"260","volume-title":"Methodologies for Intelligent Systems","author":"B. Nebel","year":"1988","unstructured":"B. Nebel, K. von Luck. \u201cHybrid Reasoning in BACK.\u201d In Z. W. Ras, L. Saitta (editors), Methodologies for Intelligent Systems, pp. 260\u2013269, North Holland, Amsterdam, Netherlands, 1988."},{"key":"6_CR26","unstructured":"P. Patel-Schneider. \u201cSmall can be beautiful in knowledge representation.\u201d In Proceedings of the IEEE Workshop on Principles of Knowledge-Based Systems, pp. 11\u201316, Denver, Colo., 1984."},{"issue":"2","key":"6_CR27","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(89)90030-1","volume":"39","author":"P. Patel-Schneider","year":"1989","unstructured":"P. Patel-Schneider. \u201cA four-valued Semantics for Terminological Logics.\u201d Artificial Intelligence, 39(2):263\u2013272, 1989.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"6_CR28","first-page":"16","volume":"11","author":"P. Patel-Schneider","year":"1990","unstructured":"P. Patel-Schneider, B. Owsnicki-Klewe, A. Kobsa, N. Guarino, R. MacGregor, W. S. Mark, D. L. McGuinness, B. Nebel, A. Schmiedel, J. Yen. \u201cTerm Subsumption in Knowledge Representation.\u201d In AI Magazine, 11(2):16\u201323, 1990. pp. 11\u201316, Denver, Colo., 1984.","journal-title":"AI Magazine"},{"key":"6_CR29","unstructured":"M. Schmidt-Schau\u00df. \u201cSubsumption in KL-ONE is undecidable.\u201d In R. J. Brachmann, H. J. Levesque, R. Reiter (editors), Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, pp. 421\u2013431, Toronto, Ont., 1989."},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"M. Schmidt-Schau\u00df, G. Smolka. \u201cAttributive Concept Descriptions with Complements\u201d. Artificial Intelligence, 47, 1991.","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"6_CR31","unstructured":"M. B. Vilain. \u201cThe restricted language architecture of a hybrid representation system.\u201d In R. J. Bachmann, H. J. Levesque, R. Reiter (editors), Proceedings of the 9th IJCAI, pp. 547\u2013551, Los Angeles, Cal., 1985."}],"container-title":["Lecture Notes in Computer Science","Processing Declarative Knowledge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013522","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:09:15Z","timestamp":1558271355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013522"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540550334","9783540466673"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/bfb0013522","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}