Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)

04/23/2013
by   Diego Calvanese, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/04/2014

Description Logic Knowledge and Action Bases

Description logic Knowledge and Action Bases (KAB) are a mechanism for p...
research
04/30/2015

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)

Knowledge and Action Bases (KABs) have been put forward as a semanticall...
research
02/25/2022

Actions over Core-closed Knowledge Bases

We present new results on the application of semantic- and knowledge-bas...
research
08/27/2021

Cleaning Inconsistent Data in Temporal DL-Lite Under Best Repair Semantics

In this paper, we address the problem of handling inconsistent data in T...
research
06/15/2023

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

The necessity to manage inconsistency in Description Logics Knowledge Ba...
research
08/12/2022

Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)

Modeling and verification of dynamic systems operating over a relational...
research
01/16/2014

On Action Theory Change

As historically acknowledged in the Reasoning about Actions and Change c...

Please sign up or login with your details

Forgot password? Click here to reset