Base Revision in Description Logics-Preliminary Results

Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. The theory has been developed having in mind classical logics. In this paper, we show some problems of applying belief revision methods directly to ontologies represented in description logics and propose new operations that overcome these problems.

[1]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[2]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[3]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[4]  Bernhard Nebel,et al.  A Knowledge Level Analysis of Belief Revision , 1989, KR.

[5]  André Fuhrmann,et al.  Theory contraction through base contraction , 1991, J. Philos. Log..

[6]  S. Hansson.  Belief base dynamics , 1991 .

[7]  SVEN OVE HANSSON,et al.  Reversing the Levi identity , 1993, J. Philos. Log..

[8]  Sven Ove Hansson.  Kernel Contraction , 1994, J. Symb. Log..

[9]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

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

[11]  Renata Wassermann.  An Algorithm for Belief Revision , 2000, KR.

[12]  Sven Ove Hansson,et al.  Local Change , 2002, Stud Logica.

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

[14]  Frank van Harmelen,et al.  A Framework for Handling Inconsistency in Changing Ontologies , 2005, SEMWEB.

[15]  Grigoris Antoniou,et al.  On Applying the AGM Theory to DLs and OWL , 2005, SEMWEB.

[16]  Grigoris Antoniou,et al.  On Generalizing the AGM Postulates , 2006, STAIRS.

[17]  Jeff Z. Pan,et al.  Inconsistencies, Negations and Changes in Ontologies , 2006, AAAI.

[18]  Renata Wassermann,et al.  First Steps Towards Revising Ontologies , 2006, WONTO.

[19]  Yarden Katz,et al.  Belief Base Revision for Expressive Description Logics , 2006, OWLED.

[20]  G. Flouris,et al.  On belief change and ontology evolution , 2006 .