Logo image
Back
Metric Temporal Logic for Ontology-Based Data Access over Log Data
Conference proceeding   Peer reviewed

Metric Temporal Logic for Ontology-Based Data Access over Log Data

Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao and Michael Zakharyaschev
Proceedings of the 2nd International Workshop on Ontologies and Logic Programming for Query Answering: ONTOLP 2016, pp.7-11
2nd International Workshop on Ontologies and Logic Programming for Query Answering (ONTOLP 2016) (New York, 11/07/2016 - 11/07/2016)
2016
Handle:
https://hdl.handle.net/10863/32453

Abstract

We present a new metric temporal logic HornMTL over dense time and its datalog extension datalogMTL. The use of datalogMTL is demonstrated in the context of ontology-based data access over meteorological data. We show decidability of answering ontology-mediated queries for a practically relevant non-recursive fragment of datalogMTL. Finally, we discuss directions of the future work, including the potential use-cases in analyzing log data of engines and devices.
url
https://arxiv.org/abs/1701.00976View

Details

Metrics

2 Record Views