Skip to Main content Skip to Navigation
Conference papers

Understanding Inexpressibility of Model-Based ABox Evolution in DL-Lite

Abstract : Evolution of Knowledge Bases (KBs) expressed in Description Logics (DLs) proved its importance. Recent studies of evolution in DLs mostly focussed on model-based approaches. They showed that evolution of KBs in tractable DLs, such as DL-Lite, suffers from inexpressibility, i.e., the result of evolution cannot be captured in DL-Lite. What is missing in these studies is understanding: in which DL-Lite fragments evolution can be captured, what causes the inexpressibility, which logics is sufficient to express evolution, and whether one can approximate it in DL-Lite. This paper provides some understanding of these issues for both update and revision. We found what DL-Lite formulas make evolution inexpressible and how to capture evolution in their absence. We introduce the notion of prototypes that gives an understanding of how to capture evolution for a rich DL-Lite fragment in FO[2]. Decidability of FO[2] gives possibility for approximations.
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Evgeny Kharlamov Connect in order to contact the contributor
Submitted on : Tuesday, May 10, 2011 - 2:53:55 PM
Last modification on : Monday, December 11, 2017 - 10:04:08 AM
Long-term archiving on: : Friday, November 9, 2012 - 11:01:53 AM


Files produced by the author(s)


  • HAL Id : inria-00591918, version 1



Evgeny Kharlamov, Dmitriy Zheleznyakov. Understanding Inexpressibility of Model-Based ABox Evolution in DL-Lite. Alberto Mendelzon International Workshop on Foundations of Data Management (AMW), May 2011, Santiago, Chile. ⟨inria-00591918⟩



Record views


Files downloads