{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:33:13Z","timestamp":1725467593186},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647911"},{"type":"electronic","value":"9783540686736"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054902","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T09:10:55Z","timestamp":1153991455000},"page":"15-34","source":"Crossref","is-referenced-by-count":1,"title":["Matching in description logics: Preliminary results"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[]},{"given":"Alex","family":"Borgida","sequence":"additional","affiliation":[]},{"given":"Deborah L.","family":"McGuinness","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"2_CR1","unstructured":"F. Baader. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, pages 446\u2013451, Sydney, Australia, 1991."},{"issue":"1\u20132","key":"2_CR2","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0004-3702(96)00010-0","volume":"88","author":"F. Baader","year":"1996","unstructured":"F. Baader, M. Buchheit, and B. Hollunder. Cardinality restrictions on concepts. Artificial Intelligence, 88(1\u20132): 195\u2013213, 1996.","journal-title":"Artificial Intelligence"},{"key":"2_CR3","unstructured":"F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, pages 452\u2013457, Sydney, Australia, 1991."},{"key":"2_CR4","first-page":"67","volume-title":"volume 567 of Lecture Notes in Computer Science","author":"F. Baader","year":"1991","unstructured":"F. Baader and B. Hollunder. A terminological knowledge representation system with complete inference algorithms. In M. Richter and H. Boley, editors, Proceedings of the First International Workshop on Processing Declarative Knowledge, volume 567 of Lecture Notes in Computer Science, pages 67\u201385, Kaiserslautern (Germany), 1991. Springer-Verlag."},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"331","DOI":"10.25368\/2022.83","volume-title":"Unification of concept terms in description logics","author":"F. Baader","year":"1998","unstructured":"F. Baader and P. Narendran. Unification of concept terms in description logics. In H. Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pages 331\u2013335, Brighton, UK, 1998. John Wiley & Sons Ltd. An extended version has appeared as Technical Report LTCS-98-06."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"F. Baader and U. Sattler. Description logics with symbolic number restrictions. In W. Wahlster, editor, Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96), pages 283\u2013287. John Wiley & Sons Ltd, 1996.","DOI":"10.25368\/2022.71"},{"key":"2_CR7","volume-title":"Number restrictions on complex roles in description logics","author":"F. Baader","year":"1996","unstructured":"F. Baader and U. Sattler. Number restrictions on complex roles in description logics. In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96). Morgan Kaufmann, Los Altos, 1996."},{"issue":"5","key":"2_CR8","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1109\/69.469829","volume":"7","author":"A. Borgida","year":"1995","unstructured":"A. Borgida. Description Logics in Data Management. IEEE Trans. on Knowledge and Data Engineering, 7(5): 671\u2013682, 1995.","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"2_CR9","unstructured":"A. Borgida and D.L. McGuinness. Asking queries about frames. In Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, KR'96, pages 340\u2013349, Cambridge, MA (USA), 1996."},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1613\/jair.56","volume":"1","author":"A. Borgida","year":"1994","unstructured":"A. Borgida and P. Patel-Schneider. A semantics and complete algorithm for subsumption in the CLASSIC description logic. Journal of Artificial Intelligence Research, 1: 277\u2013308, 1994.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/B978-1-4832-0771-1.50022-9","volume-title":"Principles of Semantic Networks","author":"R. J. Brachman","year":"1991","unstructured":"R. J. Brachman, D. L. McGuinness, P. F. Patel-Schneider, L. A. Resnick, and A. Borgida. Living with CLASSIC: When and how to use a KL-ONE-like language. In J. Sowa, editor, Principles of Semantic Networks, pages 401\u2013456. Morgan Kaufmann, San Mateo, Calif., 1991."},{"issue":"2","key":"2_CR12","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0364-0213(85)80014-8","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2): 171\u2013216, 1985.","journal-title":"Cognitive Science"},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1613\/jair.21","volume":"1","author":"M. Buchheit","year":"1993","unstructured":"M. Buchheit, F. M. Donini, and A. Schaerf. Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research, 1: 109\u2013138, 1993.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2_CR14","unstructured":"F. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 151\u2013162, Cambridge, Mass., 1991."},{"key":"2_CR15","unstructured":"F. Donini, M. Lenzerini, D. Nardi, and W. Nutt. Tractable concept languages. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, pages 458\u2013463, Sydney, Australia, 1991."},{"issue":"4","key":"2_CR16","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1093\/logcom\/4.4.423","volume":"4","author":"F. Donini","year":"1994","unstructured":"F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Deduction in concept languages: From subsumption to instance checking. Journal of Logic and Computation, 4(4): 423\u2013452, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/0004-3702(92)90076-A","volume":"53","author":"F.M. Donini","year":"1992","unstructured":"F.M. Donini, B. Hollunder, M. Lenzerini, A.M. Spaccamela, D. Nardi, and W. Nutt. The complexity of existential quantification in concept languages. Journal of Artificial Intelligence, 53: 309\u2013327, 1992.","journal-title":"Journal of Artificial Intelligence"},{"key":"2_CR18","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"M.R. Garey and D.S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, New York, 1979."},{"key":"2_CR19","unstructured":"B. Hollunder and F. Baader. Qualifying number restrictions in concept languages. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 335\u2013346, Cambridge, Mass., 1991."},{"key":"2_CR20","unstructured":"B. Hollunder, W. Nutt, and M. Schmidt-Schau\u00df. Subsumption algorithms for concept description languages. In Proceedings of the 9th European Conference on Artificial Intelligence, pages 348\u2013353, Stockholm, Sweden, 1990."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"R. K\u00fcsters. Characterizing the semantics of terminological cycles in ALN using finite automata. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, 1998.","DOI":"10.25368\/2022.75"},{"key":"2_CR22","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 and R. J. Brachman. Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence, 3: 78\u201393, 1987.","journal-title":"Computational Intelligence"},{"key":"2_CR23","unstructured":"D.L. McGuinness. Explaining Reasoning in Description Logics. Ph.D. thesis, Department of Computer Science, Rutgers University, October 1996. Also available as a Rutgers Technical Report LCSR-TR-277."},{"key":"2_CR24","first-page":"816","volume-title":"Explaining subsumption in Description Logic","author":"D.L. McGuinness","year":"1995","unstructured":"D.L. McGuinness and A. Borgida. Explaining subsumption in Description Logic. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, IJCAI'95, pages 816\u2013821, Montr\u00e9al, Canada, 1995. Morgan Kaufmann."},{"key":"2_CR25","first-page":"2045","volume-title":"Description Logic in practice: A classic application","author":"D.L. McGuinness","year":"1995","unstructured":"D.L. McGuinness, L. Alperin Resnick, and C. Isbell. Description Logic in practice: A classic application. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, IJCAI'95, pages 2045\u20132046, Montr\u00e9al, Canada, 1995. Morgan Kaufmann. Video Presentation."},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"D.L. McGuinness and J.R. Wright. An industrial strength Description Logic-based configurator platform. IEEE Expert, Special Issue on Configuration, 1998. To appear.","DOI":"10.1109\/5254.708435"},{"issue":"3","key":"2_CR27","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. Computational complexity of terminological reasoning in BACK. Journal of Artificial Intelligence, 34(3): 371\u2013383, 1988.","journal-title":"Journal of Artificial Intelligence"},{"key":"2_CR28","unstructured":"B. Nebel. Reasoning and Revision in Hybrid Representation Systems, volume 422 of Lecture Notes in Computer Science. Springer-Verlag, 1990."},{"issue":"2","key":"2_CR29","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","volume":"43","author":"B. Nebel","year":"1990","unstructured":"B. Nebel. Terminological reasoning is inherently intractable. Journal of Artificial Intelligence, 43(2): 235\u2013249, 1990.","journal-title":"Journal of Artificial Intelligence"},{"key":"2_CR30","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF00962071","volume":"2","author":"A. Schaerf","year":"1993","unstructured":"A. Schaerf. On the complexity of the instance checking problem in concept languages with existential quantification. Journal of Intelligent Information Systems, 2: 265\u2013278, 1993.","journal-title":"Journal of Intelligent Information Systems"},{"key":"2_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"47","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"M. Schmidt-Schau\u00df and G. Smolka. Attributive concept descriptions with complements. Journal of Artificial Intelligence, 47: 1\u201326, 1991.","journal-title":"Journal of Artificial Intelligence"},{"issue":"2\u20135","key":"2_CR32","first-page":"133","volume":"23","author":"W. A. Woods","year":"1991","unstructured":"W. A. Woods and J. G. Schmolze. The KL-ONE family. Computers and Mathematics with Applications, special issue on knowledge representation, 23(2\u20135): 133\u2013177, 1991.","journal-title":"Computers and Mathematics with Applications, special issue on knowledge representation"},{"issue":"3","key":"2_CR33","first-page":"69","volume":"14","author":"J. R. Wright","year":"1993","unstructured":"J. R. Wright, E. S. Weixelbaum, G. T. Vesonder, K. Brown, S. R. Palmer, J. I. Berman, and H. H. Moore. A knowledge-based configurator that supports sales, engineering, and manufacturing at AT&T network systems. AI Magazine, 14(3): 69\u201380, 1993.","journal-title":"AI Magazine"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Theory, Tools and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054902","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T06:59:34Z","timestamp":1683529174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054902"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647911","9783540686736"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/bfb0054902","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}