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

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

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

Christian de Sainte Marie wrote:
>
> It might be clearer if it is correct :-)
Why the declare? Why not just
<pattern identifier="?x">

Also we shoudl not have to use a bound variable for field constraints:
?x[color->yellow; type->angel]

That should just be
<pattern identifier="?x"> Fish and [color->yellow; type->angel]</pattern>
The identifier is optional and used for later variable bindings, evals 
and actions. i.e. it could be
<pattern> Fish and [color->yellow; type->angel]</pattern>
>
>
> 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>...
that would make sense and consistent with how all PR systems work. An 
pattern must be bound in order to retract the bound object.
>> (same: we did not decide on the syntax for creating an object yet).
>
> Christian
>
>


-- 
JBoss, a Division of Red Hat
Registered Address: Red Hat UK Ltd, Amberley Place, 107-111 Peascod Street, Windsor, Berkshire, 
SI4 1TE, United Kingdom. 
Registered in UK and Wales under Company Registration No. 3798903 
Directors: Michael Cunningham (USA), Charlie Peters (USA), Matt Parsons (USA) and Brendan Lane (Ireland)
Received on Tuesday, 1 July 2008 14:25:18 GMT

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