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

[PRD] Semantics of rule sets patched

From: Christian de Sainte Marie <csma@ilog.fr>
Date: Mon, 20 Oct 2008 13:09:09 +0200
Message-ID: <48FC66D5.8070103@ilog.fr>
To: RIF WG <public-rif-wg@w3.org> 

All,

I patched the section on the operation semantics of rules and rule sets in PRD to add back the definitions that had been left out in the reorganisation of the document, and I modified the specification of the function InstantiateRULE to refer to the model-theoretic specification of the semantics of rule conditions (instead of the previous operational specification to the same effect).

Cheers,

Christian
Received on Monday, 20 October 2008 11:10:02 GMT

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