SPARQL 1.0 Errata

 SPARQL Errata.

SPARQL/Query 1.0

Outstanding

Use of bold in "Definition: ..." is still inconsistent.

Section 12.4: Better would be (adds "for all")

set-union
   { μ1 | μ1 in Ω1, for all μ2 in Ω2, μ1 and μ2 are compatible and expr(merge(μ1, μ2)) is false }

Wording / Typos

• ?givenName should be ?name in 11.4.1 bound. (ref1, ref2, ref3, ref4)

(done)

• In the table of contents, s/Restricting the Value/Restricting the Values/ to match the actual section name (ref)

(done)

• In the change log, s/14 June 2007 Candidate Recommendation/12 November 2007 Proposed Recommendation/. (ref)

(not relevant anymore)

• The grammar rule for AdditiveExpression should be

[52] AdditiveExpression ::= MultiplicativeExpression 
                           ( '+' MultiplicativeExpression | 
                             '-' MultiplicativeExpression | 
                                ( NumericLiteralPositive | NumericLiteralNegative )
                                ( ( '*' UnaryExpression ) | ( '/' UnaryExpression ) )? 
                            )*

(fixed in grammar - wil be correct when SPARQL 1.1 Grammar is finialized)

• The list of Solution Sequence Modifiers should say "non-distinct" instead of "non-unique" (? not sure I understood this one correctly)

(done - unique might imply a semantic relationship - it's just the distinctness of terms that can be done here)

• In 9.1 Order By, remove the 3rd example as it contradicts the spec. text above. (ref1, ref2)

(done)

• In 9.3.1 DISTINCT, s/set/sequence

(done)

• Below the definition of LeftJoin, the text that says "{ μ1 | μ1 in Ω1and μ2 in Ω2, and μ1 and μ2 are not compatible }" is not clear in the case where Ω2 is empty. (ref)

(Added text to clarify "or Ω₂ is empty")

• In the example in 10.3 ASK the boolean element should be a direct child of the sparql element; the results element should be removed. (ref)

(done)

• In 11.3 Operator Mapping, sameTERM(A) should be sameTERM(A, B). (ref)

(done)

• In 12 Definition of SPARQL, s/outcome of executing a SPARQL/outcome of executing a SPARQL query. (ref)

(done)

• In 12.6 Extending SPARQL Basic Graph Matching, s/pattern solution mapping/pattern instance mapping. (ref)

(done)

•  ?? Andy has a note about language tags and stores that canonicalize the case, but I'm not clear on what the erratum is.

??

• In 12.1.6 Solution Mapping, the range of mu should be RDF-T rather than T. (ref1, ref2)

(done)

• In 9.3.2 REDUCED, s/an REDUCED/a REDUCED. (ref)

(done)

• In 12.2.1 Converting Graph Patterns, s/a SPARQL graph patterns/a SPARQL graph pattern. (ref)

(done)

• In 12.2.1 Converting Graph Patterns, s/the point at/the point at which. (ref)

(done)

• In 12.6 Extending SPARQL Basic Graph Matching, missing comma in "... 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." ;

(done)

Notes (c) These conditions do not impose the SPARQL requirement that SG share*s* no blank nodes with AG or BGP. 2009JulSep/0358

(done)

Presentation

• Definition names ("Solution Mapping" and "Solution Sequence") in 12.1.6 Solution Mapping should not be bold

(done)

• Avoid shrinking users' browsers text in HTML and CSS. (ref)

(style sheet will be cleared up for 1.1)

Miscellaneous

• In the keyword table in the grammar section, isBLANK is omitted. (ref)

(done)

• Definition of Basic Graph Pattern Matching & Pattern Instance Mapping. 2009JulSep/0358

(Not simple errata)

SPARQL/Protocol 1.0

• In 2.2.1.5 DESCRIBE with simple RDF dataset, the opening rdf:RDF tag should be closed with a right angle bracket. (ref)
• Throughout, right-angle brackets should be coded in the HTML as an entity > (ref)
• In section 2, check usage of 'comprises'. (ref)
• In 2.2, s/under constrained/under-constrained. (ref)
• (Presentation). Request to not have individual horizontal scroll bars on PRE elements. (ref)

SPARQL XML Results

See http://www.w3.org/2001/sw/DataAccess/XMLres-errata for the official errata.