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

Re: BLD: two issues with the BNF

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Fri, 11 Jul 2008 12:36:02 -0400
To: Jos de Bruijn <debruijn@inf.unibz.it>
Cc: RIF <public-rif-wg@w3.org>
Message-ID: <20080711123602.44340bbc@kiferserv>

On Fri, 11 Jul 2008 09:29:54 +0200
Jos de Bruijn <debruijn@inf.unibz.it> wrote:

> 
> >> The second issue is not an error, but it can be considered misleading 
> >> (the BNF is too liberal): in the presentation syntax, rules are 
> >> quantified rule implications.  So, an atomic formula is not a rule and 
> >> may thus not be directly included in a group.  According to the BNF, an 
> >> atomic formula can be considered a rule; this is misleading.
> > 
> > There was a mistake in the math syntax. Groups should also allow atomic
> > formulas. Fixed.
> 
> One more thing: atomic formulas can also contain variables.  I guess 
> that such non-ground atomic formulas should not be allowed in groups?

I see no reasons why such formulas should be disallowed. They are allowed as part of the KB, so why disallow them in groups?
Received on Friday, 11 July 2008 16:36:53 GMT

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