Description Logics

Description Logics (DLs) are a well-investigated family of logic-based knowledge representation formalisms, which can be used to represent the conceptual knowledge of an application domain in a structured and formally well-understood way. They are employed in various application domains, such as natural language processing, configuration, and databases, but their most notable success so far is the adoption of the DL-based language OWL as standard ontology language for the semantic web. This article concentrates on the problem of designing reasoning procedures for DLs. After a short introduction and a brief overview of the research in this area of the last 20 years, it will on the one hand present approaches for reasoning in expressive DLs, which are the foundation for reasoning in the Web ontology language OWL DL. On the other hand, it will consider tractable reasoning in the more light-weight DL $\mathcal{EL}$, which is employed in bio-medical ontologies, and which is the foundation for the OWL 2 profile OWL 2 EL.

[1]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .

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

[3]  Michael Mortimer,et al.  On languages with two variables , 1975, Math. Log. Q..

[4]  Andrea Schaerf.  Reasoning with Individuals in Concept Languages , 1993, AI*IA.

[5]  Pierre Wolper,et al.  Reasoning About Infinite Computations , 1994, Inf. Comput..

[6]  Franz Baader,et al.  CEL - A Polynomial-Time Reasoner for Life Science Ontologies , 2006, IJCAR.

[7]  Diego Calvanese,et al.  DL-Lite: Tractable Description Logics for Ontologies , 2005, AAAI.

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

[9]  Franz Baader,et al.  The Inverse Method Implements the Automata Approach for Modal Satisfiability , 2001, IJCAR.

[10]  E. Muller David,et al.  Alternating automata on infinite trees , 1987 .

[11]  Ralf Küsters,et al.  Rewriting Concepts Using Terminologies , 2000, KR.

[12]  Gert Smolka,et al.  Attributive Concept Descriptions with Unions and Complements , 1989, IWBS Report.

[13]  Maurizio Lenzerini,et al.  TBox and ABox Reasoning in Expressive Description Logics , 1996, KR.

[14]  Umberto Straccia,et al.  Fuzzy description logics with general t-norms and datatypes , 2009, Fuzzy Sets Syst..

[15]  H. Chertkow,et al.  Semantic memory , 2002, Current neurology and neuroscience reports.

[16]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[17]  Leszek Pacholski,et al.  Complexity of two-variable logic with counting , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

[18]  Boris Motik,et al.  A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes , 2006, LPAR.

[19]  Diego Calvanese,et al.  QuOnto: Querying Ontologies , 2005, AAAI.

[20]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[21]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[22]  Carsten Lutz.  NEXPTIME-Complete Description Logics with Concrete Domains , 2001, IJCAR.

[23]  G. Miller,et al.  Cognitive science. , 1981, Science.

[24]  A. Mackay.  On complexity , 2001 .

[25]  Bernhard Hollunder.  Consistency checking reduced to satisfiability of concepts in terminological systems , 2005, Annals of Mathematics and Artificial Intelligence.

[26]  Pascal Hitzler,et al.  Local Closed World Semantics: Grounded Circumscription for OWL , 2011, SEMWEB.

[27]  James A. Hendler,et al.  Swoop: A Web Ontology Editing Browser , 2006, J. Web Semant..

[28]  Bernhard Nebel,et al.  An Empirical Analysis of Terminological Representation Systems , 1992, Artif. Intell..

[29]  Aldo Gangemi,et al.  Ontology Design Patterns for Semantic Web Content , 2005, SEMWEB.

[30]  James A. Hendler,et al.  Debugging unsatisfiable classes in OWL ontologies , 2005, J. Web Semant..

[31]  Carsten Lutz,et al.  A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes , 2007, Journal of Automated Reasoning.

[32]  Manfred Schmidt-Schauß,et al.  Subsumption in KL-ONE is Undecidable , 1989, KR.

[33]  Rafael Peñaloza,et al.  Pinpointing in the Description Logic EL , 2007, Description Logics.

[34]  Ralf Küsters,et al.  Structural Subsumption Considered from an Automata-Theoretic Point of View , 1998, Description Logics.

