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>


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).


Received on Monday, 20 October 2008 11:10:02 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:53 UTC