Description Logic Knowledge and Action Bases
By Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli. 2014
87 citations recorded by the source corpus.
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 µ-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.
Subfields: Artificial Intelligence, Computer Networks and Communications
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
In Computer Networks and Communications
Citations in the corpus
- Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds (2017, background): “…has proven helpful in providing formal under-pinnings to automated planning formalisms [Lin and Reiter, 1997; McIlraith and Son, 2002], updates in closed-and open-world databases [ Hariri et al. , 2013 ] , and dynamic Bayesian networks over complex actions [Hajishirzi and Amir, 2010], among others.”