Semantically-Governed Data-Aware Processes

Proc. of the 1st Int. Workshop on Knowledge-intensive Business Processes (KiBP 2012). Volume 861 of CEUR Workshop Proceedings, https://ceur-ws.org/. 2012.

In this paper we consider processes that run over data stored in a relational database. Our setting is that of ontology-based data access (OBDA), where the information in the database is conceptually represented as an ontology and is declaratively mapped to it through queries. We are interested in verifying temporal logic formulas on the evolution of the information at the conceptual level, taking into account the knowledge present in the ontology, which allows for deducing information that is only implicitly available. Specifically, we show how, building on first-order rewritability of queries over the system state that is typical of ontology languages for OBDA, we are able to reformulate the temporal properties into temporal properties expressed over the underlying database. This allows us adopt notable decidability results on verification of evolving databases that have been established recently.

@inproceedings{KiBP-2012,
   title = "Semantically-Governed Data-Aware Processes",
   year = "2012",
   author = "Diego Calvanese and De Giacomo, Giuseppe and Domenico
Lembo and Marco Montali and Ario Santoso",
  booktitle = "Proc. of the 1st Int. Workshop on Knowledge-intensive Business
Processes (KiBP 2012)",
   pages = "21--32",
   volume = "861",
   publisher = "CEUR-WS.org",
   series = "CEUR Workshop Proceedings, https://ceur-ws.org/",
}