- From: Christian de Sainte Marie <csma@ilog.fr>
- Date: Fri, 20 Jun 2008 10:39:35 +0200
- To: RIF WG <public-rif-wg@w3.org>
- CC: Gary Hallmark <gary.hallmark@oracle.com>
</chair>
<Editor>
Christian de Sainte Marie wrote:
>
> IF ?c is a chicken such that the age of ?c in months is > 8
> AND ?p is a potato such that ?p is owned by ?c;
> AND the weight in decigrams of ?p > (age of ?c)/2;
> AND today is not Tuesday
> AND there is no fox in the hen house
> THEN mash ?p
> AND increase the grain allowance of ?c by 10%
> AND remove the couple (?c, ?p) from the ownership relation.
Actually, there should probably be no AND in the RHS. More like:
IF ?c is a chicken such that the age of ?c in months is > 8
AND ?p is a potato such that ?p is owned by ?c;
AND the weight in decigrams of ?p > (age of ?c)/2;
AND today is not Tuesday
AND there is no fox in the hen house
THEN mash ?p;
increase the grain allowance of ?c by 10%;
remove the couple (?c, ?p) from the ownership relation.
But that's a detail with respect to the difference between this and what
is in the last version of the draft :-)
Cheers,
Christian
</Editor>
<Chair>
Received on Friday, 20 June 2008 08:39:45 UTC