Re: IRI references rewording

Dan Connolly wrote:
> On Wed, 2005-09-14 at 15:02 +0100, Seaborne, Andy wrote:
> [...]
> 
>>>>Grammar production <a>Q_IRI_REF</a> forms IRI references
>>>
>>>
>>>er... but it forms things that are not IRI references as well.
>>
>>I don't read it as such.
> 
> 
> The production reads:
> 
> [66]   Q_IRI_REF   ::=   '<' ([^<>]-[#00-#20])* '>' /* An IRI
> reference : RFC 3987 */
> 
> And <foo###bar> matches that production, and it's
> not an IRI reference.
> 
> If you mean for the comment to change the meaning of the
> production so that the production does not generate
> <foo###bar> , that's not responsive to the request:
> 
> "Please make sure the grammar is directly machine consumable."
>  -- http://www.w3.org/mid/4890DFFF-426D-4A80-9C03-8B219FE0E0C7@w3.org
> 
> The language generated by the machine-consumable grammar includes
> <foo###bar>; so we need text outside the grammar that
> says that the set of SPARQL query strings is somewhat
> smaller than the set of strings generated by the grammar.
> 
> I suggest:
> 
> IRI References
> 
> Text matched by the  Q_IRI_REF production must be conform to the
> generic syntax of IRI references in
> section 2.2.  ABNF for IRI References and IRIs[RFC3987].
> For example, the
> Q_IRI_REF <abc#def> may occur in a SPARQL query string, but
> the Q_IRI_REF <abc##def> must not.

Done - this text forms the IRI section in the grammar (A.1)with the addition I 
listsed the qname production to the Q_IRI_REF as well as it created IRIs as well.

"""
A.1 IRI References
Text matched by the Q_IRI_REF production and QName (after prefix expansion) 
production must be conform to the generic syntax of IRI references in section 
2.2. ABNF for IRI References and IRIs RFC3987]. For example, the Q_IRI_REF 
<abc#def> may occur in a SPARQL query string, but the Q_IRI_REF <abc##def> 
must not.
"""


 Andy

> 
> 
> 
>>  It forms "IRI references" - we could add "and only 
>>IRI references"
>>
>>"""
>>Grammar production <a>Q_IRI_REF</a> forms IRI references in accordance with 
>>the generic syntax of IRI references described in section 2.2. of
>>[RFC3987].
>>"""
> 
> 
>

Received on Wednesday, 28 September 2005 12:41:05 UTC