Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk)
- Artale, Alessandro
- Kontchakov, Roman
- Kovtunova, Alisa
- Ryzhikov, Vladislav
- Wolter, Frank
- Zakharyaschev, Michael
Publication date
January 2017
DOI Publisher
LIPIcs - Leibniz International Proceedings in Informatics. 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)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 HS_n, 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
Add to ORKG