An Introduction to Description Logic

This introduction presents the main motivations for the development of Description Logics (DLs) as a formalism for representing knowledge, as well as some important basic notions underlying all systems that have been created in the DL tradition. In addition, we provide the reader with an overview of the entire book and some guidelines for reading it.We first address the relationship between Description Logics and earlier semantic network and frame systems, which represent the original heritage of the field. We delve into some of the key problems encountered with the older efforts. Subsequently, we introduce the basic features of DL languages and related reasoning techniques.DL languages are then viewed as the core of knowledge representation systems. considering both the structure of a DL knowledge base and its associated reasoning services. The development of some implemented knowledge representation systems based on Description Logics and the first applications built with such systems are then reviewed.Finally, we address the relationship of Description Logics to other fields of Computer Science. We also discuss some extensions of the basic representation language machinery; these include features proposed for incorporation in the formalism that originally arose in implemented systems, and features proposed to cope with the needs of certain application domains.

[1]  R. Smullyan.  First-Order Logic , 1968 .

[2]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

[3]  Richard E. Ladner,et al.  The Computational Complexity of Provability in Systems of Modal Propositional Logic , 1977, SIAM J. Comput..

[4]  Thomas J. Schaefer,et al.  On the Complexity of Some Two-Person Perfect-Information Games , 1978, J. Comput. Syst. Sci..

[5]  A. K. Chandra,et al.  Provably Difficult Combinatorial Games , 1979, SIAM J. Comput..

[6]  Richard E. Ladner,et al.  Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..

[7]  Bernhard Nebel,et al.  Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..

[8]  Peter F. Patel-Schneider,et al.  Undecidability of Subsumption in NIKL , 1989, Artif. Intell..

[9]  Premkumar T. Devanbu,et al.  LaSSIE—a knowledge-based software information system , 1991, ICSE '90.

[10]  Peter F. Patel-Schneider,et al.  The CLASSIC knowledge representation system: guiding principles and implementation rationale , 1991, SGAR.

[11]  Robert M. MacGregor,et al.  Inside the LOOM description classifier , 1991, SGAR.

[12]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[13]  Christof Peltason.  The BACK system—an overview , 1991, SGAR.

[14]  Eric Mays,et al.  K-Rep system overview , 1991, SGAR.

[15]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[16]  F. Lehmann,et al.  Semantic Networks in Artificial Intelligence , 1992 .

[17]  Bernhard Nebel,et al.  An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.

[18]  Werner Nutt,et al.  The Complexity of Existential Quantification in Concept Languages , 1992, Artif. Intell..

[19]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[20]  Wilfrid Hodges,et al.  Model Theory: The existential case , 1993 .

[21]  Francesco M. Donini,et al.  Decidable Reasoning in Terminological Knowledge Representation Systems , 1993, IJCAI.

[22]  Francesco M. Donini,et al.  Deduction in Concept Languages: From Subsumption to Instance Checking , 1994, J. Log. Comput..

[23]  Michael Sipser,et al.  Introduction to the Theory of Computation , 1996, SIGA.

[24]  Alexander Borgida,et al.  On the Relative Expressiveness of Description Logics and Predicate Logics , 1996, Artif. Intell..

[25]  Klaus Schild.  Querying knowledge and data bases by a universal description logic with recursion , 1996 .

[26]  Phokion G. Kolaitis,et al.  On the Decision Problem for Two-Variable First-Order Logic , 1997, Bulletin of Symbolic Logic.

[27]  Diego Calvanese,et al.  Logics for Databases and Infor-mation Systems , 1998 .

[28]  Werner Nutt,et al.  A Refined Architecture for Terminological Systems: Terminology = Schema + Views , 1998, Artif. Intell..

[29]  Alon Y. Halevy,et al.  Verification of Knowledge Bases Based on Containment Checking , 1998, Artif. Intell..

[30]  Johan van Benthem,et al.  Modal Languages and Bounded Fragments of Predicate Logic , 1998, J. Philos. Log..

[31]  Deborah L. McGuinness,et al.  Conceptual modelling for configuration: A description logic-based approach , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[32]  Ian Horrocks,et al.  A Description Logic with Transitive and Inverse Roles and Role Hierarchies , 1999, J. Log. Comput..

[33]  M. de Rijke,et al.  Expressiveness of Concept Expressions in First-Order Description Logics , 1999, Artif. Intell..

[34]  Diego Calvanese,et al.  Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support , 1999, Netw. Inf. Syst. J..

[35]  Erich Grädel,et al.  On the Restraining Power of Guards , 1999, Journal of Symbolic Logic.

[36]  Diego Calvanese,et al.  Modeling and Querying Semi-Structured data , 1999, Netw. Inf. Syst. J..

[37]  M. de Rijke,et al.  A Note on Graded Modal Logic , 1996, Stud Logica.

[38]  Giuseppe De Giacomo,et al.  Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL , 2000, Inf. Comput..

[39]  Carlos Areces,et al.  Logic Engineering. The Case of Description and Hybrid Logics , 2000 .

[40]  Ian Horrocks,et al.  Practical Reasoning for Very Expressive Description Logics , 2000, Log. J. IGPL.

[41]  Leszek Pacholski,et al.  Complexity Results for First-Order Two-Variable Logic with Counting , 2000, SIAM J. Comput..

[42]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 2001, CSUR.

[43]  Alon Y. Halevy,et al.  Answering queries using views: A survey , 2001, The VLDB Journal.

