Updating ABoxes in DL-Lite

Diego Calvanese, Evgeny Kharlamov, Werner Nutt, and Dmitriy Zheleznyakov

Proc. of the 4th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2010). Volume 619 of CEUR 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 Workshop Proceedings, http://ceur-ws.org/",
}
pdf url