[35]  Carsten Lutz.  Interval-based Temporal Reasoning with General TBoxes , 2001, IJCAI.

[36]  Wolfgang Thomas,et al.  Automata on Infinite Objects , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[37]  Bijan Parsia,et al.  Laconic and Precise Justifications in OWL , 2008, SEMWEB.

[38]  Pascal Hitzler,et al.  A better uncle for OWL: nominal schemas for integrating rules and ontologies , 2011, WWW.

[39]  Jeff Z. Pan,et al.  Finding Maximally Satisfiable Terminologies for the Description Logic ALC , 2006, AAAI.

[40]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[41]  Thomas Eiter,et al.  Query answering in description logics with transitive roles , 2009, IJCAI 2009.

[42]  Sebastian Rudolph,et al.  Description Logic Rules , 2010, ECAI.

[43]  Franz Baader,et al.  How Pervasive Is the Myerson-Satterthwaite Impossibility? , 2009, IJCAI.

[44]  Franz Baader,et al.  KRIS: Knowledge Representation and Inference System , 1991, SGAR.

[45]  Hector J. Levesque,et al.  Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.

[46]  Diego Calvanese,et al.  The MASTRO system for ontology-based data access , 2011, Semantic Web.

[47]  Deborah L. McGuinness,et al.  Asking Queries about Frames , 1996, KR.

[48]  Erich Grädel,et al.  Two-variable logic with counting is decidable , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

[49]  Sebastian Rudolph,et al.  Foundations of Semantic Web Technologies , 2009 .

[50]  Ian Horrocks,et al.  Consequence-Based Reasoning beyond Horn Ontologies , 2011, IJCAI.

[51]  Werner Nutt,et al.  Tractable Concept Languages , 1991, IJCAI.

[52]  M. Ashburner,et al.  Gene Ontology: tool for the unification of biology , 2000, Nature Genetics.

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

[54]  Maurizio Lenzerini,et al.  Boosting the Correspondence between Description Logics and Propositional Dynamic Logics , 1994, AAAI.

[55]  Ronald J. Brachman,et al.  What's in a Concept: Structural Foundations for Semantic Networks , 1977, Int. J. Man Mach. Stud..

[56]  Robert M. MacGregor,et al.  The Loom Knowledge Representation Language. , 1987 .

[57]  Robert Mac Gregor,et al.  THE EVOLVING TECHNOLOGY OF CLASSIFICATION-BASED KNOWLEDGE REPRESENTATION SYSTEMS , 1991 .

[58]  Boris Motik,et al.  Reconciling description logics and rules , 2010, JACM.

[59]  Carsten Lutz,et al.  The Complexity of Conjunctive Query Answering in Expressive Description Logics , 2008, IJCAR.

[60]  Volker Haarslev,et al.  Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles , 2000, KR.

[61]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[62]  Frank van Harmelen,et al.  Debugging Incoherent Terminologies , 2007, Journal of Automated Reasoning.

[63]  Bijan Parsia,et al.  Debugging OWL ontologies , 2005, WWW '05.

[64]  Bernhard Nebel,et al.  Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.

[65]  Boris Konev,et al.  Semantic Modularity and Module Extraction in Description Logics , 2008, ECAI.

[66]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[67]  Martin Hofmann.  Proof-theoretic approach to description-logic , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

[68]  Peter F. Patel-Schneider,et al.  Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.

[69]  Bernhard Hollunder,et al.  Subsumption Algorithms for Concept Description Languages , 1990, ECAI.

[70]  Boontawee Suntisrivaraporn,et al.  Polynomial time reasoning support for design and maintenance of large-scale biomedical ontologies , 2008 .

[71]  Volker Haarslev,et al.  Description Logic Systems , 2003, Description Logic Handbook.

[72]  Patrick Hayes,et al.  Rdf Model Theory W3c Working Draft @@@@@ Status of This Document , 2001 .

[73]  Ralf Küsters,et al.  Approximating most specific concepts in description logics with existential restrictions , 2002, AI Commun..

[74]  Ralf Küsters,et al.  Computing Least Common Subsumers in Description Logics with Existential Restrictions , 1999, IJCAI.

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

