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.
Time Travel Queries in RDF Archives
2017
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
