- From: Christian De Sainte Marie <csma@fr.ibm.com>
- Date: Mon, 1 Jun 2009 21:06:39 +0200
- To: RIF <public-rif-wg@w3.org>
- Message-ID: <OF9060B9A7.A52C7A16-ONC12575C8.006681C9-C12575C8.0068FA92@fr.ibm.com>
********* NOTICE ********** My new email address at IBM is: csma@fr.ibm.com My ILOG email address will not be forwarded after June 8 ***************************** All, I have added, in subsection "Production rule interchange", in the Overview, a paragraph stating that "The semantics of condition formulas and the semantics of rules and rule sets make no assumption regarding how condition formulas are evaluated. In particular, they do not require that condition formula be evaluated using pattern matching. However, RIF-PRD conformance, as defined in the section Conformance and interoperability, requires only support for safe rules, that is, forward-chaining rules where the conditions can be evaluated based on pattern matching only." I have also added language to the same effect in introduction of section 2.2 (Operation semantics of condition formulas), and just before section 4.2 (Operational semantics of rules and rule sets). This completes ACTION-825. Cheers, Christian ILOG, an IBM Company 9 rue de Verdun 94253 - Gentilly cedex - FRANCE Tel. +33 1 49 08 35 00 Fax +33 1 49 08 35 10 Sauf indication contraire ci-dessus:/ Unless stated otherwise above: Compagnie IBM France Siège Social : Tour Descartes, 2, avenue Gambetta, La Défense 5, 92400 Courbevoie RCS Nanterre 552 118 465 Forme Sociale : S.A.S. Capital Social : 609.751.783,30 ? SIREN/SIRET : 552 118 465 02430
Received on Monday, 1 June 2009 19:07:57 UTC