Querying Log Data with Metric Temporal Logic (Technical Report)

Sebastian Brandt, Elem Güzel Kalaycı, Vladislav Ryzhikov +2

We propose a novel framework for ontology-based access to temporal log data using a datalog extension datalogMTL of a Horn fragment of the metric temporal logic MTL. We show that d…