Updating ABoxes in DL-Lite

Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov
2010 Alberto Mendelzon Workshop on Foundations of Data Management  
We study the problem of instance level (ABox) updates for Knowledge Bases (KBs) represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of OWL 2, the recently proposed revision of the Web Ontology Language. We examine known works on updates that follow the model-based approach and discuss their drawbacks. Specifically, the fact that model-based approaches intrinsically ignore the structural properties of KBs, leads to
more » ... properties of updates computed according to such semantics. Hence, we propose two novel formula-based approaches, and for each of them we develop a polynomial time algorithm to compute ABox updates for the Description Logic DL-LiteFR.
dblp:conf/amw/CalvaneseKNZ10 fatcat:bsohs2se5ja4zas7lwhesjgj2m