Now showing items 1-1 of 1

    • Ontology-Mediated Query Answering over Temporal Data: A Survey 

      Artale A; Kontchakov R; Kovtunova A; Ryzhikov R; Wolter F; Zakharyaschev M (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2017)
      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 ...