- From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
- Date: Tue, 9 Jun 2009 12:31:28 -0400
- 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 UTC