W3C home > Mailing lists > Public > public-rif-wg@w3.org > September 2009

Re: EBNF grammar of presentation syntax

From: Axel Polleres <axel.polleres@deri.org>
Date: Wed, 30 Sep 2009 17:36:18 +0100
Cc: "Stella Mitchell" <stellamit@gmail.com>, "RIF \(E-mail\)" <public-rif-wg@w3.org>
Message-Id: <F0FD8991-5C81-48AB-A076-085C5F78F791@deri.org>
To: "Sandro Hawke" <sandro@w3.org>

On 30 Sep 2009, at 16:54, Sandro Hawke wrote:

> > The easiest and quickest way around this is:
> >
> > change:
> >    Name:=  NCName
> > to
> >    Name:=  NCName | ('"' UNICODESTRING '"')
> >
> > any objections against this?
>
> What if the variable name has a double-quote character in it?
>
> (As far as I know, the PS can't handle the even xs:strings with quotes
> in them.  This is part of the why the PS isn't real.)
>

That problem was solved a while ago:

http://www.w3.org/2005/rules/wiki/DTB#Shortcuts_for_Constants_in_RIF.27s_Presentation_Syntax

"UNICODESTRING, any Unicode string where quotes are escaped and  
additionally all the other escape sequences defined in http://www.w3.org/TR/rdf-sparql-query/#grammarEscapes 
  and http://www.w3.org/TR/rdf-sparql-query/#codepointEscape."


Indeed, however, BLD and FLD didn't define a production or point to  
the UNICODESTRING definition DTB, actually
that was inconsistent, I just fixed that, check:

http://www.w3.org/2005/rules/wiki/index.php?title=BLD&diff=11420&oldid=11029
http://www.w3.org/2005/rules/wiki/index.php?title=FLD&diff=11419&oldid=11030

BTW, I realize that we still had the old version of the Name  
production in the appendix of FLD and BLD,
but before I fix it there, we need agreement that

    Name:=  NCName | ('"' UNICODESTRING '"')

is ok.

cheers,
Axel



>    - s
>

-- 
Dr. Axel Polleres
Digital Enterprise Research Institute, National University of Ireland,  
Galway
email: axel.polleres@deri.org  url: http://www.polleres.net/
Received on Wednesday, 30 September 2009 16:36:53 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 30 September 2009 16:36:55 GMT