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 16:00:51 +0200
Message-ID: <486A3893.7000101@ilog.fr>
To: Christian de Sainte Marie <csma@ilog.fr>
CC: Mark Proctor <mproctor@redhat.com>, Gary Hallmark <gary.hallmark@oracle.com>, RIF WG <public-rif-wg@w3.org>

It might be clearer if it is correct :-)


Christian de Sainte Marie wrote:
> 
> <Forall>
>    <declare>
>       <Var> ?x </Var>
      </declare>
>    <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).

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

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