Vladislav Ryzhikov and Michael Zakharyaschev

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

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

DATE:Wednesday, March 22, 2017
VENUE:Seminarroom Zemanek, , Favoritenstrasse 9-11


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.

Comments are closed.