Ontology-mediated query answering over temporal data: A survey

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

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:	25 Apr 2024 23:26
DOI:	10.4230/LIPIcs.TIME.2017.1
Related URLs:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3013575