Inconsistency Tolerance in OWL 2 QL Knowledge and Action Bases -- Statement of Interest

Proc. of the 9th Int. Workshop on OWL: Experiences and Directions (OWLED 2012). Volume 849 of CEUR Workshop Proceedings, https://ceur-ws.org/. 2012.

Knowledge and action bases (KABs) are a mechanism that provides both a semantically rich representation of the information on the domain of interest in terms of an ontology and a set of actions to change such information over time. We consider the case where the ontology is specified in a variant of DL-Lite. Actions are specified as sets of conditional effects, where conditions are based on (epistemic) queries over KBs, and effects are expressed in terms of new ABoxes. KABs are a suitable formalism to specify so-called Data Centric Business Processes. In previous work, it was proposed that actions leading to an ABox violating the constraints in the TBox should not be executable, effectively ruling out any inconsistencies in the generated transition system. In this paper, we discuss a refinement of this setting, allowing also for the execution of actions that would lead to ABoxes that are inconsistent with the TBox. To avoid actually introducing inconsistencies, we consider repairs of the resulting ABox, adopting semantics studied in the context of instance level evolution of DL-Lite ontologies.

@inproceedings{OWLED-2012-kab,
   title = "Inconsistency Tolerance in OWL 2 QL Knowledge and Action Bases
-- Statement of Interest",
   year = "2012",
   author = "Diego Calvanese and Evgeny Kharlamov and Marco Montali and
Dmitriy Zheleznyakov",
   booktitle = "Proc. of the 9th Int. Workshop on OWL: Experiences and
Directions (OWLED 2012)",
   volume = "849",
   publisher = "CEUR-WS.org",
   series = "CEUR Workshop Proceedings, https://ceur-ws.org/",
}