- From: Christian de Sainte Marie <csma@ilog.fr>
- Date: Fri, 23 May 2008 17:38:00 +0200
- 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