Understanding Inexpressibility of Model-Based ABox Evolution in DL-Lite - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

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

Evgeny Kharlamov
  • Function : Author
  • PersonId : 882894
Dmitriy Zheleznyakov
  • Function : Author
  • PersonId : 882929


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.
Fichier principal
Vignette du fichier
main.pdf (214.65 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00591918 , version 1 (10-05-2011)


  • 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⟩
44 View
53 Download


Gmail Facebook X LinkedIn More