Horn fragments of temporal logics and ontology-based access to temporal data

VCLA and WPI hosted a talk by Vladislav Ryzhikov and Michael Zakharyaschev

ABSTRACT

We give a survey of our recent results on various Horn fragments of the (1) linear temporal logic LTL, (2) Halpern-Shoham interval temporal logic HS, and (3) metric temporal logic MTL. In particular, we focus on the data complexity of answering ontology-mediated queries with temporal ontologies given in such fragments. We also discuss use-cases of applying temporal ontology-based data access for querying Siemens turbine sensor logs and historical data of weather stations. We present our experimental results on query answering in those scenarios with real-world data.