- From: Gary Hallmark <gary.hallmark@oracle.com>
- Date: Tue, 26 Feb 2008 17:00:25 -0800
- 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