Ontology-Based Governance of Data-Aware Processes

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, and Ario Santoso

Proc. of the 6th Int. Conf. on Web Reasoning and Rule Systems (RR 2012). Volume 7497 of Lecture Notes in Computer Science. 2012.

In this paper we show how one can use the technology developed recently for Ontology-Based Data Access (OBDA) to govern data-aware processes through ontologies. In particular, we consider processes executed over a relational database which issue calls to external services to acquire new information and update the data. We equip these processes with an OBDA system, in which an ontology modeling the domain of interest is connected through declarative mappings to the database, and that consequently allows one to understand and govern the manipulated information at the conceptual level. In this setting, we are interested in verifying first-order mu-calculus formulae specifying temporal properties over the evolution of the information at the conceptual level. Specifically, we show how, building on first-order rewritability of queries over the system state that is typical of OBDA, we are able to reformulate the temporal properties into temporal properties expressed over the underlying database. This allows us to adopt notable decidability results on verification of evolving databases that have been established recently.


@inproceedings{RR-2012,
   title = "Ontology-Based Governance of 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 6th Int. Conf. on Web Reasoning and Rule Systems
(RR 2012)",
   pages = "25--41",
   volume = "7497",
   publisher = "Springer",
   series = "Lecture Notes in Computer Science",
   doi = "10.1007/978-3-642-33203-6_4",
}
pdf url