- From: Mark Proctor <mproctor@redhat.com>
- Date: Tue, 01 Jul 2008 15:22:47 +0100
- 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 UTC