Reasoning with Expressive Description Logics: Theory and Practice

Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ones, and by an emphasis on the provision of sound, complete and (empirically) tractable reasoning services. They have a wide range of applications, but their use as ontology languages has been highlighted by the recent explosion of interest in the “Semantic Web”, where ontologies are set to play a key role. DAML+OIL is a description logic based ontology language specifically designed for use on the web. The logical basis of the language means that reasoning services can be provided, both to support ontology design and to make DAML+OIL described web resources more accessible to automated processes.

[1]  Ian Horrocks,et al.  Reasoning with Axioms: Theory and Practice , 2000, KR.

[2]  Fausto Giunchiglia,et al.  A SAT-based Decision Procedure for ALC , 1996, KR.

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

[4]  Ian Horrocks,et al.  How to Decide Query Containment Under Constraints Using a Description Logic , 2000, LPAR.

[5]  Franz Oppacher,et al.  HARP: A tableau-based theorem prover , 1988, Journal of Automated Reasoning.

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

[7]  Ian Horrocks,et al.  The Semantic Web: The Roles of XML and RDF , 2000, IEEE Internet Comput..

[8]  Deborah L. McGuinness,et al.  The Chimaera Ontology Environment , 2000, AAAI/IAAI.

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

[10]  Jon R. Wright,et al.  An Industrial-Strength Description-Logics-Based Configurator Platform , 1998, IEEE Intell. Syst..

[11]  Volker Haarslev,et al.  High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study , 2000, IJCAI.

[12]  Enrico Franconi,et al.  The i.com tool for Intelligent Conceptual Modeling , 2000, KRDB.

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

[14]  Frank van Harmelen,et al.  Reviewing the design of DAML+OIL: an ontology language for the semantic web , 2002, AAAI/IAAI.

[15]  Ian Horrocks,et al.  Optimising Tableaux Decision Procedures For Description Logics , 1997 .

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

[17]  Anni-Yasmin Turhan,et al.  Using Non-standard Inferen es in Des ription Logi s | what does it buy me ? , 2001 .

[18]  Diego Calvanese,et al.  Information integration: conceptual modeling and reasoning support , 1998, Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122).

[19]  Deborah L. McGuinness.  Ontologies for Electronic Commerce , 2003 .

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

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

[22]  W. Nutt,et al.  Subsumption algorithms for concept languages , 1990 .

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

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

[25]  Ian Horrocks,et al.  Comparing Subsumption Optimizations , 1998, Description Logics.

[26]  Peter F. Patel-Schneider,et al.  DLP System Description , 1998, Description Logics.

[27]  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 .

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

[29]  James A. Hendler,et al.  The semantic Web and its languages , 2000 .

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

[31]  P. E. van der Vet,et al.  Runtime and memory usage performance of description logics , 1995 .

[32]  Ralf Küsters.  Non-Standard Inferences in Description Logics , 2001, Lecture Notes in Computer Science.

[33]  Ian Horrocks,et al.  Ontology Reasoning in the SHOQ(D) Description Logic , 2001, IJCAI.

[34]  Peter F. Patel-Schneider,et al.  A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic , 1993, J. Artif. Intell. Res..

[35]  James A. Hendler.  Probing the Pachyderm: A Plea for Proaction , 2000, IEEE Intell. Syst..

[36]  Ian Horrocks,et al.  A Conjunctive Query Language for Description Logic Aboxes , 2000, AAAI/IAAI.

[37]  Ian Horrocks,et al.  OIL in a Nutshell , 2000, EKAW.

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

[39]  Ian Horrocks,et al.  OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..

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

[41]  Marie-Christine Rousset,et al.  Backward Reasoning in Aboxes for Query Answering , 1999, KRDB.

[42]  A. B. Baker.  Intelligent backtracking on constraint satisfaction problems: experimental and theoretical results , 1995 .

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

[44]  Diego Calvanese,et al.  Answering Queries Using Views in Description Logics , 1999, KRDB.

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

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

[47]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[48]  Tim Berners-Lee,et al.  Weaving The Web: The Original Design And Ultimate Destiny of the World Wide Web , 1999 .

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

[50]  Ian Horrocks,et al.  Optimizing Description Logic Subsumption , 1999, J. Log. Comput..

[51]  Ian Horrocks.  The FaCT System , 1998, TABLEAUX.

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