Updating TBoxes in DL-Lite

Proc. of the 23rd Int. Workshop on Description Logics (DL 2010). Volume 573 of CEUR Workshop Proceedings, https://ceur-ws.org/. 2010.

We study the problem of updates for TBoxes 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. In this paper, we address for the first time the problem of updating TBoxes. We propose some principles that TBox updates should respect. We review known model- and formula-based approaches for updates of logical theories, and exhibit limitations of model-based approaches to handle TBox updates. We propose a novel formula-based approach, and present a polynomial time algorithm to compute TBox updates for DL-LiteFR . We also study the relationship between propositional logic satisfiability for Horn clauses and computation of TBox updates for DL-Lite.

@inproceedings{DL-2010-update,
   title = "Updating TBoxes in DL-Lite",
   year = "2010",
   author = "Dmitriy Zheleznyakov and Diego Calvanese and Evgeny
Kharlamov and Werner Nutt",
   booktitle = "Proc. of the 23rd Int. Workshop on Description Logics
(DL 2010)",
   pages = "102--113",
   volume = "573",
   publisher = "CEUR-WS.org",
   series = "CEUR Workshop Proceedings, https://ceur-ws.org/",
}