[76]  Ian Horrocks,et al.  OilEd: a Reason-able Ontology Editor for the Semantic Web , 2001, Description Logics.

[77]  Erich Grdel,et al.  Guarded Fragments of First-Order Logic: A Perspective for New Description Logics? , 1998 .

[78]  Stephan Tobies.  A PSpace Algorithm for Graded Modal Logic , 1999, CADE.

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

[80]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[81]  Ullrich Hustadt,et al.  Issues of Decidability for Description Logics in the Framework of Resolution , 1998, FTP.

[82]  Giuseppe De Giacomo,et al.  Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees , 1999, IJCAI.

[83]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[84]  Jon Doyle,et al.  Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services , 1991, Artif. Intell..

[85]  Jan L. Top,et al.  Engineering ontologies , 1997, Int. J. Hum. Comput. Stud..

[86]  Franz Baader,et al.  Cardinality Restrictions on Concepts , 1994, KI.

[87]  Paul Refenes,et al.  Reasoning and revision in hybrid representation systems by Bernhard Nevel, Springer-Verlag, Berlin, 1990, pp 270, DM 42 , 1991, The Knowledge Engineering Review.

[88]  Werner Nutt,et al.  On the expressivity of feature logics with negation, functional uncertainty, and sort equations , 1993, J. Log. Lang. Inf..

[89]  Ralf Molitor,et al.  Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken , 2000, Ausgezeichnete Informatikdissertationen.

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

[91]  Franz Baader.  Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles , 1991, IJCAI.

[92]  Diego Calvanese,et al.  Dwq : Esprit Long Term Research Project, No 22469 on the Decidability of Query Containment under Constraints on the Decidability of Query Containment under Constraints , 2022 .

[93]  Ian Horrocks,et al.  A Tableaux Decision Procedure for SHOIQ , 2005, IJCAI.

[94]  Heiner Stuckenschmidt,et al.  Peer-to-Peer Reasoning for Interlinked Ontologies , 2010, Int. J. Semantic Comput..

[95]  Markus Krötzsch.  Efficient Inferencing for OWL EL , 2010, JELIA.

[96]  Ralf Küsters,et al.  Approximation and Difference in Description Logics , 2002, KR.

[97]  Carsten Lutz,et al.  Description Logics with Concrete Domains-A Survey , 2002, Advances in Modal Logic.

[98]  Umberto Straccia,et al.  Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness , 2007, ECSQARU.

[99]  Ian Horrocks,et al.  Building a Reason-able Bioinformatics Ontology Using OIL , 2001, OIS@IJCAI.

[100]  Ulrike Sattler,et al.  Mary Likes all Cats , 2000, Description Logics.

[101]  Werner Nutt,et al.  An Epistemic Operator for Description Logics , 1998, Artif. Intell..

[102]  Huajun Chen,et al.  The Semantic Web , 2011, Lecture Notes in Computer Science.

[103]  Franz Baader,et al.  An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.

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

[105]  Francesco M. Donini,et al.  Exptime Tableaux for ALC , 2000, Description Logics.

[106]  Rajeev Goré,et al.  EXPTIME tableaux for ALC using sound global caching , 2007 .

[107]  Igor Walukiewicz,et al.  Automata for the Modal mu-Calculus and related Results , 1995, MFCS.

[108]  Bijan Parsia,et al.  Pellet: An OWL DL Reasoner , 2004, Description Logics.

[109]  Pascal Hitzler,et al.  OWL and Rules , 2011, Reasoning Web.

[110]  Orna Grumberg,et al.  Branching Time Temporal Logic and Amorphous Tree Automata , 1993, CONCUR.

[111]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[112]  Bijan Parsia,et al.  From Wine to Water: Optimizing Description Logic Reasoning for Nominals , 2006, KR.

[113]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[114]  Maarten de Rijke,et al.  Resolution in Modal, Description and Hybrid Logic , 2001, J. Log. Comput..

[115]  Ian Horrocks,et al.  The GRAIL concept modelling language for medical terminology , 1997, Artif. Intell. Medicine.

