[PRD] Semantics of rule sets patched

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

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 UTC