Re: [BLD] Shortcuts: Refined presentation syntax proposal for Const

> 
> As the pres-syntax showed up again a few times this morning and as we 
> discuss it again tomorrow morning, I try to summarize:
> 
> We agreed in the May 13 teleconf [1] to some shortcuts, i.e.
> the option 1a in 
> http://lists.w3.org/Archives/Public/public-rif-wg/2008May/0042
> Still, this needs some more clarification and fine-tuning, and also the 
> rif:text issue doesn't seem to be fully addressed.
> Thus, here a refined version of the grammar for Const:
> 
> 
> 
>    ANGLEBRACKIRI     ::= '<' IRIRef '>'

Did you mean:

ANGLEBRACKIRI     ::= '<' IRI '>'

as in: http://www.ietf.org/rfc/rfc3987

(to be clear that we do not allow relative IRIs)

Do we need further escaping for this?

> 
>    STRING            ::= '"' UNICODESTRINGWITHOUTQUOTES '"'
> 
>    CURIE                ::=  PNAME_LN | PNAME_NS

I think this should be:
CURIE                ::=  PNAME_LN


Best, Jos

> 
>    Const             ::= ANGLEBRACKIRI
>                        | CURIE
>                        | STRING '^^'ANGLEBRACKIRI
>                        | STRING '^^' CURIE
>                        | STRING LANGTAG
> 
> 
>   PNAME_LN, cf. http://www.w3.org/TR/rdf-sparql-query/#rPNAME_LN
>   PNAME_NS, cf. http://www.w3.org/TR/rdf-sparql-query/#rPNAME_NS
>   LANGTAG, cf. http://www.w3.org/TR/rdf-sparql-query/#rLANGTAG
> 
> Issues: We have to think how we particularly formulate 
> UNICODESTRINGWITHOUTQUOTES
> - we might want to resort to: 
> http://www.w3.org/TR/rdf-sparql-query/#rString
> - we have to clarify how we do address escaping, cf. [2]
> 
> 
> [1] http://www.w3.org/2008/05/13-rif-minutes.html
> [2] http://lists.w3.org/Archives/Public/public-rif-wg/2008May/0051.html
> 
> 
> 

-- 
                          debruijn@inf.unibz.it

Jos de Bruijn,        http://www.debruijn.net/
----------------------------------------------
One man that has a mind and knows it can
always beat ten men who haven't and don't.
   -- George Bernard Shaw

Received on Monday, 26 May 2008 10:01:46 UTC