Verification of Inconsistency-Aware Knowledge and Action Bases - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Verification of Inconsistency-Aware Knowledge and Action Bases

Diego Calvanese
  • Fonction : Auteur
  • PersonId : 882928
Evgeny Kharlamov
  • Fonction : Auteur
  • PersonId : 882894
Marco Montali
  • Fonction : Auteur
  • PersonId : 940651
Ario Santoso
  • Fonction : Auteur
  • PersonId : 940652
Dmitriy Zheleznyakov
  • Fonction : Auteur
  • PersonId : 882929

Résumé

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.
Fichier principal
Vignette du fichier
calvaneseEtAl2013Inconsistency.pdf (185.76 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00817495 , version 1 (24-04-2013)

Identifiants

  • HAL Id : hal-00817495 , version 1

Citer

Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov. Verification of Inconsistency-Aware Knowledge and Action Bases. IJCAI, 2013, Bejing, China. ⟨hal-00817495⟩
134 Consultations
122 Téléchargements

Partager

Gmail Facebook X LinkedIn More