Rule Revision in Normal DL Logic Programs

Although several proposals to combine description logics with logic programming rules have been brought forward, hardly any of these approaches capture the dynamic nature of the Semantic Web. In this paper, we look at an expressive combination formalism, normal DL logic programs, and address changes to the rule component from the viewpoint of belief revision. To deal with inconsistency caused in revising normal DL logic programs, we first introduce a three-valued answer set semantics and present some useful properties. We then develop a revision operator for normal DL logic programs and show that our revision satisfies major postulates for logic program revision.

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

[2]  Pascal Hitzler,et al.  Ontologies and Rules , 2009, Handbook on Ontologies.

[3]  Melvin Fitting,et al.  A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..

[4]  Kewen Wang,et al.  Extending Logic Programs with Description Logic Expressions for the Semantic Web , 2011, SEMWEB.

[5]  Lora Aroyo,et al.  The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I , 2011, SEMWEB.

[6]  James P. Delgrande.  A program-level approach to revising logic programs under the answer set semantics , 2010, Theory Pract. Log. Program..

[7]  Riccardo Rosati,et al.  DL+log: Tight Integration of Description Logics and Disjunctive Datalog , 2006, KR.

[8]  Thomas Lukasiewicz,et al.  Hybrid Reasoning with Rules and Ontologies , 2009, REWERSE.

[9]  David Pearce,et al.  Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..

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

[11]  François Bry,et al.  Semantic Techniques for the Web, The REWERSE Perspective , 2009, REWERSE.

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

[13]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[14]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[15]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.