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

Re: BNF (and XML) grammar extensibility

From: Christian de Sainte Marie <csma@ilog.fr>
Date: Tue, 11 Mar 2008 15:38:31 +0100
Message-ID: <47D69967.8060704@ilog.fr>
To: Michael Kifer <kifer@cs.sunysb.edu>
CC: RIF WG <public-rif-wg@w3.org>

Michael,

Just a couple questions for clarification.

Michael Kifer wrote:
> 
> FLD Grammar:
> 
>    Formulaset     ::= 'RIFSet(' absolute-IRI? Metadata* Formula* ')'
>    Formula        ::= 'Formula(' FORMULACONTENT ')'

Shouldn't that be:
  Formula    ::= 'Formula('' absolute-IRI? Metadata* FORMULACONTENT ')'

>    FORMULACONTENT ::= 'And' '(' FORMULACONTENT* ')' |
>                       'Or' '(' FORMULACONTENT* ')' |
> 		      FORMULACONTENT ':-' FORMULACONTENT |
>                       'Exists' Var+ '(' FORMULACONTENT ')' |
>                       'Forall' Var+ '(' FORMULACONTENT ')' |

So, FLD allows nested quantifiers, right?

> BLD grammar:
> 
>    Ruleset        ::= 'RIFSet(' absolute-IRI? Metadata* Rule* ')'
>    Rule           ::= 'Rule(' absolute-IRI? Metadata* RULECONTENT ' ) '
>    RULECONTENT    ::= 'Forall' Var+ '(' BLDATOMIC (':-' CONDITION)? ')' | BLDATOMIC (':-' CONDITION)?

And BLD does not (and, thus, neither does Core). But this does not 
forbid PRD to allow it, if needed; correct?

>    // from here on the grammar is the same as in FLD
>    Metadata       ::= ' Metadata ( ' METADATALIST ' ) '
>    METADATALIST   ::= absolute-IRI METADATAVALUE | METADATALIST ' ; ' METADATALIST

Why not:
   METADATALIST  ::=  absolute-IRI METADATAVALUE ( ' ; ' METADATALIST)?

Cheers,

Christian
Received on Tuesday, 11 March 2008 14:38:07 GMT

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