Loading...
Please wait, while we are loading the content...
Similar Documents
Semantically-Governed Data-Aware Processes
| Content Provider | CiteSeerX |
|---|---|
| Author | Montali, Marco Lembo, Domenico Santoso, Ario Calvanese, Diego |
| Abstract | Abstract. 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. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Temporal Logic Formula Temporal Property Underlying Database System State Ontology-based Data Access Semantically-governed Data-aware Process Knowledge Present Relational Database Conceptual Level Ontology Language Notable Decidability Result First-order Rewritability |
| Content Type | Text |
| Resource Type | Article |