[44]  Carsten Lutz,et al.  The complexity of description logics with concrete domains , 2002 .

[45]  Ian Horrocks,et al.  Decidability of SHIQ with Complex Role Inclusion Axioms , 2003, IJCAI.

[46]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[47]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[48]  Frehiwot Fisseha,et al.  Reengineering Thesauri for New Applications: The AGROVOC Example , 2006, J. Digit. Inf..

[49]  Leonid Libkin,et al.  Elements of Finite Model Theory , 2004, Texts in Theoretical Computer Science.

[50]  Francesco M. Donini,et al.  AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.

[51]  Franz Baader,et al.  Using automata theory for characterizing the semantics of terminological cycles , 1996, Annals of Mathematics and Artificial Intelligence.

[52]  Diego Calvanese,et al.  Data Complexity of Query Answering in Description Logics , 2006, Description Logics.

[53]  Christine Golbreich,et al.  The Foundational Model of Anatomy in OWL: Experience and Perspectives , 2006, OWLED.

[54]  W Ceusters,et al.  A Terminological and Ontological Analysis of the NCI Thesaurus , 2005, Methods of Information in Medicine.

[55]  Jennifer Golbeck,et al.  Modeling a description logic vocabulary for cancer research , 2005, J. Biomed. Informatics.

[56]  Robert G. Raskin,et al.  Knowledge representation in the semantic web for Earth and environmental terminology (SWEET) , 2005, Comput. Geosci..

[57]  Ian Horrocks,et al.  Conjunctive Query Answering for the Description Logic SHIQ , 2007, IJCAI.

[58]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[59]  Boris Motik,et al.  Reasoning in Description Logics by a Reduction to Disjunctive Datalog , 2007, Journal of Automated Reasoning.

[60]  Ian Horrocks,et al.  Optimizing Terminological Reasoning for Expressive Description Logics , 2007, Journal of Automated Reasoning.

[61]  Ian Horrocks,et al.  Ontologies and the semantic web , 2008, CACM.

[62]  Umberto Straccia,et al.  Managing uncertainty and vagueness in description logics for the Semantic Web , 2008, J. Web Semant..

[63]  Diego Calvanese,et al.  Conjunctive query containment and answering under description logic constraints , 2008, TOCL.

[64]  Diego Calvanese,et al.  Data Complexity of Query Answering in Expressive Description Logics via Tableaux , 2008, Journal of Automated Reasoning.

[65]  Ian Horrocks,et al.  Modular Reuse of Ontologies: Theory and Practice , 2008, J. Artif. Intell. Res..

[66]  Andrea Calì,et al.  Taming the Infinite Chase: Query Answering under Expressive Relational Constraints , 2008, Description Logics.

[67]  Diego Calvanese,et al.  The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..

[68]  Sanjeev Arora,et al.  Computational Complexity: A Modern Approach , 2009 .

[69]  Ian Pratt-Hartmann,et al.  Complexity of the Two-Variable Fragment with Counting Quantifiers , 2005, J. Log. Lang. Inf..

[70]  Franz Baader,et al.  SNOMED reaching its adolescence: Ontologists' and logicians' health check , 2009, Int. J. Medical Informatics.

[71]  Boris Motik,et al.  Hypertableau Reasoning for Description Logics , 2009, J. Artif. Intell. Res..

[72]  Andrea Calì,et al.  A general Datalog-based framework for tractable query answering over ontologies , 2012, J. Web Semant..

[73]  Boris Motik,et al.  Tractable query answering and rewriting under description logic constraints , 2010, J. Appl. Log..

[74]  Barry Bishop,et al.  OWLIM: A family of scalable semantic repositories , 2011, Semantic Web.

[75]  Peter N. Robinson,et al.  Introduction to Bio-Ontologies , 2011 .

[76]  Jean-François Baget,et al.  On rules with existential variables: Walking the decidability line , 2011, Artif. Intell..

[77]  Ian Horrocks,et al.  Supporting concurrent ontology development: Framework, algorithms and tool , 2011, Data Knowl. Eng..

[78]  Rajeev Goré,et al.  ExpTime Tableaux for Using Sound Global Caching , 2013, Journal of Automated Reasoning.

[79]  Alan Ruttenberg,et al.  A strategy for building neuroanatomy ontologies , 2012, Bioinform..

[80]  Boris Motik,et al.  A novel approach to ontology classification , 2012, J. Web Semant..

[81]  Giorgos Stoilos,et al.  Optimising Resolution-Based Rewriting Algorithms for DL Ontologies , 2013, Description Logics.

[82]  Michel Dumontier,et al.  Towards quantitative measures in applied ontology , 2012, ArXiv.

[83]  Maurizio Lenzerini,et al.  MASTRO STUDIO: Managing Ontology-Based Data Access applications , 2013, Proc. VLDB Endow..

[84]  Ontology-Based Data Access , 2014, ACM Trans. Database Syst..

[85]  Thomas Schwentick,et al.  The price of query rewriting in ontology-based data access , 2014, Artif. Intell..

[86]  Boris Motik,et al.  HermiT: An OWL 2 Reasoner , 2014, Journal of Automated Reasoning.

[87]  Birte Glimm,et al.  Konclude: System description , 2014, J. Web Semant..

[88]  Giorgio Stefanoni,et al.  Evaluating conjunctive and graph queries over the EL profile of OWL 2 , 2015 .