A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Belief Base Revision for Datalog+/- Ontologies
[chapter]
2014
Lecture Notes in Computer Science
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.
doi:10.1007/978-3-319-06826-8_14
fatcat:ayqivf5zwfbnncbnudyj4ocjsi