**Definition:**
RDF Term

let I be the set of all IRIs.

let RDF-L be the set of all
RDF Literals

let RDF-B be the set of all
blank nodes in RDF graphs

The set of RDF Terms, RDF-T, is I union RDF-L union RDF-B.

**Definition:**
Query Variable

A query variable is a member of the set V where V is infinite and disjoint from RDF-T.

**Definition:**
Graph Pattern

A Graph Pattern is one of:

**Definition:**
SPARQL Query

A SPARQL query is a tuple (GP, DS, SM, R) where:

- GP is a graph pattern
- DS is an RDF Dataset
- SM is a set of solution modifiers
- R is a result form

The graph pattern of a query is called the query pattern.

**Definition:**
Triple Pattern

A triple pattern
is member of the set:

(RDF-T union V) x (I union V)
x (RDF-T union V)

**Definition:**
Pattern Solution

A variable solution is a substitution function from a subset of V, the set of variables, to the set of RDF terms, RDF-T.

A pattern solution, S, is a variable substitution whose domain includes all the variables in V and whose range is a subset of the set of RDF terms.

The result of replacing every member v of V in a graph pattern P by S(v) is written S(P).

If v is not in the domain of S then S(v) is defined to be v.

**Definition:**
Basic Graph
Pattern

A Basic Graph Pattern is a set of Triple Patterns.

**Definition:**
E-entailment
Regime

An E-entailment regime is a binary relation between subsets of RDF graphs.

A graph in the range of an E-entailment is called well-formed for the E-entailment.

**Definition:**
Basic Graph Pattern equivalence

Two basic graph patterns are equivalent if there is a bijection M between the terms of the triple patterns that maps blank nodes to blank nodes and maps variables, literals and IRIs to themselves, such that a triple ( s, p, o ) is in the first pattern if and only if the triple ( M(s), M(p) M(o) ) is in the second.

**Definition:**
Scoping Set

A Scoping Set B is some set of RDF terms.

**Definition:**
Scoping Graph

The Scoping Graph G' for RDF graph G, is an RDF Graph that is graph-equivalent to G

**Definition:**
Basic Graph Pattern E-matching

Given an entailment regime E, a basic graph pattern BGP, and RDF graph G, with scoping graph G', then BGP E-matches with pattern solution S on graph G with respect to scoping set B if:

- BGP' is a basic graph pattern that is graph-equivalent to BGP
- G' and BGP' do not share any blank node labels.
- (G' union S(BGP')) is a well-formed RDF graph for E-entailment
- G E-entails (G' union S(BGP'))
- The RDF terms introduced by S all occur in B.

**Definition:**
Value Constraint

A value constraint is a boolean-valued expression of variables and RDF Terms.

For value constraint C, a solution S matches C if S(C) is true, where S(C) is the boolean-valued expression obtained by substitution of the variables mentioned in C.

**Definition:**
Group Graph Pattern

A group graph pattern GP is a set of graph patterns,
GP_{i}.

A solution of Group Graph Pattern GP on graph G
is any solution S such that, for every element GP_{i} of GP, S is a solution
of GP_{i}.

An optional graph pattern is a combination of a pair of graph patterns. The second pattern modifies pattern solutions of the first pattern but does not fail matching of the overall optional graph pattern.

If Opt(A, B) is an optional graph pattern, where A and B are graph patterns, then S is a solution of optional graph pattern if S is a pattern solution of A and of B otherwise if S is a solution to A, but not to A and B.

**Definition:**
Union Graph Pattern

A union graph pattern is a set of graph patterns
GP_{i}.

A union graph pattern matches a graph G with solution S if there is some GP_{i} such that GP_{i}
matches G with solution S.

**Definition:**
RDF Dataset

An RDF dataset is a set:

{ G, (<u_{1}>, G_{1}), (<u_{2}>, G_{2}), . . . (<u_{n}>, G_{n}) }

where G
and each G_{i} are graphs, and each <u_{i}> is an IRI. Each <u_{i}>
is distinct.

G is called the default graph. (<u_{i}>, G_{i}) are
called named graphs.

There may be no named graphs.

If D is a dataset {G, (<u_{1}>, G_{1}), ... }, and P is a graph pattern then S is
a pattern solution of RDF Dataset Graph Pattern GRAPH(g, P) if either of:

- g is an IRI where g = <u
_{i}> for some i, and S is pattern solution of P on dataset {G_{i}, (<u_{1}>, G_{1}), ...} - g is a variable, S maps the variable g to <u
_{j}>, where <u_{j}> is an IRI from a named graph of D, and S is a pattern solution of P on dataset {G_{j}, (<u_{1}>, G_{1}), ...}

**Definition:**
Solution Sequence

A solution sequence S is a list of solutions.

