Logo image
Ontology-Mediated Query Answering over Temporal Data: A Survey
Conference proceeding   Open access  Peer reviewed

Ontology-Mediated Query Answering over Temporal Data: A Survey

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, R Ryzhikov, Frank Wolter and Michael Zakharyaschev
24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Vol.90, pp.1-37
Leibniz International Proceedings in Informatics : LIPIcs, 90
24th International Symposium on Temporal Representation and Reasoning (TIME 2017) (Mons, 16/10/2017 - 18/10/2017)
2017
Handle:
https://hdl.handle.net/10863/4694

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.
pdf
p01-artale847.61 kBDownloadView
Open Access
url
http://informatique.umons.ac.be/time2017/View
url
https://drops.dagstuhl.de/opus/volltexte/2017/7933/View

Details

Metrics

2 File views/ downloads
21 Record Views