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

Re: RIF Core, and how much is PRD allowed to diverge from BLD [Was: Re: [PRD] Issues to resolve before publication]

From: Gary Hallmark <gary.hallmark@oracle.com>
Date: Mon, 30 Jun 2008 14:34:31 -0700
Message-ID: <48695167.3020602@oracle.com>
To: Dave Reynolds <der@hplb.hpl.hp.com>
CC: Christian de Sainte Marie <csma@ilog.fr>, RIF WG <public-rif-wg@w3.org>

I'm sure the word "core" is overloaded and means many things to many 

Right now, I'm concerned with an operational meaning, which is literally 
the intersection of BLD and PRD.  The larger this intersection, the 
better.  I don't care so much for NAU per se, I just use it as an 
example.  Because it is in BLD, the default should be that it is in PRD 
as well, unless there is some evidence that it is more difficult for PRD 
than for BLD.  There is no such evidence -- in fact, it is common in PRD 
(Jess and CLIPS have it)

Dave Reynolds wrote:
> Gary Hallmark wrote:
>> To maximize rule interchange between production rule engines and 
>> logic rule engines, clearly Core should be "as big as possible".  We 
>> can, should, and must decide that now.  I don't even know why I have 
>> to keep arguing this point.  The bias to keep BLD and PRD aligned 
>> with a large common core should be so high that the burden of proof 
>> is on you to show why NAU  should not be in Core.  You have provided 
>> no such proof.
> I haven't followed all the ins and outs of all this discussion but 
> even without PRD I'm not immediately convinced NAU should be in core.
> They seem relatively uncommon in rule languages. They got in, in the 
> end, on the grounds that they can be handled at the translation stage 
> for languages that don't support them. However, the notion of a "Core" 
> suggests some criteria of simplicity and minimality and there needs to 
> be a higher burden of proof that these extra syntactic features have 
> value in the Core.
> Dave
Received on Monday, 30 June 2008 21:39:22 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:51 UTC