Computer Science – Artificial Intelligence
Scientific paper
2010-04-25
Theory and Practice of Logic Programming, 10(4-6), 547-564, 2010
Computer Science
Artificial Intelligence
40 pages; an extended version of the article published in Theory and Practice of Logic Programming, 10 (4-6): 547 - 564, July.
Scientific paper
10.1017/S147106841000027X
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this problem by proposing a unified semantics for hybrid knowledge bases composed of both an ontology (expressed in a fragment of first-order logic) and nonmonotonic rules. These semantics have matured over the years, but only provide solutions for the static case when knowledge does not need to evolve. In this paper we take a first step towards addressing the dynamics of hybrid knowledge bases. We focus on knowledge updates and, considering the state of the art of belief update, ontology update and rule update, we show that current solutions are only partial and difficult to combine. Then we extend the existing work on ABox updates with rules, provide a semantics for such evolving hybrid knowledge bases and study its basic properties. To the best of our knowledge, this is the first time that an update operator is proposed for hybrid knowledge bases.
Leite João
Slota Martin
No associations
LandOfFree
Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version) will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-186455