W3C home > Mailing lists > Public > public-rif-wg@w3.org > June 2009

[PRD] ACTION-825 complete

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 GMT

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