Constrained Regular Expressions in SPARQL - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2007

Constrained Regular Expressions in SPARQL

Abstract

RDF is a knowledge representation language dedicated to the annotation of resources within the Semantic Web. Though RDF itself can be used as a query language for an RDF knowledge base (using RDF consequence), the need for added expressivity in queries has led to the definition of the SPARQL query language. SPARQL queries are defined on top of graph patterns that are basically RDF (and more precisely GRDF) graphs. To be able to characterize paths of arbitrary length in a query (e.g., "does there exist a trip from town A to town B using only trains and buses?"), we have already proposed the PRDF (for Path RDF) language, effectively mixing RDF reasonings with database-inspired regular paths. However, these queries do not allow expressing constraints on the internal nodes (e.g., "Moreover, one of the stops must provide a wireless connection."). To express these constraints, we present here an extension of RDF, called CRDF (for Constrained paths RDF). For this extension of RDF, we provide an abstract syntax and an extension of RDF semantics. We characterize query answering (the query is a CRDF graph, the knowledge base is an RDF graph) as a particular case of CRDF entailment that can be computed using some kind of graph homomorphism. Finally, we use CRDF graphs to generalize SPARQL graph patterns, defining the CSPARQL extension of that query language, and prove that the problem of query answering using only CRDF graphs is an NP-hard problem, and query answering thus remains a PSPACE-complete problem for CSPARQL.
Fichier principal
Vignette du fichier
csparql.pdf (289.38 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

inria-00188287 , version 1 (16-11-2007)
inria-00188287 , version 2 (19-11-2007)
inria-00188287 , version 3 (16-12-2007)

Identifiers

  • HAL Id : inria-00188287 , version 1

Cite

Faisal Alkhateeb, Jean-François Baget, Jérôme Euzenat. Constrained Regular Expressions in SPARQL. [Research Report] 2007. ⟨inria-00188287v1⟩

Collections

ACACIA
630 View
152 Download

Share

Gmail Mastodon Facebook X LinkedIn More