{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T20:44:34Z","timestamp":1783111474438,"version":"3.54.6"},"reference-count":162,"publisher":"Elsevier","isbn-type":[{"value":"9780444522115","type":"print"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1016\/s1574-6526(07)03003-9","type":"book-chapter","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T16:06:55Z","timestamp":1221235615000},"page":"135-179","source":"Crossref","is-referenced-by-count":130,"title":["Chapter 3 Description Logics"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1574-6526(07)03003-9_bib001","series-title":"Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI-05)","first-page":"1670","article-title":"Quonto: Querying ontologies","author":"Acciarri","year":"2005"},{"key":"10.1016\/S1574-6526(07)03003-9_bib002","unstructured":"H. Andr\u00e9ka, J. van Benthem, and I. N\u00e9meti. Modal languages and bounded fragments of predicate logic. Technical Report ML-96-03, ILLC, University of Amsterdam, 1996"},{"key":"10.1016\/S1574-6526(07)03003-9_bib003","unstructured":"C. Areces. Logic engineering. The case of description and hybrid logics. PhD thesis, ILLC, University of Amsterdam, 2000. ILLC Dissertation Series 2000-5"},{"key":"10.1016\/S1574-6526(07)03003-9_bib004","series-title":"Proc. of the Annual Conf. of the Eur. Assoc. for Computer Science Logic (CSL'99)","first-page":"307","article-title":"A road-map on complexity for hybrid logics","volume":"vol. 1683","author":"Areces","year":"1999"},{"issue":"5","key":"10.1016\/S1574-6526(07)03003-9_bib005","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1093\/logcom\/11.5.717","article-title":"Resolution in modal, description and hybrid logic","volume":"11","author":"Areces","year":"2001","journal-title":"J. of Logic and Computation"},{"key":"10.1016\/S1574-6526(07)03003-9_bib006","unstructured":"F. Baader, S. Brandt, and C. Lutz. Pushing the EL envelope. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), pages 364\u2013369, 2005"},{"key":"10.1016\/S1574-6526(07)03003-9_bib007","unstructured":"F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter. Integrating description logics and action formalisms: First results. In Proc. of the 20th National Conference on Artificial Intelligence (AAAI-05). AAAI Press\/The MIT Press, pages 572\u2013577, 2005"},{"key":"10.1016\/S1574-6526(07)03003-9_bib008","unstructured":"F. Baader. 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'91), pages 446\u2013451, 1991"},{"key":"10.1016\/S1574-6526(07)03003-9_bib009","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF02127747","article-title":"Using automata theory for characterizing the semantics of terminological cycles","volume":"18","author":"Baader","year":"1996","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03003-9_bib010","unstructured":"F. Baader. Description logic terminology. In [14], pages 485\u2013495, 2003"},{"key":"10.1016\/S1574-6526(07)03003-9_bib011","unstructured":"F. Baader. Terminological cycles in a description logic with existential restrictions. In G. Gottlob and T. Walsh, editors, Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), pages 325\u2013330, Los Altos, Acapulco, Mexico, 2003. Morgan Kaufmann"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(07)03003-9_bib012","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/S0004-3702(96)00010-0","article-title":"Cardinality restrictions on concepts","volume":"88","author":"Baader","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03003-9_bib013","series-title":"Computational Logics, Symposium Proceedings","first-page":"177","article-title":"Concept logics","author":"Baader","year":"1990"},{"key":"10.1016\/S1574-6526(07)03003-9_bib014","series-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2003"},{"key":"10.1016\/S1574-6526(07)03003-9_bib015","first-page":"109","article-title":"An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on","volume":"4","author":"Baader","year":"1994","journal-title":"Applied Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03003-9_bib016","unstructured":"F. Baader and P. Hanschke. A schema for integrating concrete domains into concept languages. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI'91), pages 452\u2013457, 1991"},{"key":"10.1016\/S1574-6526(07)03003-9_bib017","series-title":"Proc. of the 16th German Workshop on Artificial Intelligence (GWAI'92)","first-page":"132","article-title":"Extensions of concept languages for a mechanical engineering application","volume":"vol. 671","author":"Baader","year":"1992"},{"key":"10.1016\/S1574-6526(07)03003-9_bib018","series-title":"Proc. of the Workshop on Processing Declarative Knowledge (PDK'91)","first-page":"67","article-title":"A terminological knowledge representation system with complete inference algorithms","volume":"vol. 567","author":"Baader","year":"1991"},{"key":"10.1016\/S1574-6526(07)03003-9_bib019","unstructured":"F. Baader and R. K\u00fcsters. Matching in description logics with existential restrictions. In Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000), pages 261\u2013272, 2000"},{"issue":"3","key":"10.1016\/S1574-6526(07)03003-9_bib020","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1093\/logcom\/9.3.411","article-title":"Matching in description logics","volume":"9","author":"Baader","year":"1999","journal-title":"J. of Logic and Computation"},{"key":"10.1016\/S1574-6526(07)03003-9_bib021","doi-asserted-by":"crossref","unstructured":"F. Baader, R. K\u00fcsters, and R. Molitor. Structural subsumption considered from an automata theoretic point of view. In Proc. of the 1998 Description Logic Workshop (DL'98), volume 11 of CEUR Electronic Workshop Proceedings, 1998","DOI":"10.25368\/2022.80"},{"key":"10.1016\/S1574-6526(07)03003-9_bib022","unstructured":"F. Baader, R. K\u00fcsters, and F. Wolter. Extensions to description logics. In [14], pages 219\u2013261, 2003"},{"key":"10.1016\/S1574-6526(07)03003-9_bib023","series-title":"Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006)","first-page":"287","article-title":"CEL\u2014a polynomial-time reasoner for life science ontologies","volume":"vol. 4130","author":"Baader","year":"2006"},{"issue":"3","key":"10.1016\/S1574-6526(07)03003-9_bib024","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1006\/jsco.2000.0426","article-title":"Unification of concepts terms in description logics","volume":"31","author":"Baader","year":"2001","journal-title":"J. of Symbolic Computation"},{"issue":"1","key":"10.1016\/S1574-6526(07)03003-9_bib025","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1013882326814","article-title":"An overview of tableau algorithms for description logics","volume":"69","author":"Baader","year":"2001","journal-title":"Studia Logica"},{"key":"10.1016\/S1574-6526(07)03003-9_bib026","series-title":"Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2001)","first-page":"92","article-title":"The inverse method implements the automata approach for modal satisfiability","volume":"vol. 2083","author":"Baader","year":"2001"},{"key":"10.1016\/S1574-6526(07)03003-9_bib027","unstructured":"A.B. Baker. Intelligent backtracking on constraint satisfaction problems: experimental and theoretical results. PhD thesis, University of Oregon, 1995"},{"key":"10.1016\/S1574-6526(07)03003-9_bib028","series-title":"Proc. of the Joint German\/Austrian Conf. on Artificial Intelligence (KI 2001)","first-page":"396","article-title":"OilEd: A reasonable ontology editor for the semantic web","volume":"vol. 2174","author":"Bechhofer","year":"2001"},{"key":"10.1016\/S1574-6526(07)03003-9_bib029","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1016\/0022-0000(82)90018-6","article-title":"Deterministic propositional dynamic logic: Finite models, complexity, and completeness","volume":"25","author":"Ben-Ari","year":"1982","journal-title":"J. of Computer and System Sciences"},{"key":"10.1016\/S1574-6526(07)03003-9_bib030","unstructured":"D. Berardi, D. Calvanese, and G. De Giacomo. Reasoning on UML class diagrams using description logic based systems. In Proc. of the KI'2001 Workshop on Applications of Description Logics, volume 44 of CEUR Electronic Workshop Proceedings, 2001"},{"key":"10.1016\/S1574-6526(07)03003-9_bib031","series-title":"Proc. of the Int. Conf. on Concurrency Theory (CONCUR'93)","first-page":"262","article-title":"Branching time temporal logic and amorphous tree automata","volume":"vol. 715","author":"Bernholtz","year":"1993"},{"key":"10.1016\/S1574-6526(07)03003-9_bib032","article-title":"Modal Logic","volume":"vol. 53","author":"Blackburn","year":"2001"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(07)03003-9_bib033","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","article-title":"On the relative expressiveness of description logics and predicate logics","volume":"82","author":"Borgida","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03003-9_bib034","unstructured":"A. Borgida, M. Lenzerini, and R. Rosati. Description logics for data bases. In [14] (Chapter 16)"},{"issue":"2","key":"10.1016\/S1574-6526(07)03003-9_bib035","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/S0020-7373(77)80017-5","article-title":"What's in a concept: Structural foundations for semantic networks","volume":"9","author":"Brachman","year":"1977","journal-title":"Int. Journal of Man-Machine Studies"},{"key":"10.1016\/S1574-6526(07)03003-9_bib036","unstructured":"R.J. Brachman. Structured inheritance networks. In W.A. Woods and R.J. Brachman, editors, Research in Natural Language Understanding, Quarterly Progress Report No. 1, BBN Report No. 3742, pages 36\u201378. Bolt, Beranek and Newman Inc., Cambridge, MA, 1978"},{"key":"10.1016\/S1574-6526(07)03003-9_bib037","series-title":"Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'92)","first-page":"247","article-title":"\u201cReducing\u201d CLASSIC to practice: Knowledge representation meets reality","author":"Brachman","year":"1992"},{"key":"10.1016\/S1574-6526(07)03003-9_bib038","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/MC.1983.1654200","article-title":"KRYPTON: A functional approach to knowledge representation","author":"Brachman","year":"1983","journal-title":"IEEE Computer"},{"key":"10.1016\/S1574-6526(07)03003-9_bib039","series-title":"Readings in Knowledge Representation","year":"1985"},{"key":"10.1016\/S1574-6526(07)03003-9_bib040","series-title":"Principles of Semantic Networks","first-page":"401","article-title":"Living with CLASSIC: When and how to use a KL-ONE-like language","author":"Brachman","year":"1991"},{"issue":"2","key":"10.1016\/S1574-6526(07)03003-9_bib041","first-page":"171","article-title":"An overview of the KL-ONE knowledge representation system","volume":"9","author":"Brachman","year":"1985","journal-title":"Cognitive Science"},{"key":"10.1016\/S1574-6526(07)03003-9_bib042","unstructured":"S. Brandt. Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and\u2014what else? In R. L\u00f3pez de M\u00e1ntaras and L. Saitta, editors, Proc. of the 16th Eur. Conf. on Artificial Intelligence (ECAI 2004), pages 298\u2013302, 2004"},{"key":"10.1016\/S1574-6526(07)03003-9_bib043","unstructured":"S. Brandt, R. K\u00fcsters, and A.-Y. Turhan. Approximation and difference in description logics. In Proc. of the 8th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2002), pages 203\u2013214, 2002"},{"key":"10.1016\/S1574-6526(07)03003-9_bib044","unstructured":"P. Bresciani, E. Franconi, and S. Tessaris. Implementing and testing expressive description logics: Preliminary report. In Proc. of the 1995 Description Logic Workshop (DL'95), pages 131\u2013139, 1995"},{"issue":"2","key":"10.1016\/S1574-6526(07)03003-9_bib045","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0004-3702(97)00079-9","article-title":"A refined architecture for terminological systems: Terminology=schema+views","volume":"99","author":"Buchheit","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03003-9_bib046","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1613\/jair.21","article-title":"Decidable reasoning in terminological knowledge representation systems","volume":"1","author":"Buchheit","year":"1993","journal-title":"J. of Artificial Intelligence Research"},{"key":"10.1016\/S1574-6526(07)03003-9_bib047","doi-asserted-by":"crossref","unstructured":"D. Calvanese, G. De Giacomo, and M. Lenzerini. On the decidability of query containment under constraints. In Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS'98), pages 149\u2013158, 1998","DOI":"10.1145\/275487.275504"},{"issue":"2","key":"10.1016\/S1574-6526(07)03003-9_bib048","article-title":"Modeling and querying semi-structured data","volume":"2","author":"Calvanese","year":"1999","journal-title":"Network and Information Systems"},{"key":"10.1016\/S1574-6526(07)03003-9_bib049","unstructured":"D. Calvanese, G. De Giacomo, and M. Lenzerini. 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'99), pages 84\u201389, 1999"},{"key":"10.1016\/S1574-6526(07)03003-9_bib050","series-title":"Handbook of Automated Reasoning","first-page":"1581","article-title":"Reasoning in expressive description logics","author":"Calvanese","year":"2001"},{"key":"10.1016\/S1574-6526(07)03003-9_bib051","unstructured":"D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. Description logic framework for information integration. In Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'98), pages 2\u201313, 1998"},{"issue":"4","key":"10.1016\/S1574-6526(07)03003-9_bib052","first-page":"413","article-title":"Data integration and reconciliation in data warehousing: Conceptual modeling and reasoning support","volume":"2","author":"Calvanese","year":"1999","journal-title":"Network and Information Systems"},{"key":"10.1016\/S1574-6526(07)03003-9_bib053","series-title":"Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI-05)","first-page":"602","article-title":"DL-Lite: Tractable description logics for ontologies","author":"Calvanese","year":"2005"},{"key":"10.1016\/S1574-6526(07)03003-9_bib054","series-title":"Logics for Databases and Information Systems","first-page":"229","article-title":"Description logics for conceptual data modeling","author":"Calvanese","year":"1998"},{"key":"10.1016\/S1574-6526(07)03003-9_bib055","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1038\/75556","article-title":"Gene ontology: Tool for the unification of biology","volume":"25","author":"The Gene ontology Consortium","year":"2000","journal-title":"Nature Genetics"},{"key":"10.1016\/S1574-6526(07)03003-9_bib056","unstructured":"G. De Giacomo. Decidability of class-based knowledge representation formalisms. PhD thesis, Dipartimento di Informatica e Sistemistica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, 1995"},{"key":"10.1016\/S1574-6526(07)03003-9_bib057","unstructured":"G. De Giacomo and M. Lenzerini. Boosting the correspondence between description logics and propositional dynamic logics. In Proc. of the 12th Nat. Conf. on Artificial Intelligence (AAAI'94), pages 205\u2013212, 1994"},{"key":"10.1016\/S1574-6526(07)03003-9_bib058","unstructured":"G. De Giacomo and M. Lenzerini. Concept language with number restrictions and fixpoints, and its relationship with \u03bc-calculus. In Proc. of the 11th Eur. Conf. on Artificial Intelligence (ECAI'94), pages 411\u2013415, 1994"},{"key":"10.1016\/S1574-6526(07)03003-9_bib059","unstructured":"G. De Giacomo and M. Lenzerini. TBox and ABox reasoning in expressive description logics. In Proc. of the 5th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'96), pages 316\u2013327, 1996"},{"key":"10.1016\/S1574-6526(07)03003-9_bib060","doi-asserted-by":"crossref","unstructured":"S. Derriere, A. Richard, and A. Preite-Martinez. An ontology of astronomical object types for the virtual observatory. In Proc. of Special Session 3 of the 26th meeting of the IAU: Virtual Observatory in Action: New Science, New Technology, and Next Generation Facilities, 2006","DOI":"10.1017\/S174392130701201X"},{"issue":"5","key":"10.1016\/S1574-6526(07)03003-9_bib061","first-page":"36","article-title":"LASSIE: A knowledge-based software information system","volume":"34","author":"Devambu","year":"1991","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1574-6526(07)03003-9_bib062","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0004-3702(92)90076-A","article-title":"The complexity of existential quantification in concept languages","volume":"2\u20133","author":"Donini","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03003-9_bib063","unstructured":"F.M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages. In Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'91), pages 151\u2013162, 1991"},{"key":"10.1016\/S1574-6526(07)03003-9_bib064","unstructured":"F.M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. Tractable concept languages. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI'91), pages 458\u2013463, 1991"},{"issue":"3","key":"10.1016\/S1574-6526(07)03003-9_bib065","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/A:1008687430626","article-title":"AL-log: Integrating Datalog and description logics","volume":"10","author":"Donini","year":"1998","journal-title":"J. of Intelligent Information Systems"},{"issue":"1","key":"10.1016\/S1574-6526(07)03003-9_bib066","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0004-3702(00)00070-9","article-title":"EXPTIME tableaux for ALC","volume":"124","author":"Donini","year":"2000","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03003-9_bib067","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0004-3702(91)90029-J","article-title":"Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services","volume":"48","author":"Doyle","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03003-9_bib068","series-title":"Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2004)","first-page":"141","article-title":"Combining answer set programming with description logics for the semantic web","author":"Eiter","year":"2004"},{"issue":"2","key":"10.1016\/S1574-6526(07)03003-9_bib069","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/5254.920598","article-title":"OIL: An ontology infrastructure for the semantic web","volume":"16","author":"Fensel","year":"2001","journal-title":"IEEE Intelligent Systems"},{"issue":"4","key":"10.1016\/S1574-6526(07)03003-9_bib070","doi-asserted-by":"crossref","first-page":"516","DOI":"10.1305\/ndjfl\/1093890715","article-title":"In so many possible worlds","volume":"13","author":"Fine","year":"1972","journal-title":"Notre Dame J. of Formal Logic"},{"key":"10.1016\/S1574-6526(07)03003-9_bib071","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","article-title":"Propositional dynamic logic of regular programs","volume":"18","author":"Fischer","year":"1979","journal-title":"J. of Computer and System Sciences"},{"key":"10.1016\/S1574-6526(07)03003-9_bib072","unstructured":"E. Franconi and G. Ng. The i.com tool for intelligent conceptual modeling. In Proc. of the 7th Int. Workshop on Knowledge Representation meets Databases (KRDB 2000), volume 29 of CEUR Electronic Workshop Proceedings, 2000"},{"key":"10.1016\/S1574-6526(07)03003-9_bib073","series-title":"Computers and Intractability\u2014A Guide to NP-Completeness","author":"Garey","year":"1979"},{"issue":"3","key":"10.1016\/S1574-6526(07)03003-9_bib074","doi-asserted-by":"crossref","DOI":"10.1016\/j.websem.2006.05.007","article-title":"The foundational model of anatomy in OWL: Experience and perspectives","volume":"4","author":"Golbreich","year":"2006","journal-title":"J. of Web Semantics"},{"key":"10.1016\/S1574-6526(07)03003-9_bib075","unstructured":"E. Gon\u00e7alv\u00e8s and E. Gr\u00e4del. Decidability issues for action guarded logics. In Proc. of the 2000 Description Logic Workshop (DL 2000), volume 33 of CEUR Electronic Workshop Proceedings, 2000"},{"key":"10.1016\/S1574-6526(07)03003-9_bib076","unstructured":"J. Goodwin. Experiences of using OWL at the ordnance survey. In Proc. of the First OWL Experiences and Directions Workshop, volume 188 of CEUR Electronic Workshop Proceedings, 2005"},{"key":"10.1016\/S1574-6526(07)03003-9_bib077","unstructured":"E. Gr\u00e4del. Guarded fragments of first-order logic: A perspective for new description logics? In Proc. of the 1998 Description Logic Workshop (DL'98), volume 11 of CEUR Electronic Workshop Proceedings, 1998"},{"key":"10.1016\/S1574-6526(07)03003-9_bib078","doi-asserted-by":"crossref","first-page":"1719","DOI":"10.2307\/2586808","article-title":"On the restraining power of guards","volume":"64","author":"Gr\u00e4del","year":"1999","journal-title":"J. of Symbolic Logic"},{"issue":"1","key":"10.1016\/S1574-6526(07)03003-9_bib079","doi-asserted-by":"crossref","first-page":"53","DOI":"10.2307\/421196","article-title":"On the decision problem for two-variable first-order logic","volume":"3","author":"Gr\u00e4del","year":"1997","journal-title":"Bulletin of Symbolic Logic"},{"key":"10.1016\/S1574-6526(07)03003-9_bib080","unstructured":"V. Haarslev and R. M\u00f6ller. RACE system description. In Proc. of the 1999 Description Logic Workshop (DL'99), volume 22 of CEUR Electronic Workshop Proceedings, 1999"},{"key":"10.1016\/S1574-6526(07)03003-9_bib081","series-title":"Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2001)","first-page":"701","article-title":"RACER system description","volume":"vol. 2083","author":"Haarslev","year":"2001"},{"issue":"2","key":"10.1016\/S1574-6526(07)03003-9_bib082","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1016\/j.jbi.2004.09.001","article-title":"Modeling a description logic vocabulary for cancer research","volume":"38","author":"Hartel","year":"2005","journal-title":"Journal of Biomedical Informatics"},{"key":"10.1016\/S1574-6526(07)03003-9_bib083","author":"Hayes"},{"key":"10.1016\/S1574-6526(07)03003-9_bib084","unstructured":"P.J. Hayes. In defense of logic. In Proc. of the 5th Int. Joint Conf. on Artificial Intelligence (IJCAI'77), pages 559\u2013565, 1977. A longer version appeared in The Psychology of Computer Vision (1975). Republished in [39]"},{"key":"10.1016\/S1574-6526(07)03003-9_bib085","series-title":"Frame Conceptions and Text Understanding","first-page":"46","article-title":"The logic of frames","author":"Hayes","year":"1979"},{"key":"10.1016\/S1574-6526(07)03003-9_bib086","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1016\/0004-3702(94)90071-X","article-title":"An empirical analysis of terminological representation systems","volume":"68","author":"Heinsohn","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03003-9_bib087","series-title":"Proc. of the 20th Annual IEEE Symp. on Logic in Computer Science, LICS 2005","first-page":"229","article-title":"Proof-theoretic approach to description-logic","author":"Hofmann","year":"2005"},{"issue":"2\u20134","key":"10.1016\/S1574-6526(07)03003-9_bib088","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF02127745","article-title":"Consistency checking reduced to satisfiability of concepts in terminological systems","volume":"18","author":"Hollunder","year":"1996","journal-title":"Ann. of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03003-9_bib089","unstructured":"B. Hollunder, W. Nutt, and M. Schmidt-Schau\u00df. Subsumption algorithms for concept description languages. In Proc. of the 9th Eur. Conf. on Artificial Intelligence (ECAI'90), pages 348\u2013353, London (United Kingdom), 1990. Pitman"},{"key":"10.1016\/S1574-6526(07)03003-9_bib090","series-title":"Proc. of the 4th Int. Conf. on Artificial Intelligence and Symbolic Computation (AISC'98)","first-page":"234","article-title":"Optimising propositional modal satisfiability for description logic subsumption","volume":"vol. 1476","author":"Horrocks","year":"1998"},{"key":"10.1016\/S1574-6526(07)03003-9_bib091","series-title":"Proc. of the 7th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR 2000)","article-title":"How to decide query containment under constraints using a description logic","author":"Horrocks","year":"2000"},{"key":"10.1016\/S1574-6526(07)03003-9_bib092","series-title":"Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99)","first-page":"161","article-title":"Practical reasoning for expressive description logics","volume":"vol. 1705","author":"Horrocks","year":"1999"},{"key":"10.1016\/S1574-6526(07)03003-9_bib093","unstructured":"I. Horrocks and S. Tobies. Reasoning with axioms: Theory and practice. In Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000), pages 285\u2013296, 2000"},{"key":"10.1016\/S1574-6526(07)03003-9_bib094","series-title":"Proc. of the 2nd Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX'98)","first-page":"307","article-title":"The FaCT system","volume":"vol. 1397","author":"Horrocks","year":"1998"},{"key":"10.1016\/S1574-6526(07)03003-9_bib095","unstructured":"I. Horrocks. Using an expressive description logic: FaCT or fiction? In Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'98), pages 636\u2013647, 1998"},{"issue":"3","key":"10.1016\/S1574-6526(07)03003-9_bib096","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1093\/logcom\/9.3.267","article-title":"Optimizing description logic subsumption","volume":"9","author":"Horrocks","year":"1999","journal-title":"J. of Logic and Computation"},{"key":"10.1016\/S1574-6526(07)03003-9_bib097","unstructured":"I. Horrocks and P.F. Patel-Schneider. The generation of DAML+OIL. In Proc. of the 2001 Description Logic Workshop (DL 2001), volume 49 of CEUR Electronic Workshop Proceedings, 2001"},{"key":"10.1016\/S1574-6526(07)03003-9_bib098","series-title":"Proc. of the 18th Nat. Conf. on Artificial Intelligence (AAAI 2002)","first-page":"792","article-title":"Reviewing the design of DAML+OIL: An ontology language for the semantic web","author":"Horrocks","year":"2002"},{"issue":"1","key":"10.1016\/S1574-6526(07)03003-9_bib099","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","article-title":"From SHIQ and RDF to OWL: The making of a web ontology language","volume":"1","author":"Horrocks","year":"2003","journal-title":"J. of Web Semantics"},{"issue":"3","key":"10.1016\/S1574-6526(07)03003-9_bib100","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1093\/logcom\/9.3.385","article-title":"A description logic with transitive and inverse roles and role hierarchies","volume":"9","author":"Horrocks","year":"1999","journal-title":"J. of Logic and Computation"},{"key":"10.1016\/S1574-6526(07)03003-9_bib101","series-title":"Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001)","first-page":"199","article-title":"Ontology reasoning in the SHOQ(D) description logic","author":"Horrocks","year":"2001"},{"key":"10.1016\/S1574-6526(07)03003-9_bib102","series-title":"SAT 2000: Highlights of Satisfiability Research in the Year 2000","article-title":"Using resolution for testing modal satisfiability and building models","volume":"vol. 63","author":"Hustadt","year":"2000"},{"key":"10.1016\/S1574-6526(07)03003-9_bib103","series-title":"Proc. of the 1999 Description Logic Workshop (DL'99)","first-page":"136","article-title":"MSPASS: Subsumption testing with SPASS","author":"Hustadt","year":"1999"},{"key":"10.1016\/S1574-6526(07)03003-9_bib104","unstructured":"U. Hustadt, B. Motik, and U. Sattler. Reducing SHIQ-description logic to disjunctive Datalog programs. In Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2004), pages 152\u2013162, 2004"},{"key":"10.1016\/S1574-6526(07)03003-9_bib105","series-title":"Int. Symp. on the Mathematical Foundation of Computer Science","first-page":"552","article-title":"Automata for the modal mu-calculus and related results","volume":"vol. 969","author":"Janin","year":"1995"},{"issue":"1","key":"10.1016\/S1574-6526(07)03003-9_bib106","doi-asserted-by":"crossref","first-page":"36","DOI":"10.4018\/jswis.2005010103","article-title":"A tool for working with web ontologies","volume":"1","author":"Kalyanpur","year":"2005","journal-title":"International Journal on Semantic Web and Information Systems"},{"key":"10.1016\/S1574-6526(07)03003-9_bib107","series-title":"Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006)","first-page":"662","article-title":"A resolution-based decision procedure for SHOIQ","volume":"vol. 4130","author":"Kazakov","year":"2006"},{"key":"10.1016\/S1574-6526(07)03003-9_bib108","unstructured":"A. Kershenbaum, A. Fokoue, C. Patel, C. Welty E. Schonberg, J. Cimino, L. Ma, K. Srinivas, R. Schloss, and J.W. Murdock. A view of OWL from the field: Use cases and experiences. In Proc. of the Second OWL Experiences and Directions Workshop, volume 216 of CEUR Electronic Workshop Proceedings, 2006"},{"key":"10.1016\/S1574-6526(07)03003-9_bib109","series-title":"Proc. of the 2004 International Semantic Web Conference (ISWC 2004)","first-page":"229","article-title":"The Prot\u00e9g\u00e9 OWL Plugin: An open development environment for semantic web applications","volume":"vol. 3298","author":"Knublauch","year":"2004"},{"key":"10.1016\/S1574-6526(07)03003-9_bib110","unstructured":"N. Kurtonina and M. de Rijke. Classifying description logics. In Proc. of the 1997 Description Logic Workshop (DL'97), pages 49\u201353, 1997"},{"key":"10.1016\/S1574-6526(07)03003-9_bib111","unstructured":"R. K\u00fcsters and R. Molitor. Computing least common subsumers in ALEN. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pages 219\u2013224, 2001"},{"key":"10.1016\/S1574-6526(07)03003-9_bib112","unstructured":"L. Lacy, G. Aviles, K. Fraser, W. Gerber, A. Mulvehill, and R. Gaskill. Experiences using OWL in military applications. In Proc. of the First OWL Experiences and Directions Workshop, volume 188 of CEUR Electronic Workshop Proceedings, 2005"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(07)03003-9_bib113","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","article-title":"Combining Horn rules and description logics in CARIN","volume":"104","author":"Levy","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03003-9_bib114","series-title":"Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99)","first-page":"181","article-title":"Complexity of terminological reasoning revisited","volume":"vol. 1705","author":"Lutz","year":"1999"},{"key":"10.1016\/S1574-6526(07)03003-9_bib115","unstructured":"C. Lutz. The complexity of reasoning with concrete domains. PhD thesis, Teaching and Research Area for Theoretical Computer Science, RWTH Aachen, 2001"},{"key":"10.1016\/S1574-6526(07)03003-9_bib116","unstructured":"C. Lutz. Interval-based temporal reasoning with general TBoxes. In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pages 89\u201394, 2001"},{"key":"10.1016\/S1574-6526(07)03003-9_bib117","unstructured":"C. Lutz and U. Sattler. Mary likes all cats. In Proc. of the 2000 Description Logic Workshop (DL 2000), volume 33 of CEUR Electronic Workshop Proceedings, 2000"},{"key":"10.1016\/S1574-6526(07)03003-9_bib118","series-title":"Principles of Semantic Networks","first-page":"385","article-title":"The evolving technology of classification-based knowledge representation systems","author":"MacGregor","year":"1991"},{"issue":"3","key":"10.1016\/S1574-6526(07)03003-9_bib119","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/122296.122310","article-title":"K-Rep system overview","volume":"2","author":"Mays","year":"1991","journal-title":"SIGART Bull."},{"issue":"4","key":"10.1016\/S1574-6526(07)03003-9_bib120","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1017\/S089006049812406X","article-title":"Conceptual modeling for configuration: A description logic-based approach","volume":"12","author":"McGuinness","year":"1998","journal-title":"Artificial Intelligence for Engineering Design, Analysis, and Manufacturing"},{"key":"10.1016\/S1574-6526(07)03003-9_bib121","series-title":"Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI 2006)","article-title":"Finding maximally satisfiable terminologies for the description logic ALC","author":"Meyer","year":"2006"},{"key":"10.1016\/S1574-6526(07)03003-9_bib122","series-title":"Mind Design","article-title":"A framework for representing knowledge","author":"Minsky","year":"1981"},{"key":"10.1016\/S1574-6526(07)03003-9_bib123","series-title":"Proc. of the 13th International Conference on Logic for Programming, Artificial Intelligence (LPAR06)","article-title":"A comparison of reasoning techniques for querying large description logic aboxes","author":"Motik","year":"2006"},{"issue":"1","key":"10.1016\/S1574-6526(07)03003-9_bib124","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.websem.2005.05.001","article-title":"Query answering for OWL-DL with rules","volume":"3","author":"Motik","year":"2005","journal-title":"J. of Web Semantics"},{"key":"10.1016\/S1574-6526(07)03003-9_bib125","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(87)90133-2","article-title":"Alternating automata on infinite trees","volume":"54","author":"Muller","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1574-6526(07)03003-9_bib126","article-title":"Reasoning and Revision in Hybrid Representation Systems","volume":"vol. 422","author":"Nebel","year":"1990"},{"issue":"2","key":"10.1016\/S1574-6526(07)03003-9_bib127","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","article-title":"Terminological reasoning is inherently intractable","volume":"43","author":"Nebel","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03003-9_bib128","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF00244513","article-title":"HARP: A tableau-based theorem prover","volume":"4","author":"Oppacher","year":"1988","journal-title":"J. of Automated Reasoning"},{"key":"10.1016\/S1574-6526(07)03003-9_bib129","series-title":"Proc. of the 12th IEEE Symp. on Logic in Computer Science (LICS'97)","first-page":"318","article-title":"Complexity of two-variable logic with counting","author":"Pacholski","year":"1997"},{"issue":"4","key":"10.1016\/S1574-6526(07)03003-9_bib130","doi-asserted-by":"crossref","first-page":"1083","DOI":"10.1137\/S0097539797323005","article-title":"Complexity results for first-order two-variable logic with counting","volume":"29","author":"Pacholski","year":"2000","journal-title":"SIAM J. on Computing"},{"key":"10.1016\/S1574-6526(07)03003-9_bib131","series-title":"Computational Complexity","author":"Papadimitriou","year":"1994"},{"key":"10.1016\/S1574-6526(07)03003-9_bib132","series-title":"Proc. of the 14th International Conference on World Wide Web (WWW'05)","first-page":"633","article-title":"Debugging OWL ontologies","author":"Parsia","year":"2005"},{"key":"10.1016\/S1574-6526(07)03003-9_bib133","unstructured":"P.F. Patel-Schneider. DLP. In Proc. of the 1999 Description Logic Workshop (DL'99), volume 22 of CEUR Electronic Workshop Proceedings, 1999"},{"key":"10.1016\/S1574-6526(07)03003-9_bib134","author":"Patel-Schneider"},{"issue":"3","key":"10.1016\/S1574-6526(07)03003-9_bib135","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1145\/122296.122313","article-title":"The CLASSIC knowledge representation system: Guiding principles and implementation rational","volume":"2","author":"Patel-Schneider","year":"1991","journal-title":"SIGART Bull."},{"issue":"3","key":"10.1016\/S1574-6526(07)03003-9_bib137","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/122296.122314","article-title":"The BACK system\u2014an overview","volume":"2","author":"Peltason","year":"1991","journal-title":"SIGART Bull."},{"key":"10.1016\/S1574-6526(07)03003-9_bib138","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1002\/bs.3830120511","article-title":"Word concepts: A theory and simulation of some basic capabilities","volume":"12","author":"Quillian","year":"1967","journal-title":"Behavioral Science"},{"key":"10.1016\/S1574-6526(07)03003-9_bib139","series-title":"Reasoning Web, Second International Summer School, Tutorial Lectures","first-page":"197","article-title":"Ontological and practical issues in using a description logic to represent medical concept systems: Experience from GALEN","volume":"vol. 4126","author":"Rector","year":"2006"},{"issue":"1","key":"10.1016\/S1574-6526(07)03003-9_bib140","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.websem.2005.05.002","article-title":"On the decidability and complexity of integrating ontologies and rules","volume":"3","author":"Rosati","year":"2005","journal-title":"J. of Web Semantics"},{"key":"10.1016\/S1574-6526(07)03003-9_bib141","unstructured":"A. Ruttenberg, J. Rees, and J. Luciano. Experience using OWL DL for the exchange of biological pathway information. In Proc. of the First OWL Experiences and Directions Workshop, volume 188 of CEUR Electronic Workshop Proceedings, 2005"},{"key":"10.1016\/S1574-6526(07)03003-9_bib142","series-title":"20. Deutsche Jahrestagung f\u00fcr K\u00fcnstliche Intelligenz","article-title":"A concept language extended with different kinds of transitive roles","volume":"vol. 1137","author":"Sattler","year":"1996"},{"key":"10.1016\/S1574-6526(07)03003-9_bib143","series-title":"Proc. of the International Joint Conference on Automated Reasoning (IJCAR-01)","article-title":"The hybrid mu-calculus","volume":"vol. 2083","author":"Sattler","year":"2001"},{"key":"10.1016\/S1574-6526(07)03003-9_bib144","unstructured":"K. Schild. A correspondence theory for terminological logics: Preliminary report. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI'91), pages 466\u2013471, 1991"},{"key":"10.1016\/S1574-6526(07)03003-9_bib145","doi-asserted-by":"crossref","unstructured":"K. Schild. Terminological cycles and the propositional \u03bc-calculus. In Proc. of the 4th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'94), pages 509\u2013520, 1994","DOI":"10.1016\/B978-1-4832-1452-8.50142-1"},{"key":"10.1016\/S1574-6526(07)03003-9_bib146","unstructured":"K. Schild. Querying knowledge and data bases by a universal description logic with recursion. PhD thesis, Universit\u00e4t des Saarlandes, Germany, 1995"},{"key":"10.1016\/S1574-6526(07)03003-9_bib147","series-title":"Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003)","first-page":"355","article-title":"Non-standard reasoning services for the debugging of description logic terminologies","author":"Schlobach","year":"2003"},{"key":"10.1016\/S1574-6526(07)03003-9_bib148","series-title":"Proc. of the 1st Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'89)","first-page":"421","article-title":"Subsumption in KL-ONE is undecidable","author":"Schmidt-Schau\u00df","year":"1989"},{"issue":"1","key":"10.1016\/S1574-6526(07)03003-9_bib149","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","article-title":"Attributive concept descriptions with complements","volume":"48","author":"Schmidt-Schau\u00df","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(07)03003-9_bib150","unstructured":"A. Sidhu, T. Dillon, E. Chang, and B.S. Sidhu. Protein ontology development using OWL. In Proc. of the First OWL Experiences and Directions Workshop, volume 188 of CEUR Electronic Workshop Proceedings, 2005"},{"issue":"2","key":"10.1016\/S1574-6526(07)03003-9_bib151","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","article-title":"Pellet: A practical OWL-DL reasoner","volume":"5","author":"Sirin","year":"2007","journal-title":"Journal of Web Semantics"},{"issue":"4","key":"10.1016\/S1574-6526(07)03003-9_bib152","article-title":"Reengineering thesauri for new applications: The AGROVOC example","volume":"4","author":"Soergel","year":"2004","journal-title":"J. of Digital Information"},{"key":"10.1016\/S1574-6526(07)03003-9_bib153","first-page":"640","article-title":"SNOMED RT: A reference terminology for health care","author":"Spackman","year":"1997","journal-title":"J. of the American Medical Informatics Association"},{"key":"10.1016\/S1574-6526(07)03003-9_bib154","unstructured":"P.-H. Speel, F. van Raalte, P.E. van der Vet, and N.J.I. Mars. Runtime and memory usage performance of description logics. In G. Ellis, R. A. Levinson, A. Fall, and V. Dahl, editors, Knowledge Retrieval, Use and Storage for Efficiency: Proc. of the 1st Int. KRUSE Symposium, pages 13\u201327, 1995"},{"key":"10.1016\/S1574-6526(07)03003-9_bib155","series-title":"Proc. of the 5th Annual ACM Symposium on Theory of Computing (STOC'73)","first-page":"1","article-title":"Word problems requiring exponential time (preliminary report)","author":"Stockmeyer","year":"1973"},{"key":"10.1016\/S1574-6526(07)03003-9_bib156","unstructured":"Semantic web for earth and environmental terminology (SWEET). Jet Propulsion Laboratory, California Institute of Technology, 2006. http:\/\/sweet.jpl.nasa.gov\/"},{"key":"10.1016\/S1574-6526(07)03003-9_bib157","unstructured":"S. Tessaris. Questions and answers: reasoning and querying in description logic. PhD thesis, University of Manchester, Department of Computer Science, April 2001"},{"key":"10.1016\/S1574-6526(07)03003-9_bib158","series-title":"Handbook of Theoretical Computer Science, vol. B","first-page":"133","article-title":"Automata on infinite objects","author":"Thomas","year":"1990"},{"key":"10.1016\/S1574-6526(07)03003-9_bib159","unstructured":"S. Tobies. Complexity results and practical algorithms for logics in knowledge representation. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany, 2001"},{"key":"10.1016\/S1574-6526(07)03003-9_bib160","series-title":"Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006)","first-page":"292","article-title":"FaCT++ description logic reasoner: System description","volume":"vol. 4130","author":"Tsarkov","year":"2006"},{"key":"10.1016\/S1574-6526(07)03003-9_bib161","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0022-0000(86)90026-7","article-title":"Automata-theoretic techniques for modal logics of programs","volume":"32","author":"Vardi","year":"1986","journal-title":"J. of Computer and System Sciences"},{"issue":"1","key":"10.1016\/S1574-6526(07)03003-9_bib162","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.1994.1092","article-title":"Reasoning about infinite computations","volume":"115","author":"Vardi","year":"1994","journal-title":"Information and Computation"},{"key":"10.1016\/S1574-6526(07)03003-9_bib163","series-title":"Representation and Understanding: Studies in Cognitive Science","first-page":"35","article-title":"What's in a link: Foundations for semantic networks","author":"Woods","year":"1975"}],"container-title":["Foundations of Artificial Intelligence","Handbook of Knowledge Representation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652607030039?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652607030039?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:54:57Z","timestamp":1761620097000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574652607030039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9780444522115"],"references-count":162,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(07)03003-9","relation":{},"ISSN":["1574-6526"],"issn-type":[{"value":"1574-6526","type":"print"}],"subject":[],"published":{"date-parts":[[2008]]}}}