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

[PRD] Refraction Semantics may be WRONG!

From: Gary Hallmark <gary.hallmark@oracle.com>
Date: Mon, 16 Nov 2009 16:36:06 -0800
Message-ID: <4B01EFF6.6070606@oracle.com>
To: RIF WG <public-rif-wg@w3.org>
CC: neal Wyse <neal.wyse@oracle.com>
I've discovered that refraction in OBR and Jess do not conform to the 
PRD spec. In particular, the
http://www.w3.org/2005/rules/wiki/Modify_noloop test case will always 
loop. The issue is that the PRD spec includes only the Forall variables 
in the rule instance, but my system(s) also includes the Exists 
variables in the rule instance.

What do the other PR systems do? Can you please try the Modify_noloop test?
Received on Tuesday, 17 November 2009 00:39:47 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:08:02 UTC