- From: Christian de Sainte Marie <csma@ilog.fr>
- Date: Tue, 24 Jun 2008 16:39:31 +0200
- To: Adrian Paschke <adrian.paschke@biotec.tu-dresden.de>
- CC: "'Gary Hallmark'" <gary.hallmark@oracle.com>, "'pu >> RIF WG'" <public-rif-wg@w3.org>
Adrian Paschke wrote:
> Gary,
>
> Excellent job!
>
>
> Christian, Gary,
>
> I added a small extension to the presentation syntax in chapter 2.5.
> allowing variables in the assert and retract actions
>
> ASSERT ::= Atom | Frame | Var
> Retract ::= 'Retract' '(' Atom | Frame | Var ')'
>
> [...]
>
> We already use equal for single assignment to variables such as "?f1 =
> (valve ?v open)".
Do we? I do not think that we want reification in PRD, do we?
However, Adiran syntax might be a way to handle the creation/deletion of
objects.
I would not include it in FPWD, though, before we discuss it more (e.g.,
in the assert, would it be a Var or a skolem fct like _new?)
> I would even propose to add a "*" to the EBNF, so that we can directly
> describe multiple retracts / asserts such as "(retract ?f1 ?f2)", instead of
> splitting them into two retracts, retract(?f1) retract(?f2).
Do you want to table that in issue 62?
Cheers,
Christian
Received on Tuesday, 24 June 2008 14:40:20 UTC