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

Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev

Technical Report, arXiv.org e-Print archive. CoRR Technical Report arXiv:1701.00976 2017. Available at https://arxiv.org/abs/1701.00976.

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.


@techreport{Corr-2017-mtl,
   title = "Metric Temporal Logic for Ontology-Based Data Access over Log
Data",
   year = "2017",
   author = "Diego Calvanese and Güzel Kalayci, Elem and Vladislav
Ryzhikov and Guohui Xiao and Michael Zakharyaschev",
   institution = "arXiv.org e-Print archive",
   number = "arXiv:1701.00976",
   note = "Available at https://arxiv.org/abs/1701.00976",
}
pdf url