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

Re: [PRD] Issues to resolve before publication (NAU)

From: Christian de Sainte Marie <csma@ilog.fr>
Date: Tue, 01 Jul 2008 15:57:51 +0200
Message-ID: <486A37DF.20809@ilog.fr>
To: Mark Proctor <mproctor@redhat.com>
CC: Gary Hallmark <gary.hallmark@oracle.com>, RIF WG <public-rif-wg@w3.org>

Mark Proctor wrote:
> 
> I was just referring to this:
> http://www.ilog.com/products/jrules/documentation/jrules67/rsrules/rs_rul_techrule3.html
> 
> Fish(color==yellow; type==angel);

Oh, ok! That is typically where I would use a binding pattern, and I 
would rather have used a Frame than an NAU to translate that rule:

when
  {
     ?x: Fish(color==yellow; type==angel);
  }
then
  {
     retract ?x;
     insert Fish(yellow, shark);

would give (in abridged PRD XML):

<Forall>
    <declare>
       <Var> ?x </Var>
    <pattern> ?x#Fish and ?x[color->yellow; type->angel] </pattern>
    <formula>
       <Implies>
          <then> (if-part empty and, thus, omitted)
             <Retract> ?x </Retract>
(we did not decide the syntax for deleting an object yet, but it could 
be to retract the variable that is bound to it)
             <Assert>...
(same: we did not decide on the syntax for creating an object yet).

Cheers,

Christian
Received on Tuesday, 1 July 2008 14:06:52 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:50 GMT