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

Re: [PRD] ACTION-434: new PRD draft is out

From: Christian de Sainte Marie <csma@ilog.fr>
Date: Fri, 23 May 2008 17:38:00 +0200
Message-ID: <4836E4D8.7040803@ilog.fr>
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:
> 
> [...]  But your comment made me
> notice that there is a rule missing in the transition relation for 
> InstantiateRULE: that will be the only additional modification I will 
> make before the F2F.

Thinking of it, no need for additional transition rule (so robuts is the 
spec :-)

But I will mention explicitely that an empty formula or set of formulae 
match any set of facts wrt any substtution modulo any theory (in keeping 
with an empty conjunction and an empty condition being conventionally 
considered true).

Cheers,

Christian
Received on Friday, 23 May 2008 15:39:33 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:44 UTC