Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis

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

We devise a general framework for formalizing Dynamic Systems centered around a Description Logic knowledge base. Our framework is parametric w.r.t. both the description logic and the progression mechanism. For such kinds of systems, we provide general decidability results for verification and adversarial synthesis of first-order #-calculus properties under a natural assumption which we call "state-boundedness". We then apply such results to the case of DL-Lite and ALCQI knowledge bases and a progression mechanism grounded in epistemic first-order queries.

@inproceedings{DL-2013-dlds,
   title = "Dynamic Systems Based on Description Logics:  Formalization,
Verification, and Synthesis",
   year = "2013",
   author = "Diego Calvanese and Marco Montali and De Giacomo, Giuseppe
and Fabio Patrizi",
   booktitle = "Proc. of the 26th Int. Workshop on Description Logics
(DL 2013)",
   pages = "573--586",
   volume = "1014",
   publisher = "CEUR-WS.org",
   series = "CEUR Workshop Proceedings, https://ceur-ws.org/",
}