Frank Wolter

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 …