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

what does this test case entail?

From: Gary Hallmark <gary.hallmark@oracle.com>
Date: Tue, 26 Feb 2008 17:00:25 -0800
Message-ID: <47C4B629.3050401@oracle.com>
To: W3C RIF WG <public-rif-wg@w3.org>

I added a test case at 
http://www.w3.org/2005/rules/wiki/Entail_everything_Test_Case but am not 
sure I know what it entails in BLD.  Also, Christian, PRD says that a 
variable in a Forall ranges over all the Consts in WM (i.e. all the 
Consts in WM are "candidate bindings").  To be consistent with BLD, it 
can only range over the Consts that occur in an "individual position", a 
term which may need some clarification in BLD and should be introduced 
in PRD.
-- 


Oracle <http://www.oracle.com>
Gary Hallmark | Architect | +1.503.525.8043
Oracle Server Technologies
1211 SW 5th Avenue, Suite 800
Portland, OR 97204
Received on Wednesday, 27 February 2008 01:01:40 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:42 UTC