Michael Zakharyaschev

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk)

2017 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

We discuss the use of various temporal knowledge representation formalisms for ontology-mediated query answering over temporal data. In particular, we analyse ontology and query languages based on the linear temporal logic LTL, the multi-dimensional Halpern-Shoham …

Ontology-Mediated Queries: Combined Complexity and Succinctness of\n Rewritings via Circuit Complexity

2016 · arXiv (Cornell University)

We give solutions to two fundamental computational problems in ontology-based\ndata access with the W3C standard ontology language OWL 2 QL: the succinctness\nproblem for first-order rewritings of ontology-mediated queries (OMQs), and the\ncomplexity problem for OMQ answering. …