Re: Review of Query document

> That's easy to address - the grammar wasn't up to date.
>
> The master copy is
>
> http://www.w3.org/2009/sparql/docs/sparql-grammar-11.html

Two little thoughts regarding the grammer:

1)

ExistsFunc  	  ::=    	'EXISTS' GroupGraphPattern
NotExistsFunc 	  ::=   	'NOT EXISTS' GroupGraphPattern

Doesn't the rule

ExistsFunc  	  ::=    	'NOT'? 'EXISTS' GroupGraphPattern

suffice? Anyways, the NotExistsFunc definition forces the lexer to look 
exactly for ' EXISTS' after any 'NOT', which will make the lexer more 
complex, since you can't assume that any keyword ends with a whitespace 
- both rules even force a specific whitespace. The same holds for the 
'NOT IN' in the RelationalExpression rule.

2)

WhereClause  	  ::=    	'WHERE'? GroupGraphPattern

Never noticed that the 'WHERE' is optional. I didn't find a place where 
that would lead to ambiguities, but is it intended?

Best

Nico

Received on Tuesday, 21 September 2010 13:57:29 UTC