Metric Temporal Logic for Ontology-Based Data Access over Log Data
Diego Calvanese, Elem G\"uzel Kalayc{\i}, Vladislav Ryzhikov and, Guohui Xiao, Michael Zakharyaschev

TL;DR
This paper introduces HornMTL, a metric temporal logic, and its datalog extension datalogMTL, demonstrating their application in ontology-based data access over meteorological log data, with decidability results for certain query classes.
Contribution
It presents a new metric temporal logic and its datalog extension, establishing decidability for ontology-mediated queries in a practical non-recursive fragment.
Findings
Decidability of answering ontology-mediated queries for non-recursive datalogMTL.
Application of HornMTL and datalogMTL in meteorological data analysis.
Potential use-cases in engine and device log data analysis.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Advanced Database Systems and Queries · Data Management and Algorithms
