Time Travel Queries in RDF Archives

We research the problem of querying RDF archives. In this setting novel data management challenges emerge in terms of support for time-traversing structured queries. We formalize an extension of SPARQL, called SPARQ-LTL, which incorporates primitives inspired by linear temporal logic. We give formal semantics for SPARQ-LTL and devise query rewriting strategies from SPARQ-LTL into SPARQL. The usage of \sparqltl\ allows to gain conciseness and readability when expressing complex temporal queries. We implemented our approach and evaluated query running time and query succinctness.