S = ( S_{1}, S_{2}, . . . , S_{n})

The solution sequence from matching the query pattern is an unordered collection formed from the solutions of the query pattern.

**Definition:**
Solution Sequence Modifier

A solution sequence modifier is one of:

- Projection modifier
- Distinct modifier
- Order modifier
- Limit modifier
- Offset modifier

If SM is the set of modifiers, and QS is the collection of solutions of a query, we write SM(QS) for the sequence formed by applying SM to the solution sequence formed from QS.

**Definition:**
Projection

The projection of solution QS over a set
of variables VS is the solution

project(QS, VS) = { (v, QS(v)) | v in VS }

For a solution sequence S = ( S_{1}, S_{2}, . . . , S_{n}) and a finite set of variables VS,

project(S, VS) = { (project(S_{i}, VS) | i = 1,2, . . . n }

**Definition:**
Distinct Solution Sequence

A Distinct Solution Sequence is a solution sequence in which no two solutions are the same.

**Definition:**
Ordered Solution Sequence

An ordered solution sequence is a solution sequence where the sequence is partially ordered with respect to some ordering condition.

A solution sequence S = ( S_{1}, S_{2}, . . . , S_{n})
is ordered with respect to an ordering condition C if, for S_{i}, S_{J},
then i < j if C orders S_{i} before S_{j}.

**Definition:**
Limited Solution Sequence

A Limited Solution Sequence has at most a given, fixed number of members.

The limit of solution sequence S = (S_{1}, S_{2}, . . . , S_{n})
is

limit(S,m) =

(S_{1}, S_{2}, . . . , S_{m})
if n > m

(S_{1}, S_{2}, . . . , S_{n})
if n <= m

**Definition:**
Offset Solution Sequence

An Offset Solution Sequence with respect to another solution sequence S, is one which starts at a given index of S.

For solution sequence S = (S_{1}, S_{2}, . . . , S_{n}),
the offset solution sequence

offset(S, k), k >= 0 is

(Sk, Sk+1, . . ., S_{n}) if n >= k

(), the empty sequence, if k > n

**Definition:**
SELECT

Given Q = (GP, DS, SM, SELECT VS) where

- GP is a graph pattern
- DS is an RDF Dataset
- SM is a set of solution modifiers
- VS is a set of variables

then, if QS is the set of solutions formed by matching dataset DS with graph pattern GP, the SELECT result is project(SM(QS), VS)

**Definition:**
Graph Template

A graph template is a set of triple patterns.

If T = { t_{j} | j = 1,2 ... m } is a graph template and S is a
pattern solution then SC(S, t_{j}) is a set of one RDF triple S(t_{j}) if all variables in t_{j}
are in the domain of S. SC(S, t_{j}) is the empty set otherwise.

Write SC(S, T) for the union of SC(S, t_{j}).

**Definition:**
CONSTRUCT

Let Q = (GP, DS, SM, CONSTRUCT T) where

- GP is a graph pattern
- DS is an RDF Dataset
- SM is a set of solution modifiers
- T is a set of triple patterns

then, if QS is the set of solutions formed by matching dataset DS with
graph pattern GP, then write SM(QS) = { S_{i} | i = 1,2 ... n }.

Let T_{i} be a sequence of sets of triple patterns, such that each T_{i}
is basic graph pattern equivalent to T and no T_{i} have a blank
node in common and no T_{i} has a blank node in common with any
blank node in SM(QS).

Let R_{i} be the RDF graph formed from SC(S_{i, }T_{i}).

The CONSTRUCT result is the RDF graph
formed by the union of R_{i}.

**Definition:**
DESCRIBE

Let Q = (GP, DS, SM, DESCRIBE V) where

- GP is a graph pattern
- DS is an RDF Dataset
- SM is a set of solution modifiers
- V is a set of variables VS and IRIs, U

then, if QS is the set of solutions formed by matching dataset DS with
graph pattern GP, the DESCRIBE result is an RDF graph formed by information relating
elements of

distinct(U union project(SM(QS), VS)).

This definition intentionally does not prescribe the nature of the relevant information.

**Definition:**
ASK

Let Q = (GP, DS, SM, ASK) where

- GP is a graph pattern
- DS is an RDF Dataset
- SM is a set of solution modifiers

and QS is the set of solutions formed by matching dataset DS with graph pattern GP then the ASK result is true if SM(QS) is not empty, otherwise it is false.

$Revision: 1.4 $ of $Date: 2006/03/23 19:12:20 $

generated from $Id: Overview.html,v 1.660 2006/03/13 14:30:22 aseaborne Exp $

via defns.xsl$Id: sparql-defns.xsl,v 1.1 2006/02/22 09:31:14 aseaborne Exp $

See also the editor's draft and the live transformation.