Rule revision in normal DL logic programs

Authors:
Sebastian Binnewies;Yisong Wang;Bela Stantic;Kewen Wang
Affiliations:
School of Information and Communication Technology, Griffith University, QLD, Australia;School of Information and Communication Technology, Griffith University, QLD, Australia;School of Information and Communication Technology, Griffith University, QLD, Australia;School of Information and Communication Technology, Griffith University, QLD, Australia
Venue:
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Year:
2013

Citing 7
Cited 0

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Strongly equivalent logic programs

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
The Description Logic Handbook

The Description Logic Handbook
Combining answer set programming with description logics for the Semantic Web

Artificial Intelligence
Hybrid reasoning with rules and ontologies

Semantic techniques for the web
A program-level approach to revising logic programs under the answer set semantics

Theory and Practice of Logic Programming
Extending logic programs with description logic expressions for the semantic web

ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.