[116]  Ullrich Hustadt,et al.  On the Relation of Resolution and Tableaux Proof Systems for Description Logics , 1999, IJCAI.

[117]  Franz Baader,et al.  Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+ , 2008, KR-MED.

[118]  Bernhard Nebel,et al.  Hybrid Reasoning in BACK , 1988, ISMIS.

[119]  Sebastian Brandt,et al.  Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else? , 2004, ECAI.

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

[121]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[122]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[123]  Francesco M. Donini,et al.  Description logics of minimal knowledge and negation as failure , 2002, TOCL.

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

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

[126]  Francesco M. Donini,et al.  Complexity of Reasoning , 2003, Description Logic Handbook.

[127]  Frank Wolter,et al.  A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case , 2000 .

[128]  Boontawee Suntisrivaraporn.  Module Extraction and Incremental Classification: A Pragmatic Approach for Ontologies , 2008, ESWC.

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

[130]  Deborah L. McGuinness,et al.  Matching in Description Logics , 1999, J. Log. Comput..

[131]  Pascal Hitzler,et al.  Semantic Matchmaking of Web Resources with Local Closed-World Reasoning , 2007, Int. J. Electron. Commer..

[132]  Alexander Borgida,et al.  What's in an Attribute? Consequences for the Least Common Subsumer , 2001, J. Artif. Intell. Res..

[133]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[134]  J. Davenport.  Editor , 1960 .

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

[136]  Ulrike Sattler.  Description Logics for the Representation of Aggregated Objects , 2000, ECAI.

[137]  Maurizio Lenzerini,et al.  Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus , 1994, ECAI.

[138]  Ralf Küsters,et al.  Matching in Description Logics with Existential Restrictions , 1999, Description Logics.

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

[140]  Diego Calvanese,et al.  Reasoning in Expressive Description Logics , 2001, Handbook of Automated Reasoning.

[141]  David E. Muller,et al.  Alternating Automata on Infinite Trees , 1987, Theor. Comput. Sci..

[142]  Ralf Küsters,et al.  Computing Least Common Subsumers in ALEN , 2001, IJCAI.

[143]  Ian Horrocks,et al.  Keys, Nominals, and Concrete Domains , 2003, IJCAI.

[144]  Luciano Serafini,et al.  Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..

[145]  Ulrike Sattler,et al.  Terminological knowledge representation systems in a process engineering application , 1998 .

[146]  Alexander Borgida,et al.  Computing Least Common Subsumers in Description Logics , 1992, AAAI.

[147]  Ian Horrocks,et al.  Implementation and Optimization Techniques , 2003, Description Logic Handbook.

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

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

[150]  Volker Haarslev,et al.  RACE System Description , 1999, Description Logics.

[151]  Franz Baader,et al.  Pushing the EL Envelope Further , 2008, OWLED.

[152]  Ian Horrocks,et al.  Reasoning with Individuals for the Description Logic SHIQ , 2000, CADE.

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

[154]  Franz Baader,et al.  A Terminological Knowledge Representation System with Complete Inference Algorithms , 1991, PDK.

[155]  Stefan Schulz,et al.  Parts, Locations, and Holes - Formal Reasoning about Anatomical Structures , 2001, AIME.

[156]  Boris Motik,et al.  Reducing SHIQ-Description Logic to Disjunctive Datalog Programs , 2004, KR.

[157]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[158]  Franz Baader.  Description Logic Terminology , 2003, Description Logic Handbook.

[159]  Ralf Küsters,et al.  Matching under Side Conditions in Description Logics , 2001, IJCAI.

[160]  Franz Baader,et al.  Qualifying Number Restrictions in Concept Languages , 1991, KR.

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

[162]  Yevgeny Kazakov,et al.  Consequence-Driven Reasoning for Horn SHIQ Ontologies , 2009, IJCAI.

[163]  Michael Lawley,et al.  Exploiting Fast Classification of SNOMED CT for Query and Integration of Health Data , 2008, KR-MED.

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

[165]  Klaus Schild,et al.  Terminological Cycles and the Propositional µ-Calculus , 1994, KR.

