{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T02:03:34Z","timestamp":1771639414861,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":79,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540250517","type":"print"},{"value":"9783540322542","type":"electronic"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32254-2_14","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T15:16:54Z","timestamp":1277219814000},"page":"228-248","source":"Crossref","is-referenced-by-count":119,"title":["Description Logics as Ontology Languages for the Semantic Web"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]},{"given":"Ulrike","family":"Sattler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","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)"},{"issue":"2-4","key":"14_CR2","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. Annals of Mathematics and Artificial Intelligence\u00a018(2-4), 175\u2013219 (1996)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"14_CR3","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. Journal of Logic, Language and Information\u00a02, 1\u201318 (1993)","journal-title":"Journal of Logic, Language and Information"},{"key":"14_CR4","first-page":"177","volume-title":"Computational Logics, Symposium Proceedings","author":"F. Baader","year":"1990","unstructured":"Baader, F., B\u00fcrkert, H.-J., Hollunder, B., Nutt, W., Siekmann, J.H.: Concept logics. In: Lloyd, J.W. (ed.) Computational Logics, Symposium Proceedings, pp. 177\u2013201. Springer, Heidelberg (1990)"},{"key":"14_CR5","unstructured":"Baader, F., Hanschke, P.: A schema for integrating concrete domains into concept languages. In: Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI 1991), Sydney, pp. 452\u2013457 (1991)"},{"key":"14_CR6","series-title":"LNAI","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":"#cr-split#-14_CR7.1","doi-asserted-by":"crossref","unstructured":"Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica (2001)","DOI":"10.1007\/10722086_1"},{"key":"#cr-split#-14_CR7.2","unstructured":"In: Dyckhoff, R. (ed.): TABLEAUX 2000. LNCS(LNAI), vol.\u00a01847. Springer, Heidelberg (2000) (to appear)"},{"key":"14_CR8","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)"},{"issue":"1-2","key":"14_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 Journal\u00a088(1-2), 195\u2013213 (1996)","journal-title":"Artificial Intelligence Journal"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/BFb0018999","volume-title":"GWAI-92: Advances in Artificial Intelligence","author":"F. Baader","year":"1993","unstructured":"Baader, F., Hanschke, P.: Extensions of concept languages for a mechanical engineering application. In: Ohlbach, H.J. (ed.) GWAI 1992. LNCS, vol.\u00a0671, pp. 132\u2013143. Springer, Heidelberg (1993)"},{"issue":"3","key":"14_CR11","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1093\/logcom\/9.3.411","volume":"9","author":"F. Baader","year":"1999","unstructured":"Baader, F., K\u00fcsters, R., Borgida, A., McGuinness, D.L.: Matching in description logics. Journal of Logic and Computation\u00a09(3), 411\u2013447 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Baader, F., K\u00fcsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In: Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI 1999), pp. 96\u2013101 (1999)","DOI":"10.25368\/2022.85"},{"issue":"3","key":"14_CR13","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":"14_CR14","doi-asserted-by":"crossref","unstructured":"Bechhofer, S., Horrocks, I., Goble, C., Stevens, R.: OilEd: a reason-able ontology editor for the semantic web. In: Proc. of the 2001 Description Logic Workshop (DL 2001), pp. 1\u20139. CEUR (2001), http:\/\/SunSITE.Informatik.RWTH-Aachen.DE\/Publications\/CEUR-WS\/","DOI":"10.1007\/3-540-45422-5_28"},{"issue":"5","key":"14_CR15","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic Web. Scientific American\u00a0284(5), 34\u201343 (2001)","journal-title":"Scientific American"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Borgida, A.: On the relative expressive power of Description Logics and Predicate Calculus. To appear in Artificial Intelligence (1996)","DOI":"10.1016\/0004-3702(96)00004-5"},{"key":"14_CR17","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":"14_CR18","unstructured":"Brachman, R.J., Levesque, H.J.: The tractability of subsumption in framebased description languages. In: Proc. of the 4th Nat. Conf. on Artificial Intelligence (AAAI 1984), pp. 34\u201337 (1984)"},{"issue":"2","key":"14_CR19","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":"14_CR20","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)"},{"key":"14_CR21","unstructured":"Buchheit, M., Donini, F.M., Nutt, W., Schaerf, A.: Terminological systems revisited: Terminology = schema + views. In: Proc. of the 12th Nat. Conf. on Artificial Intelligence (AAAI 1994), Seattle (USA), pp. 199\u2013204 (1994)"},{"issue":"2","key":"14_CR22","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 Journal\u00a099(2), 209\u2013260 (1998)","journal-title":"Artificial Intelligence Journal"},{"key":"14_CR23","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. Journal of Artificial Intelligence Research\u00a01, 109\u2013138 (1993)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"14_CR24","volume-title":"Handbook of Automated Reasoning","author":"D. Calvanese","year":"1999","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D.: Reasoning in expressive description logics. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning. Elsevier Science Publishers (North-Holland), Amsterdam (1999)"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proc. of the Seventeenth ACM SIGACT SIGMOD Sym. on Principles of Database Systems (PODS 1998), pp. 149\u2013158 (1998)","DOI":"10.1145\/275487.275504"},{"key":"14_CR26","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 the Principles of Knowledge Representation and Reasoning (KR 1998), pp. 2\u201313 (1998)"},{"key":"14_CR27","unstructured":"DAML language home page, http:\/\/www.daml.org\/language\/"},{"key":"14_CR28","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":"14_CR29","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":"14_CR30","unstructured":"De Giacomo, G., Lenzerini, M.: Concept language with number restrictions and fixpoints, and its relationship with \u03bc-calculus. In: Proc. of the 11th European Conf. on Artificial Intelligence (ECAI 1994), pp. 411\u2013415 (1994)"},{"key":"14_CR31","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.) Proc. of the 5th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1996), pp. 316\u2013327. Morgan Kaufmann, Los Altos (1996)"},{"key":"14_CR32","unstructured":"Donini, F., Lenzerini, M., Nardi, D., Nutt, W.: The complexity of concept languages. In: Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1991), Boston, MA, USA (1991)"},{"key":"14_CR33","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, pp. 458\u2013463 (1991)"},{"key":"14_CR34","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/0004-3702(92)90076-A","volume":"2-3","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 Journal\u00a02-3, 309\u2013327 (1992)","journal-title":"Artificial Intelligence Journal"},{"key":"14_CR35","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0004-3702(91)90029-J","volume":"48","author":"J. Doyle","year":"1991","unstructured":"Doyle, J., Patil, R.S.: Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services. Artificial Intelligence Journal\u00a048, 261\u2013297 (1991)","journal-title":"Artificial Intelligence Journal"},{"issue":"2","key":"14_CR36","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/5254.920598","volume":"16","author":"D. Fensel","year":"2001","unstructured":"Fensel, D., van Harmelen, F., Horrocks, I., McGuinness, D., Patel-Schneider, P.F.: OIL: An ontology infrastructure for the semantic web. IEEE Intelligent Systems\u00a016(2), 38\u201345 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"14_CR37","unstructured":"Fensel, D., van Harmelen, F., Klein, M., Akkermans, H., Broekstra, J., Fluit, C., van der Meer, J., Schnurr, H.-P., Studer, R., Hughes, J., Krohn, U., Davies, J., Engels, R., Bremdal, B., Ygge, F., Lau, T., Novotny, B., Reimer, U., Horrocks, I.: On- To-Knowledge: Ontology-based tools for knowledge management. In: Proceedings of the eBusiness and eWork 2000 (eBeW 2000) Conference (2000)"},{"key":"14_CR38","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. Journal of Computer and System Science\u00a018, 194\u2013211 (1979)","journal-title":"Journal of Computer and System Science"},{"key":"14_CR39","unstructured":"Gr\u00e4del, E., Otto, M., Rosen, E.: Two-variable logic with counting is decidable. In: Proc. of the 12th Ann. IEEE Symp. on Logic in Computer Science, LICS 1997 (1997), Available via http:\/\/speedy.informatik.rwth-aachen.de\/WWW\/papers.html"},{"key":"14_CR40","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":"14_CR41","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. Journal of Symbolic Logic\u00a064, 1719\u20131742 (1999)","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"14_CR42","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":"14_CR43","volume-title":"Formal Ontology in Conceptual Analysis and Knowledge Representation","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: Towards Principles for the Design of Ontologies Used for Knowledge Sharing. In: Guarino, N., Poli, R. (eds.) Formal Ontology in Conceptual Analysis and Knowledge Representation, Deventer, The Netherlands. Kluwer Academic Publishers, Dordrecht (1993)"},{"issue":"5\/6","key":"14_CR44","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1006\/ijhc.1995.1066","volume":"43","author":"N. Guarino","year":"1995","unstructured":"Guarino, N.: Formal ontology, conceptual analysis and knowledge representation. Int. Journal of Human-Computer Studies\u00a043(5\/6), 625\u2013640 (1995)","journal-title":"Int. Journal of Human-Computer Studies"},{"key":"14_CR45","unstructured":"Haarslev, V., M\u00f6ller, R.: RACE system description. In: Lambrix, P., Borgida, A., Lenzerini, M., M\u00f6ller, R., Patel-Schneider, P. (eds.) Proceedings of the International Workshop on Description Logics, Link\u00f6ping, Sweden. CEUR (1999)"},{"key":"14_CR46","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, p. 701. Springer, Heidelberg (2001)"},{"key":"14_CR47","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logic of knowledge and belief. Artificial Intelligence\u00a054, 319\u2013379 (1992)","journal-title":"Artificial Intelligence"},{"key":"14_CR48","volume-title":"ECAI 1990","author":"B. Hollunder","year":"1990","unstructured":"Hollunder, B., Nutt, W., Schmidt-Schauss, M.: Subsumption algorithms for concept description languages. In: ECAI 1990. Pitman Publishing, London (1990)"},{"key":"14_CR49","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":"14_CR50","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-69778-0_30","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: The FaCT system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 307\u2013312. Springer, Heidelberg (1998)"},{"key":"14_CR51","unstructured":"Horrocks, I.: Using an Expressive Description Logic: FaCT or Fiction? In: Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning, KR 1998 (1998)"},{"key":"14_CR52","unstructured":"Horrocks, I., Patel-Schneider, P.: The generation of DAML+OIL. In: Proc. of the 2001 Description Logic Workshop (DL 2001), vol.\u00a049, pp. 30\u201335. CEUR (2001), http:\/\/ceur-ws.org\/"},{"key":"14_CR53","series-title":"LNAI","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":"14_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10721959_39","volume-title":"Automated Deduction - CADE-17","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic shiq. In: McAllester, D. (ed.) CADE 2000. LNCS, vol.\u00a01831. Springer, Heidelberg (2000)"},{"key":"14_CR55","unstructured":"Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 1998), pp. 636\u2013647 (1998)"},{"issue":"3","key":"14_CR56","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. Journal of Logic and Computation\u00a09(3), 385\u2013410 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"14_CR57","series-title":"LNAI","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":"14_CR58","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/3-540-44613-3_3","volume-title":"Non-Standard Inferences in Description Logics","author":"R. K\u00fcsters","year":"2001","unstructured":"K\u00fcsters, R.: Non-standard inferences. In: K\u00fcsters, R. (ed.) Non-Standard Inferences in Description Logics. LNCS (LNAI), vol.\u00a02100, p. 33. Springer, Heidelberg (2001)"},{"key":"14_CR59","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/3-540-45744-5_5","volume-title":"Automated Reasoning","author":"C. Lutz","year":"2001","unstructured":"Lutz, C.: NExpTime-complete description logics with concrete domains. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 45\u201360. Springer, Heidelberg (2001)"},{"key":"14_CR60","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":"14_CR61","doi-asserted-by":"crossref","unstructured":"Mays, E., Dionne, R., Weida, R.: K-REP system overview. SIGART Bulletin\u00a02(3) (1991)","DOI":"10.1145\/122296.122310"},{"key":"14_CR62","series-title":"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). Springer, Heidelberg (1990)"},{"key":"14_CR63","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 Journal\u00a043, 235\u2013249 (1990)","journal-title":"Artificial Intelligence Journal"},{"key":"14_CR64","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/B978-1-4832-0771-1.50018-7","volume-title":"Principles of Semantic Networks","author":"B. Nebel","year":"1991","unstructured":"Nebel, B.: Terminological cycles: Semantics and computational properties. In: Sowa, J.F. (ed.) Principles of Semantic Networks, pp. 331\u2013361. Morgan Kaufmann, Los Altos (1991)"},{"key":"14_CR65","unstructured":"Pacholski, L., Szwast, W., Tendera, L.: Complexity of two-variable logic with counting. In: Proc. of the 12th Ann. IEEE Symp. on Logic in Computer Science, LICS 1997 (1997)"},{"key":"14_CR66","first-page":"318","volume-title":"Proc. of the 12th Ann. 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 Ann. IEEE Symp. on Logic in Computer Science (LICS 1997), pp. 318\u2013327. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"14_CR67","unstructured":"Pan, J.Z.: Web ontology reasoning in the SHOQ(D) description logic. In: Proceedings of the Workshop on Methods for Modalities 2001 (M4M-2001), Amsterdam. ILLC (2001)"},{"key":"14_CR68","unstructured":"Patel-Schneider, P.F.: DLP. In: Proc. of the 1999 Description Logic Workshop, DL 1999. CEUR Electronic Workshop Proceedings, vol. 22, pp. 9\u201313 (1999), http:\/\/ceur-ws.org\/"},{"issue":"3","key":"14_CR69","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 Bulletin\u00a02(3), 108\u2013113 (1991)","journal-title":"SIGART Bulletin"},{"issue":"3","key":"14_CR70","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 \u2013 an overview. SIGART Bulletin\u00a02(3), 114\u2013119 (1991)","journal-title":"SIGART Bulletin"},{"key":"14_CR71","series-title":"LNAI","volume-title":"KI-96: Advances in Artificial Intelligence","author":"U. Sattler","year":"1996","unstructured":"Sattler, U.: A concept language extended with different kinds of transitive roles. In: G\u00f6rz, G., H\u00f6lldobler, S. (eds.) KI 1996. LNCS (LNAI), vol.\u00a01137. Springer, Heidelberg (1996)"},{"key":"14_CR72","volume-title":"Proceedings of the 14th European Conference on Artificial Intelligence","author":"U. Sattler","year":"2000","unstructured":"Sattler, U.: Description logics for the representation of aggregated objects. In: Horn, W. (ed.) Proceedings of the 14th European Conference on Artificial Intelligence. IOS Press, Amsterdam (2000)"},{"key":"14_CR73","unstructured":"Schild, K.: A correspondence theory for terminological logics: Preliminary report. In: Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI 1991), Sydney, pp. 466\u2013471 (1991)"},{"key":"14_CR74","unstructured":"Schild, K.: Querying Knowledge and Data Bases by a Universal Description Logic with Recursion. PhD thesis, Universit\u00e4t des Saarlandes, Germany (1995)"},{"issue":"1","key":"14_CR75","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 Journal\u00a048(1), 1\u201326 (1991)","journal-title":"Artificial Intelligence Journal"},{"key":"14_CR76","unstructured":"Stevens, R., Horrocks, I., Goble, C., Bechhofer, S.: Building a reason-able bioinformatics ontology using OIL. In: Proceedings of the IJCAI-2001 Workshop on Ontologies and Information Sharing, pp. 81\u201390 (2001)"},{"key":"14_CR77","unstructured":"Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen (2001), electronically, available at http:\/\/www.bth.rwth-aachen.de\/ediss\/ediss.html"},{"issue":"3","key":"14_CR78","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1093\/logcom\/5.3.325","volume":"5","author":"W. Hoek van der","year":"1995","unstructured":"van der Hoek, W., De Rijke, M.: Counting objects. Journal of Logic and Computation\u00a05(3), 325\u2013345 (1995)","journal-title":"Journal of Logic and Computation"}],"container-title":["Lecture Notes in Computer Science","Mechanizing Mathematical Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32254-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T14:14:27Z","timestamp":1685628867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32254-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250517","9783540322542"],"references-count":79,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32254-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}