Work

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

Year: 2017

Type: preprint

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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.1701.00976

Authors: Calvanese, Diego, Kalaycı, Elem Güzel, Ryzhikov, Vladislav, Xiao, Guohui, Zakharyaschev, Michael

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2584061549

Cites: 13

Cited by:

Related to: 20