Alisa Kovtunova

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 …

Cutting Diamonds: Temporal DLs with Probabilistic Distributions over\n Data

2018 · arXiv (Cornell University)

Recent work has studied a probabilistic extension of the temporal logic LTL\nthat refines the eventuality (or diamond) constructor with a probability\ndistribution on when will this eventuality be satisfied. In this paper, we\nadapt this notion to …