A Defeasible Ontology Language

We extend the description logic SHOQ(D) with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more preferred ones. Furthermore, we impose a preferred model semantics, thus effectively introducing nonmonotonicity into SHOQ(D). Since a description logic can be viewed as an ontology language, or a proper translation of one, we obtain a defeasible ontology language. Finally, we argue that such a defeasible language may be usefully applied for learning and integrating ontologies.

[1]  Franz Baader,et al.  Embedding defaults into terminological knowledge representation formalisms , 1995, Journal of Automated Reasoning.

[2]  Ian Horrocks,et al.  DAML+OIL is not Enough , 2001, SWWS.

[3]  I. Horrocks,et al.  Reasoning with Individuals for the Description Logic , 2000 .

[4]  D. Vermeir,et al.  A Logical Basis for Object Oriented Programming , 1990, JELIA.

[5]  Alexander Borgida,et al.  What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases , 2000, Description Logics.

[6]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[7]  Steffen Staab,et al.  The Ontology Inference Layer OIL , 2000 .

[8]  Ora Lassila,et al.  W3c resource description framework (rdf) model and syntax specification , 1998 .

[9]  Dirk Vermeir,et al.  Defeasible logics , 1998 .

[10]  Dov M. Gabbay,et al.  Handbook of defeasible reasoning and uncertainty management systems: Volume 4 abductive reasoning and learning , 2000 .

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

[12]  Joachim Quantz,et al.  Preferential Default Description Logics , 1993 .

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

[14]  Dov M. Gabbay,et al.  Credulous vs. Sceptical Semantics for Ordered Logic Programs , 1991, KR.

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

[16]  Thomas G. Dietterich What is machine learning? , 2020, Archives of Disease in Childhood.

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

[18]  Dov M. Gabbay,et al.  Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential contradictions , 1998 .

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

[20]  Mark A. Musen,et al.  SMART: Automated Support for Ontology Merging and Alignment , 1999 .

[21]  A. Lodder,et al.  REASON BASED LOGIC A LOGIC THAT DEALS WITH RULES AND REASONS , 1993 .

[22]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

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

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

[25]  Franz Baader,et al.  How to Prefer More Specific Defaults in Terminological Default Logic , 1993, IJCAI.

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

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

[28]  Stijn Heymans,et al.  Using preference order in ontologies , 2002, Proceedings. 13th International Workshop on Database and Expert Systems Applications.

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

[30]  Franz Baader,et al.  Tableau Algorithms for Description Logics , 2000, TABLEAUX.

[31]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[32]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[33]  Mark Ryan,et al.  Representing Defaults as Sentences with Reduced Priority , 1992, KR.