Different parts of the text in errata-query-8 say different things.

In errata-query-8 there is

  The definition of Substitute [sic] should exclude varaibles [sic] not
  visible at the outermost level of the graph pattern.

and also

  That is, a variable used inside a nested SELECT that is not in it's [sic]
  projection, should be considered a different variable.

These two are not equivalent, as is shown by the example there

  SELECT ?s WHERE {
    ?s :p ?value .
    FILTER EXISTS {
        ?s :p ?count
        {
            SELECT (COUNT(*) AS ?count) WHERE {
                ?s :p ?other # Hidden by projection ?s : should be same-as
?anything.
            }
        }
    }
  }

In this example, ?s is visible at the outermost level of the graph pattern,
but is not in the projection of the inner query.



Peter F. Patel-Schneider
Nuance Communications

Received on Monday, 27 June 2016 13:48:08 UTC