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
   SYMSPACE       ::= UNICODESTRING

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:

   ANGLEBRACKIRI ::= IRI_REF
   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
   SYMSPACE       ::= UNICODESTRING

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 
(http://www.w3.org/2005/rules/wiki/DTB#Constants_and_Symbol_Spaces)"

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 
(http://www.w3.org/2005/rules/wiki/DTB#Shortcuts_for_Constants_in_RIF.27s_Presentation_Syntax)

This is a critical comment from my side.

best,
Axel

-- 
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:52 GMT