Actions and Programs over Description Logic Ontologies

Proc. of the 20th Int. Workshop on Description Logics (DL 2007). Volume 250 of CEUR Workshop Proceedings, https://ceur-ws.org/. 2007.

We aim at representing and reasoning about actions and (high level) programs over ontologies expressed in Description Logics. This is a critical issue that has resisted good solutions for a long time. In particular, while well-developed theories of actions and high-level programs exist in AI, e.g., the ones based on SitCalc, these theories do not apply smoothly to Description Logic ontologies, due to the profoundly non-definitorial nature of such ontologies (cf. cyclic TBoxes). Here we propose a radical solution: we assume a functional view of ontologies and see them as systems that allow for two kinds of operations: ASK, which returns the (certain) answer to a query, and TELL, which produces a new ontology as a result of the application of an atomic action. We base atomic actions on instance level update and instance level erasure on the ontology. Building on this functional view, we introduce Golog/ConGolog-like high-level programs on ontologies. This paper demonstrates the effectiveness of the approach in general, and presents the following specific results: we characterize the notion of single-step executability of such programs, devise methods for reasoning about sequences of actions, and present (nice) complexity results in the case where the ontology is expressed in DL-Lite.

@inproceedings{DL-2007-azioni,
   title = "Actions and Programs over Description Logic Ontologies",
   year = "2007",
   author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio
Lenzerini and Riccardo Rosati",
   booktitle = "Proc. of the 20th Int. Workshop on Description Logics
(DL 2007)",
   pages = "29--40",
   volume = "250",
   publisher = "CEUR-WS.org",
   series = "CEUR Workshop Proceedings, https://ceur-ws.org/",
}