W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > April to June 2011

Typos in Query document (2)

From: Olivier Corby <Olivier.Corby@sophia.inria.fr>
Date: Wed, 27 Apr 2011 16:50:33 +0200
Message-ID: <4DB82D39.9080006@sophia.inria.fr>
To: SPARQL Working Group <public-rdf-dawg@w3.org>
Some typos in Query document.


9.2 Examples
Example: Sequence

-- ?x is not aligned

{  ?x  foaf:mbox <mailto:alice@example> .
   ?x  foaf:knows [ foaf:knows [ foaf:name ?name ]].

Example: Arbitrary length match
Arbitrary length path (?)

9.3 Cycles and Duplicates

if an RDF term in the data would be a matched again


RDf term
-> RDF term

11 Aggregates

version 1.1 of SPARQL/Query
version 1.1 of SPARQL


If aggregates are used in the query level, but the GROUP BY term is not 
used, then there is taken to be a single implicit group
this is taken (?) IF

rdfTerm   IF(expression1, expression2, expression3)

The IF function form evaluates the first argument, interprets it as a 
effective boolean value, then returns the value of expr2 if the EBV is 
true, otherwise it returns the value of expr3.
expression2 vs expr2
expression3 vs expr3 NOT EXISTS and EXISTS

theer NOT IN


check this:
"the RDF term being tested is not found to be in the list elsewhere in 
the list of terms."

NOT IN is equivalent to !(IN).
lhs NOT IN list is equivalent to !(lhs IN list). BNODE


If the no argument form is used every call results in a distinct blank 
add a "," :
If the no argument form is used, every call results in a distinct blank 

The expression "simple literal lexicalForm" is used nowhere else in the 
document. SUBSTR

literal   substr(literal source, xsd:integer startingLoc, xsd:integer 
SUBSTR() now

All calls to this function in any one query execution must return the 
same value.
What about federated query ?

18.2 Translation to the SPARQL Algebra


18.2.1 Variable Scope

v is in-scope in an one or more of P1, P2, ...
in one or more

v is in-scope if v in varlist
v is in-scope if v is in varlist Translate Property Path Expressions


X path{0,} Y    ?V path* Y
X path{0,} Y     X path* Y         (?) Translate Basic Graph Patterns


achived Translate Pattens in Filters
-> Translate Patterns in Filters

Example: Pattern involving MINUS:

   BGP(?s :p ?v)
   BGP(?s :p1 ?v2)


A ")" is missing at the end

18.2.4 Converting BINDINGS, Groups, Aggregates and SELECT Expressions

# Grouping
# Aggregates
# Select expressions
# Having

BINDINGS is the only one in uppercase in the list above. SELECT Expressions

Not visible: only in filter, exists/not exists, masked by a subselect, 
non-projected GROUP variables.


+ Right hand side of MINUS

Definition: Count

applied transitively,(see definition below)
add a space:
applied transitively, (see definition below)

Definition: Evaluation of ZeroLengthPath

eval(D(G), ZeroLengthPath(vx:var, path, vy:var))) =
   { {(vx, term), (vy, term)} | term in nodes(G) }
   card[] = 1

I do not understand the card[] = 1

18.6 Extending SPARQL Basic Graph Matching

[Ref: OWL2 semantics]
Add an hyperlink ?

19.8 Grammar

the the two cases

The rule QuadData is used in INSERT DATA and DELETE DATA must not allow 
variables in the quad patterns.
The rule QuadData, used in  INSERT DATA and DELETE DATA, must not allow 
variables in the quad patterns.
Received on Wednesday, 27 April 2011 14:51:03 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:01:04 UTC