W3C home > Mailing lists > Public > public-rif-wg@w3.org > June 2009

RE: quick fix for bld Groups (& core and FLD)?

From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
Date: Tue, 9 Jun 2009 12:31:28 -0400
Message-ID: <E4D07AB09F5F044299333C8D0FEB45E907EF0B3A@nrccenexb1.nrc.ca>
To: "Chris Welty" <cawelty@gmail.com>, "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Done (in BLD and FLD), Harold

http://www.w3.org/2005/rules/wiki/index.php?title=BLD&diff=10141&oldid=1
0114
http://www.w3.org/2005/rules/wiki/index.php?title=FLD&diff=10156&oldid=1
0113


-----Original Message-----
From: public-rif-wg-request@w3.org [mailto:public-rif-wg-request@w3.org]
On Behalf Of Chris Welty
Sent: June 8, 2009 12:03 PM
To: Public-Rif-Wg (E-mail)
Subject: quick fix for bld Groups (& core and FLD)?



The BLD eBNF says Groups can be empty - this is my recollection as well,
but 
so-called "mathematic" syntax (2.3) and the semantics (3.4) do not
reflect this.

Assuming the possibility of empty groups is allowable, then:

* section 2.3 item 6 (Groups) shoudl be updated to say something like:

As a special case, Group() is allowed and is treated as a tautology,
i.e., a 
formula that is always true.

* section 3.4 item 12 (Groups) shoudl be updated to say something like:

The empty group is treated as a tautology, so TValI(Group()) = t.

Michael is on vacation.  I'm happy to make the update myself but would
like a 
nod or two from someone that empty groups are desired (ignoring the fact
that 
several people don't want groups at all).

-Chris

-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty
Received on Tuesday, 9 June 2009 16:32:46 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 9 June 2009 16:32:47 GMT