3 citations · 9 across the 11 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017
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…
cs.LO2017
Metric Temporal Logic for Ontology-Based Data Access over Log Data
Diego Calvanese, Elem Güzel Kalaycı, Vladislav Ryzhikov +2
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 acc…