One Axiomatic System for the Ontology Revision

An ontology consists of concepts and the subsumption relation between these concepts, and is assumed to be a tree under the subsumption relation. In the process of building and maintaining ontologies, new statements which may contradict with exiting statements are added to the ontologies constantly. The ontology revision is necessary to accommodate new statements. In terms of the method of the axiomatization, one axiom system for the ontology revision, called the Z axiom system, is given, which is proved to satisfy the principles of the success, consistency and minimal change. Unlike the belief revision which is monotonic, the ontology revision may not be monotonic, and not only extracts some statements contradictory with a revising statement, extracts statements which are not contradictory with the revising statement, but also adds new statements to keep the tree structure of the revised ontology and satisfy the minimal change. One concrete ontology revision operator is proposed, which is proved to satisfy the Z axiom system.

[1]  Deborah L. McGuinness,et al.  Ontologies Come of Age , 2003, Spinning the Semantic Web.

[2]  N. Foo.  ONTOLOGY REVISION , 1995 .

[3]  Carl Bedingfield.  Review of "Spinning the semantic web: Bringing the world wide web to its full potential" edited by Dieter Fensel, James Hendler, Henry Lieberman, and Wolfgang Wahlster, The MIT press , 2003, UBIQ.

[4]  Frank van Harmelen,et al.  Ontology languages for the Semantic Web , 2005 .

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

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

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

[8]  Didier Dubois,et al.  Introduction: Revising, Updating and Combining Knowledge , 1998 .

[9]  Judea Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[10]  Sven Ove Hansson,et al.  Revision of Belief Sets and Belief Bases , 1998 .

[11]  Charles B. Cross,et al.  Nonmonotonic inconsistency , 2003, Artif. Intell..

[12]  Odile Papini.  Iterated Revision Operations Stemming from the History of an Agent’s Observations , 2001 .

[13]  Gobinda G. Chowdhury,et al.  Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential , 2004 .

[14]  Craig Boutilier,et al.  Revision by Conditional Beliefs , 1993, AAAI.

[15]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[16]  James A. Hendler,et al.  Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential , 2002 .

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