Verification of Inconsistency-Aware Knowledge and Action Bases

Abstract : Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mech- anism that provides a semantically rich represen- tation of the information on the domain of inter- est in terms of a DL KB and a set of actions to change such information over time, possibly intro- ducing new objects. In this setting, decidability of verification of sophisticated temporal properties over KABs, expressed in a variant of first-order μ- calculus, has been shown. However, the established framework treats inconsistency in a simplistic way, by rejecting inconsistent states produced through action execution. We address this problem by showing how inconsistency handling based on the notion of repairs can be integrated into KABs, resorting to inconsistency-tolerant semantics. In this setting, we establish decidability and complexity of verification.
Type de document :
Communication dans un congrès
IJCAI, 2013, Bejing, China. 2013
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00817495
Contributeur : Émilien Antoine <>
Soumis le : mercredi 24 avril 2013 - 17:04:32
Dernière modification le : mercredi 24 avril 2013 - 18:23:38
Document(s) archivé(s) le : jeudi 25 juillet 2013 - 04:13:13

Fichier

calvaneseEtAl2013Inconsistency...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00817495, version 1

Collections

Citation

Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov. Verification of Inconsistency-Aware Knowledge and Action Bases. IJCAI, 2013, Bejing, China. 2013. 〈hal-00817495〉

Partager

Métriques

Consultations de
la notice

190

Téléchargements du document

153