Ontology-Mediated Query Answering over Temporal Data: A Survey
MetadataShow full item record
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.
Showing items related by title, author, creator and subject.
Kovtunova, Alisa (Free University of Bozen-Bolzano, 2017)The main topic of this doctoral dissertation is to extend the ontology-mediated query rewriting paradigm to the case where the ontology, the query and the data are temporally characterised. We follow an approach of the ...
Artale, A; Kontchakov, R; Kovtunova, A; Ryzhikov, V; Wolter, F; Zakharyaschev, M (AAAI Press, 2015)Aiming at ontology-based data access over temporal, in particular streaming data, we design a language of ontology-mediated queries by extending OWL 2 QL and SPARQL with temporal operators, and investigate rewritability ...
Calvanese D (Springer, 2014)Description Logics (DLs) provide the formal foundation for ontology languages, and they have been advocated as formalisms for modeling the domain of interest in various settings, including the Semantic Web, data and ...