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.
Type de document :
Communication dans un congrès
Alberto Mendelzon International Workshop on Foundations of Data Management (AMW), May 2011, Santiago, Chile. 2011
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00591918
Contributeur : Evgeny Kharlamov <>
Soumis le : mardi 10 mai 2011 - 14:53:55
Dernière modification le : lundi 11 décembre 2017 - 10:04:08
Document(s) archivé(s) le : vendredi 9 novembre 2012 - 11:01:53

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00591918, version 1

Collections

Citation

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. 2011. 〈inria-00591918〉

Partager

Métriques

Consultations de la notice

84

Téléchargements de fichiers

92