Updating ABoxes in DL-Lite

Proc. of the 4th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2010). Volume 619 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/. 2010.

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 undesired 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 .

@inproceedings{AMW-2010,
   title = "Updating ABoxes in DL-Lite",
   year = "2010",
   author = "Diego Calvanese and Evgeny Kharlamov and Werner Nutt and
Dmitriy Zheleznyakov",
   booktitle = "Proc. of the 4th Alberto Mendelzon Int. Workshop on
Foundations of Data Management (AMW 2010)",
   pages = "3.1-3.12",
   volume = "619",
   series = "CEUR Electronic Workshop Proceedings, http://ceur-ws.org/",
}