First Steps Towards Revising Ontologies

When modeling an ontology, one very often wants to add new information and keep the resulting ontology consistent. Belief Revision deals with the problem of consistently adding new formulas to a knowledge base. In this paper, we present some steps towards applying belief revision methods to ontologies based on description logics. We depart from the well known AGM-paradigm and show how it can be adapted in order to be applied to description logics.

[1]  Carlos E. Alchourrón,et al.  Hierarchies of Regulations and their Logic , 1981 .

[2]  E. Fermé.  Five Faces of Recovery , 2001 .

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

[4]  Sven Ove Hansson,et al.  New operators for theory change , 2008 .

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

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

[7]  André Fuhrmann.  An Essay on Contraction , 1996 .

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

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

[10]  Peter Gärdenfors,et al.  Knowledge in Flux: Modeling the Dynamics of Epistemic States , 2008 .

[11]  David Makinson,et al.  On the status of the postulate of recovery in the logic of theory change , 1987, J. Philos. Log..

[12]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

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

[14]  Frank van Harmelen,et al.  Reasoning with Inconsistent Ontologies , 2005, IJCAI.

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

[16]  Hans Rott,et al.  Change, choice and inference - a study of belief revision and nonmonotonic reasoning , 2001, Oxford logic guides.

[17]  Sven Ove Hansson,et al.  A survey of multiple contraction , 1994 .

[18]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[19]  Sven Ove Hansson,et al.  Review of Hans Rott, Change, choice and inference : A study of belief revision and nonmonotonic reasoning , 2004 .

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

[21]  David Makinson,et al.  On the logic of theory change: Contraction functions and their associated revision functions , 2008 .

[22]  Giorgos Flouris.  On belief change in ontology evolution: Thesis , 2006 .

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

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