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. © 2013 Springer-Verlag.
CITATION STYLE
Binnewies, S., Wang, Y., Stantic, B., & Wang, K. (2013). Rule revision in normal DL logic programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7994 LNCS, pp. 204–209). https://doi.org/10.1007/978-3-642-39666-3_16
Mendeley helps you to discover research relevant for your work.