Knowledge Integration for Description Logics

Description logic reasoners are able to detect incoherences (such as logical inconsistency and concept unsatisfiability) in knowledge bases, but provide little support for resolving them. We propose to recast techniques for propositional inconsistency management into the description logic setting. We show that the additional structure afforded by description logic statements can be used to refine these techniques. Our focus in this paper is on the formal semantics for such techniques, although we do provide high-level decision procedures for the knowledge integration strategies discussed.

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

[2]  Alessandro Saffiotti,et al.  A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases , 1998, KR.

[3]  Sébastien Konieczny,et al.  Merging information under constraints: a qualitative framework , 2007 .

[4]  Bernhard Nebel,et al.  How Hard is it to Revise a Belief Base , 1996 .

[5]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.

[6]  L.M.M. Royakkers.  Book review: Sven Ove Hansson, A textbook of belief dynamics , 2000 .

[7]  Marco Schaerf,et al.  Relating Belief Revision and Circumscription , 1995, IJCAI.

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

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

[10]  Sven Ove Hansson,et al.  A Textbook Of Belief Dynamics , 1999 .

[11]  Frank van Harmelen,et al.  Reasoning with Inconsistent Ontologies: Framework and Prototype , 2005 .

[12]  Grigoris Antoniou,et al.  Generalizing the AGM postulates: preliminary results and applications , 2004, NMR.

[13]  Joachim Quantz,et al.  A Preference Semantics for Defaults in Terminological Logics , 1992, International Conference on Principles of Knowledge Representation and Reasoning.

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

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

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

[17]  Souhila Kaci,et al.  Weakening conflicting information for iterated revision and knowledge integration , 2001, Artificial Intelligence.

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

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

[20]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

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

[22]  Jürg Kohlas,et al.  Handbook of Defeasible Reasoning and Uncertainty Management Systems , 2000 .

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

[24]  Ralf Küsters,et al.  Extensions to Description Logics , 2003, Description Logic Handbook.