[166]  José Júlio Alferes,et al.  Local closed world reasoning with description logics under the well-founded semantics , 2011, Artif. Intell..

[167]  Ian Horrocks,et al.  Experience building a Large, Re-usable Medical Ontology using a Description Logic with Transitivity and Concept Inclusions , 1997 .

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

[169]  Sebastian Rudolph,et al.  Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams , 2008, AAAI.

[170]  Ian Horrocks,et al.  On-To-Knowledge: Ontology-based Tools for Knowledge Management , 2000 .

[171]  P. Hayes.  The Logic of Frames , 1981 .

[172]  Àngel García-Cerdaña,et al.  On Fuzzy Description Logics , 2008, CCIA.

[173]  Klaus Schild,et al.  A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.

[174]  Melvin Fitting.  Tableau methods of proof for modal logics , 1972, Notre Dame J. Formal Log..

[175]  Boris Motik,et al.  A Resolution-Based Decision Procedure for SHOIQ , 2006, IJCAR.

[176]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

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

[178]  Ian Horrocks,et al.  A Logical Framework for Modularity of Ontologies , 2007, IJCAI.

[179]  Diego Calvanese,et al.  Description Logic Framework for Information Integration , 1998, KR.

[180]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.

[181]  Ronald J. Brachman,et al.  What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks , 1983, Computer.

[182]  Franz Baader,et al.  From Tableaux to Automata for Description Logics , 2003, Fundam. Informaticae.

[183]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

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

[185]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[186]  Umberto Straccia,et al.  Reasoning within Fuzzy Description Logics , 2011, J. Artif. Intell. Res..

[187]  Franz Baader,et al.  A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.

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

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

[190]  David L. Robertson,et al.  Uncertainty Reasoning for the Semantic Web I , 2008 .

[191]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

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

[193]  Ian Horrocks,et al.  Using Vampire to Reason with OWL , 2004, SEMWEB.

[194]  Carsten Lutz,et al.  NEXP TIME-complete description logics with concrete domains , 2004, TOCL.

[195]  Ralf Küsters,et al.  Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions , 1998, KI.

[196]  Yevgeny Kazakov,et al.  Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete , 2003, Description Logics.

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

[198]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[199]  William A. Woods,et al.  What's in a Link: Foundations for Semantic Networks , 1975 .

[200]  U. Hustadt,et al.  A Survey of Decidable First-Order Fragments and Description Logics , 2004 .

[201]  Alex Borgiday.  On the Relative Expressiveness of Description Logics and Predicate Logics , 1996 .

[202]  Stephan Tobies,et al.  Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.

[203]  Sebastian Rudolph,et al.  Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog , 2008, SEMWEB.

[204]  Ralf Küsters,et al.  Matching Concept Descriptions with Existential Restrictions , 2000, KR.

[205]  Carsten Lutz,et al.  Complexity of Terminological Reasoning Revisited , 1999, LPAR.

[206]  Ian Horrocks,et al.  OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..

[207]  Daniele Nardi,et al.  An Introduction to Description Logics , 2003, Description Logic Handbook.

[208]  Werner Nutt,et al.  Basic Description Logics , 2003, Description Logic Handbook.

[209]  Ian Horrocks,et al.  Reasoning in the SHOQ(Dn) Description Logic , 2002, Description Logics.

[210]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[211]  Rafael Peñaloza,et al.  Axiom Pinpointing in General Tableaux , 2007, TABLEAUX.

[212]  Franz Baader,et al.  Extensions of Concept Languages for a Mechanical Engineering Application , 1992, GWAI.

[213]  Sergio Tessaris,et al.  Implementing and Testing Expressive Description Logics: a Preliminary Report , 1995 .

[214]  Paliath Narendran,et al.  Unification of Concept Terms in Description Logics , 2001, Description Logics.

[215]  Giuseppe De Giacomo.  Decidability of Class Based Knowledge Representation Formalisms , 2009 .

[216]  Kent A. Spackman,et al.  SNOMED RT: a reference terminology for health care , 1997, AMIA.

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

[218]  Markus Krötzsch,et al.  Concurrent Classification of EL Ontologies , 2011, International Semantic Web Conference.