Ontology-mediated query answering over temporal data: A survey



Artale, A, Kontchakov, R, Kovtunova, A, Ryzhikov, V, Wolter, F and Zakharyaschev, M
(2017) Ontology-mediated query answering over temporal data: A survey. .

[img] Text
Time17.pdf - Author Accepted Manuscript

Download (867kB)

Abstract

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 interval temporal logic HSn, as well as the metric temporal logic MTL. Our main focus is on the data complexity of answering temporal ontology-mediated queries and their rewritability into standard first-order and datalog queries.

Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 05 Dec 2017 15:52
Last Modified: 19 Jan 2023 06:48
DOI: 10.4230/LIPIcs.TIME.2017.1
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3013575