Belief Base Revision for Datalog+/- Ontologies

摘要

Datalog+/- is a family of emerging ontology languages that can be used for representing and reasoning over lightweight ontologies in Semantic Web. In this paper, we propose an approach to performing belief base revision for Datalog+/- ontologies. We define a kernel based belief revision operator for Datalog+/- and study its properties using extended postulates, as well as an algorithm to revise Datalog+/-ontologies. Finally, we give the complexity results by showing that query answering for a revised linear Datalog+/- ontology is tractable.