W3C home > Mailing lists > Public > public-rif-wg@w3.org > July 2008

[BLD] 'Const' Grammar in BLD

From: Axel Polleres <axel.polleres@deri.org>
Date: Thu, 10 Jul 2008 15:35:49 +0100
Message-ID: <48761E45.10806@deri.org>
To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>

Dear all,

The production for "Const" in the pres. syntax in current BLD  is still 
not consistent with DTB.

The problem is, now BLD says:

   Const          ::= '"' UNICODESTRING '"^^' SYMSPACE

This is inconsistent with DTB's  grammar (which was agreed in 
resolutions in the TelCo), since symspaces are not *general* 
UNICODESTRINGS but anglebracketed IRIs or shortcuts as defined in DTB:

   STRING        ::= '"' UNICODESTRING '"'
   CURIE         ::=  PNAME_LN | PNAME_NS
   Const         ::= STRING '^^'ANGLEBRACKIRI
                  | STRING '^^' CURIE
                  | ANGLEBRACKIRI
                  | CURIE
                  | STRING
                  | NumericLiteral
                  | '_' LocalName

so, I suggest to remove the two productions

   Const          ::= '"' UNICODESTRING '"^^' SYMSPACE

in BLD and just add a sentence after the grammer which says:

"The EBNF grammar relies on reuse of the 'Const' nonterminals defined in 
the DTB document 

Alternatively, i.e. if you don't want to entirely delete the 
productionsfor Const,you need to change it at least to:

   Const          ::= '"' UNICODESTRING '"^^' IRI_REF

to be consistent with DTB, and refer to the IRI_REF production in
http://www.w3.org/TR/rdf-sparql-query/#rIRI_REF and saying that DTB 
defines several shortcuts for the basic grammar for 'Const' in
Section 2.1.2 

This is a critical comment from my side.


Dr. Axel Polleres, Digital Enterprise Research Institute (DERI)
email: axel.polleres@deri.org  url: http://www.polleres.net/

Everything is possible:
rdfs:subClassOf rdfs:subPropertyOf rdfs:Resource.
rdfs:subClassOf rdfs:subPropertyOf rdfs:subPropertyOf.
rdf:type rdfs:subPropertyOf rdfs:subClassOf.
rdfs:subClassOf rdf:type owl:SymmetricProperty.
Received on Thursday, 10 July 2008 14:36:40 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:51 UTC