Verification of Inconsistency-Aware Knowledge and Action Bases

Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, and Dmitriy Zheleznyakov

Proc. of the 26th Int. Workshop on Description Logics (DL 2013). Volume 1014 of CEUR Workshop Proceedings, 2013.

Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism to evolve a DL KB over time by means of actions that may acquire new information from the external environment. Decidability of verification in KABs has been studied for properties expressed in first-order variants of #-calculus, under a natural assumption of "run-boundedness". However, the established framework treats inconsistency in a simplistic way, by rejecting inconsistent states produced through action execution. We overcome this limitation by adopting in the application of actions inconsistency-aware semantics based on the notion of repair. We establish decidability and complexity of verification in this extended framework.

   title = "Verification of Inconsistency-Aware Knowledge and Action Bases",
   year = "2013",
   author = "Diego Calvanese and Evgeny Kharlamov and Marco Montali and
Ario Santoso and Dmitriy Zheleznyakov",
   booktitle = "Proc. of the 26th Int. Workshop on Description Logics
(DL 2013)",
   pages = "107--119",
   volume = "1014",
   series = "CEUR Workshop Proceedings,",
pdf url