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

BLD restriction

From: Chris Welty <cawelty@gmail.com>
Date: Thu, 17 Sep 2009 14:18:37 -0400
Message-ID: <4AB27D7D.3020707@gmail.com>
To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org> 

IN 2.6.1 of BLD, second para, it says:

"RIF-BLD conditions permit only existential variables. "

Is this just vestigial?  Not sure what it is supposed to mean.  Maybe that 
existentials can only appear in conditions?

-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 Thursday, 17 September 2009 18:19:19 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 17 September 2009 18:19:20 GMT