DeepAI
Log In Sign Up

Description Logic Knowledge and Action Bases

02/04/2014
by   Babak Bagheri Hariri, et al.
0

Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions to change such information over time, possibly introducing new objects. We resort to a variant of DL-Lite where the unique name assumption is not enforced and where equality between objects may be asserted and inferred. Actions are specified as sets of conditional effects, where conditions are based on epistemic queries over the knowledge base (TBox and ABox), and effects are expressed in terms of new ABoxes. In this setting, we address verification of temporal properties expressed in a variant of first-order mu-calculus with quantification across states. Notably, we show decidability of verification, under a suitable restriction inspired by the notion of weak acyclicity in data exchange.

READ FULL TEXT

page 1

page 2

page 3

page 4

04/23/2013

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

Description Logic Knowledge and Action Bases (KABs) have been recently i...
04/21/2013

Exchanging OWL 2 QL Knowledge Bases

Knowledge base exchange is an important problem in the area of data exch...
04/20/2011

On the evolution of the instance level of DL-lite knowledge bases

Recent papers address the issue of updating the instance level of knowle...
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...
07/18/2021

Reasoning about actions with EL ontologies with temporal answer sets

We propose an approach based on Answer Set Programming for reasoning abo...
05/19/2015

Modular Action Language ALM

The paper introduces a new modular action language, ALM, and illustrates...
02/25/2022

Actions over Core-closed Knowledge Bases

We present new results on the application of semantic- and knowledge-bas...