Verification of Inconsistency-Aware Knowledge and Action Bases

Proc. of the 26th Int. Workshop on Description Logics (DL). Volume 1014 of CEUR Workshop Proceedings, https://ceur-ws.org/. 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.

@inproceedings{DL-2013-kab-repair,
   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)",
   pages = "107--119",
   volume = "1014",
   publisher = "CEUR-WS.org",
   series = "CEUR Workshop Proceedings, https://ceur-ws.org/",
}