{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T04:40:29Z","timestamp":1769748029051,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":116,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642037535","type":"print"},{"value":"9783642037542","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03754-2_1","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T15:58:58Z","timestamp":1251734338000},"page":"1-39","source":"Crossref","is-referenced-by-count":20,"title":["Description Logics"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Acciarri, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: Quonto: Querying ontologies. In: Veloso, M.M., Kambhampati, S. (eds.) Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), pp. 1670\u20131671. AAAI Press\/The MIT Press (2005)"},{"issue":"5","key":"1_CR2","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1093\/logcom\/11.5.717","volume":"11","author":"C. Areces","year":"2001","unstructured":"Areces, C., de Rijke, M., de Nivelle, H.: Resolution in modal, description and hybrid logic. J. of Logic and Computation\u00a011(5), 717\u2013736 (2001)","journal-title":"J. of Logic and Computation"},{"key":"1_CR3","unstructured":"Baader., F.: Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In: Proc. of the 12th Int. Joint Conf. on Artificial Intelligence, IJCAI 1991 (1991)"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BF02127747","volume":"18","author":"F. Baader","year":"1996","unstructured":"Baader, F.: Using automata theory for characterizing the semantics of terminological cycles. Ann. of Mathematics and Artificial Intelligence\u00a018, 175\u2013219 (1996)","journal-title":"Ann. of Mathematics and Artificial Intelligence"},{"key":"1_CR5","unstructured":"Baader, F.: Description logic terminology. In: [11], pp. 485\u2013495 (2003)"},{"key":"1_CR6","first-page":"325","volume-title":"Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02003)","author":"F. Baader","year":"2003","unstructured":"Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Gottlob, G., Walsh, T. (eds.) Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02003), Acapulco, Mexico, pp. 325\u2013330. Morgan Kaufmann, Los Altos (2003)"},{"key":"1_CR7","first-page":"364","volume-title":"Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02005)","author":"F. Baader","year":"2005","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02005), Edinburgh, UK, pp. 364\u2013369. Morgan Kaufmann, Los Altos (2005)"},{"key":"1_CR8","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope further. In: Clark, K., Patel-Schneider, P.F. (eds.) Proceedings of the Fifth International Workshop on OWL: Experiences and Directions (OWLED 2008), Karlsruhe, Germany (2008)"},{"issue":"1\u20132","key":"1_CR9","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0004-3702(96)00010-0","volume":"88","author":"F. Baader","year":"1996","unstructured":"Baader, F., Buchheit, M., Hollunder, B.: Cardinality restrictions on concepts. Artificial Intelligence\u00a088(1\u20132), 195\u2013213 (1996)","journal-title":"Artificial Intelligence"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01051766","volume":"2","author":"F. Baader","year":"1993","unstructured":"Baader, F., B\u00fcrckert, H.-J., Nebel, B., Nutt, W., Smolka, G.: On the expressivity of feature logics with negation, functional uncertainty, and sort equations. J. of Logic, Language and Information\u00a02, 1\u201318 (1993)","journal-title":"J. of Logic, Language and Information"},{"key":"1_CR11","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"1_CR12","first-page":"109","volume":"4","author":"F. Baader","year":"1994","unstructured":"Baader, F., Franconi, E., Hollunder, B., Nebel, B., Profitlich, H.-J.: An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on. Applied Artificial Intelligence. Special Issue on Knowledge Base Management\u00a04, 109\u2013132 (1994)","journal-title":"Applied Artificial Intelligence. Special Issue on Knowledge Base Management"},{"issue":"2\u20134","key":"1_CR13","first-page":"247","volume":"57","author":"F. Baader","year":"2003","unstructured":"Baader, F., Hladik, J., Lutz, C., Wolter, F.: From tableaux to automata for description logics. Fundamenta Informaticae\u00a057(2\u20134), 247\u2013279 (2003)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BFb0013522","volume-title":"Processing Declarative Knowledge","author":"F. Baader","year":"1991","unstructured":"Baader, F., Hollunder, B.: A terminological knowledge representation system with complete inference algorithm. In: Boley, H., Richter, M.M. (eds.) PDK 1991. LNCS (LNAI), vol.\u00a0567, pp. 67\u201386. Springer, Heidelberg (1991)"},{"key":"1_CR15","first-page":"3","volume-title":"Handbook on Ontologies","author":"F. Baader","year":"2003","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks in Information Systems, pp. 3\u201328. Springer, Berlin (2003)"},{"key":"1_CR16","first-page":"135","volume-title":"Handbook of Knowledge Representation","author":"F. Baader","year":"2007","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, pp. 135\u2013179. Elsevier, Amsterdam (2007)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Baader, F., K\u00fcsters, R., Molitor, R.: Structural subsumption considered from an automata theoretic point of view. In: Proc. of the 1998 Description Logic Workshop (DL 1998). CEUR Electronic Workshop Proceedings (1998), http:\/\/ceur-ws.org\/Vol-11\/","DOI":"10.25368\/2022.80"},{"key":"1_CR18","first-page":"757","volume-title":"The Handbook of Modal Logic","author":"F. Baader","year":"2006","unstructured":"Baader, F., Lutz, C.: Description logic. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) The Handbook of Modal Logic, pp. 757\u2013820. Elsevier, Amsterdam (2006)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11814771_25","volume-title":"Automated Reasoning","author":"F. Baader","year":"2006","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL\u2014a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS, vol.\u00a04130, pp. 287\u2013291. Springer, Heidelberg (2006)"},{"issue":"3","key":"1_CR20","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1006\/jsco.2000.0426","volume":"31","author":"F. Baader","year":"2001","unstructured":"Baader, F., Narendran, P.: Unification of concepts terms in description logics. J. of Symbolic Computation\u00a031(3), 277\u2013305 (2001)","journal-title":"J. of Symbolic Computation"},{"key":"1_CR21","unstructured":"Baader, F., Nutt, W.: Basic description logics. In: [11], pp. 43\u201395 (2003)"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-74565-5_7","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"F. Baader","year":"2007","unstructured":"Baader, F., Pe\u00f1aloza, R., Suntisrivaraporn, B.: Pinpointing in the description logic ${{\\mathcal{EL}}^+}$ . In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS, vol.\u00a04667, pp. 52\u201367. Springer, Heidelberg (2007)"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","volume":"69","author":"F. Baader","year":"2001","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica\u00a069, 5\u201340 (2001)","journal-title":"Studia Logica"},{"key":"1_CR24","unstructured":"Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic $\\mathcal{EL}^+$ . In: Proceedings of the International Conference on Representing and Sharing Knowledge Using SNOMED (KR-MED 2008), Phoenix, Arizona (2008)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-45744-5_8","volume-title":"Automated Reasoning","author":"F. Baader","year":"2001","unstructured":"Baader, F., Tobies, S.: The inverse method implements the automata approach for modal satisfiability. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol.\u00a02083, pp. 92\u2013106. Springer, Heidelberg (2001)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/3-540-57208-2_19","volume-title":"CONCUR\u201993","author":"O. Bernholtz","year":"1993","unstructured":"Bernholtz, O., Grumberg, O.: Branching time temporal logic and amorphous tree automata. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 262\u2013277. Springer, Heidelberg (1993)"},{"key":"1_CR27","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., de Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press, Cambridge (2001)"},{"issue":"1\u20132","key":"1_CR28","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A. Borgida","year":"1996","unstructured":"Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artificial Intelligence\u00a082(1\u20132), 353\u2013367 (1996)","journal-title":"Artificial Intelligence"},{"key":"1_CR29","first-page":"247","volume-title":"Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1992)","author":"R.J. Brachman","year":"1992","unstructured":"Brachman, R.J.: \u201cReducing\u201d CLASSIC to practice: Knowledge representation meets reality. In: Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1992), pp. 247\u2013258. Morgan Kaufmann, Los Altos (1992)"},{"key":"1_CR30","unstructured":"Brachman, R.J., Levesque, H.J.: The tractability of subsumption in frame-based description languages. In: Proc. of the 4th Nat. Conf. on Artificial Intelligence (AAAI 1984), pp. 34\u201337 (1984)"},{"key":"1_CR31","volume-title":"Readings in Knowledge Representation","author":"R.J. Brachman","year":"1985","unstructured":"Brachman, R.J., Levesque, H.J.: Readings in Knowledge Representation. Morgan Kaufmann, Los Altos (1985)"},{"key":"1_CR32","unstructured":"Brachman, R.J., Nardi, D.: An introduction to description logics. In: [11], pp. 1\u201340 (2003)"},{"issue":"2","key":"1_CR33","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R.J. Brachman","year":"1985","unstructured":"Brachman, R.J., Schmolze, J.G.: An overview of the KL-ONE knowledge representation system. Cognitive Science\u00a09(2), 171\u2013216 (1985)","journal-title":"Cognitive Science"},{"key":"1_CR34","unstructured":"Brandt., S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and\u2014what else? In: de M\u00e1ntaras, R.L., Saitta, L. (eds.) Proc. of the 16th Eur. Conf. on Artificial Intelligence (ECAI\u00a02004), pp. 298\u2013302 (2004)"},{"key":"1_CR35","unstructured":"Bresciani, P., Franconi, E., Tessaris, S.: Implementing and testing expressive description logics: Preliminary report. In: Proc. of the 1995 Description Logic Workshop (DL 1995), pp. 131\u2013139 (1995)"},{"issue":"2","key":"1_CR36","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/S0004-3702(97)00079-9","volume":"99","author":"M. Buchheit","year":"1998","unstructured":"Buchheit, M., Donini, F.M., Nutt, W., Schaerf, A.: A refined architecture for terminological systems: Terminology = schema + views. Artificial Intelligence\u00a099(2), 209\u2013260 (1998)","journal-title":"Artificial Intelligence"},{"key":"1_CR37","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1613\/jair.21","volume":"1","author":"M. Buchheit","year":"1993","unstructured":"Buchheit, M., Donini, F.M., Schaerf, A.: Decidable reasoning in terminological knowledge representation systems. J. of Artificial Intelligence Research\u00a01, 109\u2013138 (1993)","journal-title":"J. of Artificial Intelligence Research"},{"key":"1_CR38","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Veloso, M.M., Kambhampati, S. (eds.) Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI\u00a02005), pp. 602\u2013607. AAAI Press\/The MIT Press (2005)"},{"issue":"3","key":"1_CR39","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"J. of Automated Reasoning"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 1998), pp. 149\u2013158 (1998)","DOI":"10.1145\/275487.275504"},{"key":"1_CR41","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Reasoning in expressive description logics with fixpoints based on automata on infinite trees. In: Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI 1999), pp. 84\u201389 (1999)"},{"key":"1_CR42","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: Description logic framework for information integration. In: Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 2\u201313 (1998)"},{"key":"1_CR43","unstructured":"De Giacomo, G.: Decidability of Class-Based Knowledge Representation Formalisms. PhD thesis, Dipartimento di Informatica e Sistemistica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d (1995)"},{"key":"1_CR44","unstructured":"De Giacomo, G., Lenzerini, M.: Boosting the correspondence between description logics and propositional dynamic logics. In: Proc. of the 12th Nat. Conf. on Artificial Intelligence (AAAI 1994), pp. 205\u2013212. AAAI Press\/The MIT Press (1994)"},{"key":"1_CR45","unstructured":"De Giacomo, G., Lenzerini, M.: Concept language with number restrictions and fixpoints, and its relationship with \u03bc-calculus. In: Proc. of the 11th Eur. Conf. on Artificial Intelligence (ECAI 1994), pp. 411\u2013415 (1994)"},{"key":"1_CR46","first-page":"316","volume-title":"Proc. of the 5th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1996)","author":"G. Giacomo De","year":"1996","unstructured":"De Giacomo, G., Lenzerini, M.: TBox and ABox reasoning in expressive description logics. In: Aiello, L.C., Doyle, J., Shapiro, S.C. (eds.) ECAI-WS 1992, pp. 316\u2013327. Morgan Kaufmann, Los Altos (1996)"},{"key":"1_CR47","unstructured":"Donini, F.: Complexity of reasoning. In: [11], pp. 96\u2013136 (2003)"},{"issue":"1","key":"1_CR48","first-page":"87","volume":"124","author":"F. Donini","year":"2000","unstructured":"Donini, F., Massacci, F.: EXPTIME tableaux for $\\mathcal{ALC}$ . Acta Informatica\u00a0124(1), 87\u2013138 (2000)","journal-title":"Acta Informatica"},{"key":"1_CR49","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/0004-3702(92)90076-A","volume":"2","author":"F.M. Donini","year":"1992","unstructured":"Donini, F.M., Hollunder, B., Lenzerini, M., Spaccamela, A.M., Nardi, D., Nutt, W.: The complexity of existential quantification in concept languages. Artificial Intelligence\u00a02\u20133, 309\u2013327 (1992)","journal-title":"Artificial Intelligence"},{"key":"1_CR50","first-page":"151","volume-title":"Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1991)","author":"F.M. Donini","year":"1991","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W.: The complexity of concept languages. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1991), pp. 151\u2013162. Morgan Kaufmann, Los Altos (1991)"},{"key":"1_CR51","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W.: Tractable concept languages. In: Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI 1991), Sydney, Australia, pp. 458\u2013463 (1991)"},{"key":"1_CR52","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M.J. Fischer","year":"1979","unstructured":"Fischer, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. J. of Computer and System Sciences\u00a018, 194\u2013211 (1979)","journal-title":"J. of Computer and System Sciences"},{"issue":"2","key":"1_CR53","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1305\/ndjfl\/1093894722","volume":"13","author":"M. Fitting","year":"1972","unstructured":"Fitting, M.: Tableau methods of proof for modal logics. Notre Dame J. of Formal Logic\u00a013(2), 237\u2013247 (1972)","journal-title":"Notre Dame J. of Formal Logic"},{"key":"1_CR54","volume-title":"Computers and Intractability \u2014 A guide to NP-completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability \u2014 A guide to NP-completeness. W. H. Freeman and Company, San Francisco (1979)"},{"key":"1_CR55","unstructured":"Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic ${\\mathcal{SHIQ}}$ . In: Veloso, M.M. (ed.) Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02007), Hyderabad, India, pp. 399\u2013404 (2007)"},{"key":"1_CR56","unstructured":"Gor\u00e9, R., Nguyen, L.A.: Exptime tableaux for $\\mathcal{ALC}$ using sound global caching. In: Proc. of the 2007 Description Logic Workshop (DL\u00a02007), Brixen-Bressanone, Italy (2007)"},{"key":"1_CR57","unstructured":"Gr\u00e4del, E.: Guarded fragments of first-order logic: A perspective for new description logics? In: Proc. of the 1998 Description Logic Workshop (DL 1998). CEUR Electronic Workshop Proceedings (1998), http:\/\/ceur-ws.org\/Vol-11\/"},{"key":"1_CR58","doi-asserted-by":"publisher","first-page":"1719","DOI":"10.2307\/2586808","volume":"64","author":"E. Gr\u00e4del","year":"1999","unstructured":"Gr\u00e4del, E.: On the restraining power of guards. J. of Symbolic Logic\u00a064, 1719\u20131742 (1999)","journal-title":"J. of Symbolic Logic"},{"issue":"1","key":"1_CR59","doi-asserted-by":"publisher","first-page":"53","DOI":"10.2307\/421196","volume":"3","author":"E. Gr\u00e4del","year":"1997","unstructured":"Gr\u00e4del, E., Kolaitis, P.G., Vardi, M.Y.: On the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic\u00a03(1), 53\u201369 (1997)","journal-title":"Bulletin of Symbolic Logic"},{"key":"1_CR60","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: A logical framework for modularity of ontologies. In: Veloso, M.M. (ed.) Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02007), Hyderabad, India, pp. 298\u2013303 (2007)"},{"key":"1_CR61","unstructured":"Haarslev, V., M\u00f6ller, R.: RACE system description. In: Proc. of the 1999 Description Logic Workshop (DL 1999). CEUR Electronic Workshop Proceedings, pp. 130\u2013132 (1999), http:\/\/ceur-ws.org\/Vol-22\/"},{"key":"1_CR62","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 701\u2013706. Springer, Heidelberg (2001)"},{"key":"1_CR63","first-page":"229","volume-title":"Proc. of the 20th IEEE Symp. on Logic in Computer Science (LICS\u00a02005)","author":"M. Hofmann","year":"2005","unstructured":"Hofmann, M.: Proof-theoretic approach to description-logic. In: Panangaden, P. (ed.) Proc. of the 20th IEEE Symp. on Logic in Computer Science (LICS\u00a02005), pp. 229\u2013237. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"2\u20134","key":"1_CR64","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF02127745","volume":"18","author":"B. Hollunder","year":"1996","unstructured":"Hollunder, B.: Consistency checking reduced to satisfiability of concepts in terminological systems. Ann. of Mathematics and Artificial Intelligence\u00a018(2\u20134), 133\u2013157 (1996)","journal-title":"Ann. of Mathematics and Artificial Intelligence"},{"key":"1_CR65","unstructured":"Hollunder, B., Baader, F.: Qualifying number restrictions in concept languages. In: Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1991), pp. 335\u2013346 (1991)"},{"key":"1_CR66","unstructured":"Hollunder, B., Nutt, W., Schmidt-Schau\u00df, M.: Subsumption algorithms for concept description languages. In: Proc. of the 9th Eur. Conf. on Artificial Intelligence (ECAI 1990), London, United Kingdom, Pitman, pp. 348\u2013353 (1990)"},{"key":"1_CR67","unstructured":"Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 636\u2013647 (1998)"},{"key":"1_CR68","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible ${\\mathcal{SROIQ}}$ . In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u00a02006), Lake District, UK, pp. 57\u201367. AAAI Press\/The MIT Press (2006)"},{"issue":"1","key":"1_CR69","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"issue":"3","key":"1_CR70","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1093\/logcom\/9.3.385","volume":"9","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. J. of Logic and Computation\u00a09(3), 385\u2013410 (1999)","journal-title":"J. of Logic and Computation"},{"key":"1_CR71","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Logic Programming and Automated Reasoning","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS (LNAI), vol.\u00a01705, pp. 161\u2013180. Springer, Heidelberg (1999)"},{"key":"1_CR72","first-page":"152","volume-title":"Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u00a02004)","author":"U. Hustadt","year":"2004","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ-description logic to disjunctive datalog programs. In: Dubois, D., Welty, C.A., Williams, M.-A. (eds.) Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR\u00a02004), pp. 152\u2013162. Morgan Kaufmann, Los Altos (2004)"},{"key":"1_CR73","unstructured":"Hustadt, U., Schmidt., R.A.: On the relation of resolution and tableaux proof systems for description logics. In: Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI 1999), pp. 110\u2013117 (1999)"},{"key":"1_CR74","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-46508-1_13","volume-title":"Automated Deduction in Classical and Non-Classical Logics","author":"U. Hustadt","year":"2000","unstructured":"Hustadt, U., Schmidt, R.A.: Issues of decidability for description logics in the framework of resolution. In: Caferra, R., Salzer, G. (eds.) FTP 1998. LNCS (LNAI), vol.\u00a01761, pp. 191\u2013205. Springer, Heidelberg (2000)"},{"key":"1_CR75","first-page":"251","volume":"1","author":"U. Hustadt","year":"2004","unstructured":"Hustadt, U., Schmidt, R.A., Georgieva, L.: A survey of decidable first-order fragments and description logics. Journal of Relational Methods in Computer Science\u00a01, 251\u2013276 (2004)","journal-title":"Journal of Relational Methods in Computer Science"},{"key":"1_CR76","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1007\/3-540-60246-1_160","volume-title":"Mathematical Foundations of Computer Science 1995","author":"D. Janin","year":"1995","unstructured":"Janin, D., Walukiewicz, I.: Automata for the modal mu-calculus and related results. In: H\u00e1jek, P., Wiedermann, J. (eds.) MFCS 1995. LNCS, vol.\u00a0969, pp. 552\u2013562. Springer, Heidelberg (1995)"},{"key":"1_CR77","unstructured":"Kazakov, Y., de Nivelle, H.: Subsumption of concepts in $\\mathcal{FL}_0$ for (cyclic) terminologies with respect to descriptive semantics is PSPACE-complete. In: Proc. of the 2003 Description Logic Workshop (DL\u00a02003). CEUR Electronic Workshop Proceedings (2003), http:\/\/CEUR-WS.org\/Vol-81\/"},{"key":"1_CR78","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1007\/11814771_53","volume-title":"Automated Reasoning","author":"Y. Kazakov","year":"2006","unstructured":"Kazakov, Y., Motik, B.: A resolution-based decision procedure for $\\mathcal{SHOIQ}$ . In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS, vol.\u00a04130, pp. 662\u2013677. Springer, Heidelberg (2006)"},{"key":"1_CR79","first-page":"55","volume-title":"Proc. of the 18th Eur. Conf. on Artificial Intelligence (ECAI\u00a02008)","author":"B. Konev","year":"2008","unstructured":"Konev, B., Lutz, C., Walther, D., Wolter, F.: Semantic modularity and module extraction in description logics. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N. (eds.) Proc. of the 18th Eur. Conf. on Artificial Intelligence (ECAI\u00a02008), pp. 55\u201359. IOS Press, Amsterdam (2008)"},{"issue":"2","key":"1_CR80","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/S0004-3702(98)00109-X","volume":"107","author":"N. Kurtonina","year":"1999","unstructured":"Kurtonina, N., de Rijke, M.: Expressiveness of concept expressions in first-order description logics. Artificial Intelligence\u00a0107(2), 303\u2013333 (1999)","journal-title":"Artificial Intelligence"},{"key":"1_CR81","unstructured":"Lawley., M.: Exploiting fast classification of SNOMED\u00a0CT for query and integration of health data. In: Cornet, R., Spackman, K. (eds.) Proc. of the 3rd Int. Conf. on Knowledge Representation in Medicine (KR-MED\u00a02008), Phoenix, Arizona, USA (2008)"},{"key":"1_CR82","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"H.J. Levesque","year":"1987","unstructured":"Levesque, H.J., Brachman, R.J.: Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence\u00a03, 78\u201393 (1987)","journal-title":"Computational Intelligence"},{"key":"1_CR83","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/3-540-48242-3_12","volume-title":"Logic Programming and Automated Reasoning","author":"C. Lutz.","year":"1999","unstructured":"Lutz., C.: Complexity of terminological reasoning revisited. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS (LNAI), vol.\u00a01705, pp. 181\u2013200. Springer, Heidelberg (1999)"},{"key":"1_CR84","unstructured":"Lutz, C.: Interval-based temporal reasoning with general TBoxes. In: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02001), pp. 89\u201394 (2001)"},{"key":"1_CR85","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-71070-7_16","volume-title":"Automated Reasoning","author":"C. Lutz","year":"2008","unstructured":"Lutz, C.: The complexity of conjunctive query answering in expressive description logics. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS, vol.\u00a05195, pp. 179\u2013193. Springer, Heidelberg (2008)"},{"key":"1_CR86","unstructured":"Lutz, C., Sattler, U.: Mary likes all cats. In: Proc. of the 2000 Description Logic Workshop (DL\u00a02000). CEUR Electronic Workshop Proceedings, pp. 213\u2013226 (2000), http:\/\/ceur-ws.org\/Vol-33\/"},{"key":"1_CR87","first-page":"385","volume-title":"Principles of Semantic Networks","author":"R. MacGregor","year":"1991","unstructured":"MacGregor, R.: The evolving technology of classification-based knowledge representation systems. In: Sowa, J.F. (ed.) Principles of Semantic Networks, pp. 385\u2013400. Morgan Kaufmann, Los Altos (1991)"},{"key":"1_CR88","doi-asserted-by":"crossref","unstructured":"Mays, E., Dionne, R., Weida, R.: K-REP system overview. SIGART Bull.\u00a02(3) (1991)","DOI":"10.1145\/122296.122310"},{"key":"1_CR89","unstructured":"Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic $\\mathcal{{ALC}}$ . In: Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI\u00a02006), AAAI Press\/The MIT Press (2006)"},{"key":"1_CR90","volume-title":"Mind Design","author":"M. Minsky","year":"1981","unstructured":"Minsky, M.: A framework for representing knowledge. In: Haugeland, J. (ed.) Mind Design. The MIT Press, Cambridge (1981); A longer version appeared in The Psychology of Computer Vision (1975), Republished in [31]"},{"key":"1_CR91","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1002\/malq.19750210118","volume":"21","author":"M. Mortimer","year":"1975","unstructured":"Mortimer, M.: On languages with two variables. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\u00a021, 135\u2013140 (1975)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"1_CR92","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(87)90133-2","volume":"54","author":"D.E. Muller","year":"1987","unstructured":"Muller, D.E., Schupp, P.E.: Alternating automata on infinite trees. Theoretical Computer Science\u00a054, 267\u2013276 (1987)","journal-title":"Theoretical Computer Science"},{"key":"1_CR93","series-title":"LNCS (LNAI)","volume-title":"Reasoning and Revision in Hybrid Representation Systems","author":"B. Nebel","year":"1990","unstructured":"Nebel, B.: Reasoning and Revision in Hybrid Representation Systems. LNCS (LNAI), vol.\u00a0422. Springer, Heidelberg (1990)"},{"key":"1_CR94","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","volume":"43","author":"B. Nebel","year":"1990","unstructured":"Nebel, B.: Terminological reasoning is inherently intractable. Artificial Intelligence\u00a043, 235\u2013249 (1990)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"1_CR95","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10817-008-9102-9","volume":"41","author":"M. Ortiz","year":"2008","unstructured":"Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of query answering in expressive description logics via tableaux. J. of Automated Reasoning\u00a041(1), 61\u201398 (2008)","journal-title":"J. of Automated Reasoning"},{"key":"1_CR96","first-page":"318","volume-title":"Proc. of the 12th IEEE Symp. on Logic in Computer Science (LICS 1997)","author":"L. Pacholski","year":"1997","unstructured":"Pacholski, L., Szwast, W., Tendera, L.: Complexity of two-variable logic with counting. In: Proc. of the 12th IEEE Symp. on Logic in Computer Science (LICS 1997), pp. 318\u2013327. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"1_CR97","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1145\/1060745.1060837","volume-title":"Proc. of the 14th International Conference on World Wide Web (WWW 2005)","author":"B. Parsia","year":"2005","unstructured":"Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Ellis, A., Hagino, T. (eds.) Proc. of the 14th International Conference on World Wide Web (WWW 2005), pp. 633\u2013640. ACM, New York (2005)"},{"key":"1_CR98","unstructured":"Patel-Schneider, P.F.: DLP. In: Proc. of the 1999 Description Logic Workshop (DL 1999). CEUR Electronic Workshop Proceedings, pp. 9\u201313 (1999), http:\/\/ceur-ws.org\/Vol-22\/"},{"issue":"3","key":"1_CR99","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1145\/122296.122313","volume":"2","author":"P.F. Patel-Schneider","year":"1991","unstructured":"Patel-Schneider, P.F., McGuiness, D.L., Brachman, R.J., Resnick, L.A., Borgida, A.: The CLASSIC knowledge representation system: Guiding principles and implementation rational. SIGART Bull.\u00a02(3), 108\u2013113 (1991)","journal-title":"SIGART Bull."},{"issue":"3","key":"1_CR100","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/122296.122314","volume":"2","author":"C. Peltason","year":"1991","unstructured":"Peltason, C.: The BACK system \u2014 an overview. SIGART Bull.\u00a02(3), 114\u2013119 (1991)","journal-title":"SIGART Bull."},{"key":"1_CR101","first-page":"216","volume-title":"Semantic Information Processing","author":"M. Ross Quillian","year":"1968","unstructured":"Ross Quillian, M.: Semantic memory. In: Minsky, M. (ed.) Semantic Information Processing, pp. 216\u2013270. The MIT Press, Cambridge (1968)"},{"key":"1_CR102","volume-title":"Proceedings of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI 1997)","author":"A. Rector","year":"1997","unstructured":"Rector, A., Horrocks, I.: Experience building a large, re-usable medical ontology using a description logic with transitivity and concept inclusions. In: Proceedings of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI 1997), Stanford, CA. AAAI Press, Menlo Park (1997)"},{"key":"1_CR103","unstructured":"Schild., K.: A correspondence theory for terminological logics: Preliminary report. In: Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI 1991), pp. 466\u2013471 (1991)"},{"key":"1_CR104","unstructured":"Schild, K.: Querying Knowledge and Data Bases by a Universal Description Logic with Recursion. PhD thesis, Universit\u00e4t des Saarlandes, Germany (1995)"},{"key":"1_CR105","first-page":"355","volume-title":"Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02003)","author":"S. Schlobach","year":"2003","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Gottlob, G., Walsh, T. (eds.) Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02003), Acapulco, Mexico, pp. 355\u2013362. Morgan Kaufmann, Los Altos (2003)"},{"key":"1_CR106","first-page":"421","volume-title":"Proc. of the 1st Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1989)","author":"M. Schmidt-Schau\u00df","year":"1989","unstructured":"Schmidt-Schau\u00df, M.: Subsumption in KL-ONE is undecidable. In: Brachman, R.J., Levesque, H.J., Reiter, R. (eds.) Proc. of the 1st Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1989), pp. 421\u2013431. Morgan Kaufmann, Los Altos (1989)"},{"key":"1_CR107","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with unions and complements. Technical Report SR-88-21, Fachbereich Informatik, Universit\u00e4t Kaiserslautern, Kaiserslautern, Germany (1988)"},{"issue":"1","key":"1_CR108","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence\u00a048(1), 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"1_CR109","unstructured":"Sirin, E., Parsia, B.: Pellet: An OWL DL reasoner. In: Proc. of the 2004 Description Logic Workshop (DL\u00a02004), pp. 212\u2013213 (2004)"},{"key":"1_CR110","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-540-68234-9_19","volume-title":"The Semantic Web: Research and Applications","author":"B. Suntisrivaraporn","year":"2008","unstructured":"Suntisrivaraporn, B.: Module extraction and incremental classification: A pragmatic approach for $\\mathcal{EL}^+$ ontologies. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol.\u00a05021, pp. 230\u2013244. Springer, Heidelberg (2008)"},{"key":"1_CR111","unstructured":"Suntisrivaraporn, B.: Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies. PhD thesis, Fakult\u00e4t Informatik, TU Dresden (2009), http:\/\/lat.inf.tu-dresden.de\/research\/phd\/#Sun-PhD-2008"},{"key":"1_CR112","first-page":"134","volume-title":"Handbook of Theoretical Computer Science, ch.\u00a04","author":"W. Thomas","year":"1990","unstructured":"Thomas, W.: Automata on infinite objects. In: Handbook of Theoretical Computer Science, ch.\u00a04, vol.\u00a0B, pp. 134\u2013189. Elsevier Science Publishers, Amsterdam (1990)"},{"key":"1_CR113","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/3-540-48660-7_4","volume-title":"Automated Deduction - CADE-16","author":"S. Tobies","year":"1999","unstructured":"Tobies, S.: A PSPACE algorithm for graded modal logic. In: Ganzinger, H. (ed.) CADE 1999. LNCS (LNAI), vol.\u00a01632, pp. 52\u201366. Springer, Heidelberg (1999)"},{"key":"1_CR114","unstructured":"Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany (2001)"},{"key":"1_CR115","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: faCT++ description logic reasoner: System description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"issue":"1","key":"1_CR116","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1994.1092","volume":"115","author":"M.Y. Vardi","year":"1994","unstructured":"Vardi, M.Y., Wolper, P.: Reasoning about infinite computations. Information and Computation\u00a0115(1), 1\u201337 (1994)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Semantic Technologies for Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03754-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T14:58:42Z","timestamp":1685113122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03754-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642037535","9783642037542"],"references-count":116,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03754-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}