header

Temporalizing Rewritable Query Languages Over Knowledge Bases

21 Pages Posted: 10 Jul 2018 First Look: Accepted

See all articles by Stefan Borgwardt

Stefan Borgwardt

Dresden University of Technology - Institute of Theoretical Computer Science

Marcel Lippmann

Dresden University of Technology - Institute of Theoretical Computer Science

Veronika Thost

Dresden University of Technology - Institute of Theoretical Computer Science

Abstract

Ontology-based data access (OBDA) generalizes query answering in relational databases. It allows to query a database by using the language of an ontology, abstracting from the actual relations of the database. OBDA can sometimes be realized by compiling the information of the ontology into the query and the database. The resulting query is then answered using classical database techniques. In this paper, we consider a temporal version of OBDA. We propose a generic temporal query language that combines linear temporal logic with queries over ontologies. This language is well-suited for expressing temporal properties of dynamic systems and is useful in context-aware applications that need to detect specific situations. We show that, if atemporal queries are rewritable in the sense described above, then the corresponding temporal queries are also rewritable such that we can answer them over a temporal database. We present three approaches to answering the resulting queries.

Keywords: Ontology-based data access, Linear temporal logic, Query answering, Rewritability, Description logic

Suggested Citation

Borgwardt, Stefan and Lippmann, Marcel and Thost, Veronika, Temporalizing Rewritable Query Languages Over Knowledge Bases (2015). Journal of Web Semantics First Look. Available at SSRN: https://ssrn.com/abstract=3199188 or http://dx.doi.org/10.2139/ssrn.3199188

Stefan Borgwardt (Contact Author)

Dresden University of Technology - Institute of Theoretical Computer Science ( email )

Einsteinstrasse 3
Dresden, 01062
Germany

Marcel Lippmann

Dresden University of Technology - Institute of Theoretical Computer Science ( email )

Einsteinstrasse 3
Dresden, 01062
Germany

Veronika Thost

Dresden University of Technology - Institute of Theoretical Computer Science ( email )

Einsteinstrasse 3
Dresden, 01062
Germany

Register to save articles to
your library

Register

Paper statistics

Abstract Views
171
Downloads
6