{"type":"ScholarlyArticle","title":"Verification of Inconsistency-Aware Knowledge and Action Bases","authors":[{"name":"Diego Calvanese","slug":"diego-calvanese","given":"Diego","family":"Calvanese","affiliation":""},{"name":"Evgeny Kharlamov","slug":"evgeny-kharlamov","given":"Evgeny","family":"Kharlamov","affiliation":""},{"name":"Marco Montali","slug":"marco-montali","given":"Marco","family":"Montali","affiliation":""},{"name":"Ario Santoso","slug":"ario-santoso","given":"Ario","family":"Santoso","affiliation":""},{"name":"Dmitriy Zheleznyakov","slug":"dmitriy-zheleznyakov","given":"Dmitriy","family":"Zheleznyakov","affiliation":""}],"abstract":"Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions to change such information over time, possibly introducing new objects. In this setting, decidability of verification of sophisticated temporal properties over KABs, expressed in a variant of first-order mu-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.","doi":null,"url":"https://ijcai.org/proceedings/2013/126","pdf":"https://ijcai.org/proceedings/2013/0126.pdf","markdown":"https://ijcai.org/proceedings/2013/126.md","bibtex":"https://ijcai.org/proceedings/2013/bibtex/126","volume":{"slug":"2013","title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2013","url":"https://ijcai.org/proceedings/2013/","year":2013,"location":"Beijing, China","dates":"3–9 August 2013","editors":"Francesca Rossi","isbn":"978-1-57735-633-2","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":126,"pages":{"first":810,"last":815},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}