[BLD] Summary of discussions around presentation syntax

Here is my summarized version of the proposed
grammar for 'Const' in BLD/FLD

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

---should be replaced by--->


    STRING        ::= '"' UNICODESTRING '"'

    CURIE         ::=  PNAME_LN | PNAME_NS

    Const         ::= STRING '^^'ANGLEBRACKIRI
                   | STRING '^^' CURIE
                   | ANGLEBRACKIRI       -> shortcut for rif:iri
                   | CURIE               -> shortcut for rif:iri
                   | STRING              -> shortcut for xsd:string
                   | NumericLiteral      -> shortcut for xsd:integer,
                                            xsd:decimal, xsd:double
                   | '_' LocalName       -> shortcut for rif:local
             <!--  | STRING LANGTAG      -> shortcut for rif:text  -->

This relies on reuse of the following grammar productions defined in 
other documents:

   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
     cf. http://www.w3.org/TR/rdf-sparql-query/#rNumericLiteral
   IRI_REF, cf. http://www.w3.org/TR/rdf-sparql-query/#rIRI_REF
     cf. http://www.w3.org/TR/2006/REC-xml-names11-20060816/#NT-LocalPart
   UNICODESTRING, any unicode string where quotes are escaped
      and additionally all the other escpape sequences defined in
      http://www.w3.org/TR/rdf-sparql-query/#grammarEscapes and

   - Axel to add xsd:double in DTB as symspace and datatype.

Open Issues:
- relative vs. absolute iri &  base iri definition not yet resolved
- prefix definition not yet resolved
- langtag shortcut for the moment not addressed, but probably needs revisit
   after this is resolved with the OWL WG.
- another issue: We should remove the sentence:
     "The compact URI notation is not part of the RIF-BLD syntax."
   from BLD.

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 Tuesday, 27 May 2008 09:53:07 UTC