257 citations · 486 across the 35 of their papers we have counts for
4 papers · 1 filter
Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka +2
Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal d…
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…
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov +3
Our concern is the overhead of answering OWL 2 QL ontology-mediated queries (OMQs) in ontology-based data access compared to evaluating their underlying tree-shaped and bounded tre…
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…