Automated temporal reasoning about reactive systems
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
Model checking
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Business artifacts: An approach to operational specification
IBM Systems Journal
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Ontologies and Databases: The DL-Lite Approach
Reasoning Web. Semantic Technologies for Information Systems
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
TIME '09 Proceedings of the 2009 16th International Symposium on Temporal Representation and Reasoning
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
Journal on data semantics X
Foundations of relational artifacts verification
BPM'11 Proceedings of the 9th international conference on Business process management
Verification of deployed artifact systems via data abstraction
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
When data, knowledge and processes meet together
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Verification and synthesis in description logic based dynamic systems
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Verification of inconsistency-aware knowledge and action bases
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
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 μ-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.