Proc. of the 26th Int. Workshop on Description Logics (DL 2013). 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 2013)", pages = "107--119", volume = "1014", publisher = "CEUR-WS.org", series = "CEUR Workshop Proceedings, https://ceur-ws.org/", }pdf url