Description Logic Knowledge and Action Bases
arXiv:1402.0569 · doi:10.1613/jair.3826
Abstract
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.
References in corpus (2)
Cited by in corpus (11)
- Verifiable UML Artifact-Centric Business Process Models (Extended Version)
- Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach
- Temporal Conjunctive Query Answering in the Extended DL-Lite Family
- Verification of Semantically-Enhanced Artifact Systems (Extended Version)
- Managing Change in Graph-structured Data Using Description Logics (long version with appendix)
- Combining Event Calculus and Description Logic Reasoning via Logic Programming
- SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
- Backwards State-space Reduction for Planning in Dynamic Knowledge Bases
- Adding Context to Knowledge and Action Bases
- Reasoning about actions with EL ontologies with temporal answer sets
- Optimizations for Decision Making and Planning in Description Logic Dynamic Knowledge Bases