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

Re: [PRD] Semantics of actions

From: Gary Hallmark <gary.hallmark@oracle.com>
Date: Fri, 17 Oct 2008 14:55:27 -0700
Message-ID: <48F909CF.7040004@oracle.com>
To: Christian de Sainte Marie <csma@ilog.fr>
CC: RIF WG <public-rif-wg@w3.org>

step 3 in the defn of RIF-PRD (retract object) should remove o#c1, o#c2, 
etc. This also resolves your editor's note.
I think you should start numbering your frames with f1, not f0.

Christian de Sainte Marie wrote:
>
> Guys,
>
> after re-reading my interpretation of Gary's proposal in terms of 
> entailment (oh, ok: after reading it :-) I found out that my version 
> of conditions 2 and 3 was much to strong: I think it should be "phi 
> |=/= f", not "f |=/= phi" (same in condition 3, mutatis mutandi).
>
> I made the correction on the wiki.
>
> Cheers,
>
> Christian
>
>
Received on Friday, 17 October 2008 21:57:28 GMT

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