- From: Christian De Sainte Marie <csma@fr.ibm.com>
- Date: Wed, 3 Jun 2009 14:15:43 +0200
- To: Gary Hallmark <gary.hallmark@oracle.com>
- Cc: RIF <public-rif-wg@w3.org>
- Message-ID: <OF8576324B.C2DF60E7-ONC12575CA.0043098A-C12575CA.00435AF0@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 ***************************** Jos, all, Gary Hallmark <gary.hallmark@oracle.com> wrote on 03/06/2009 07:52:39: > > As I said in an early email, I think we should start with the Safeness > definition in Core and extend to PRD. I have done just that: > > http://www.w3.org/2005/rules/wiki/PRD_Safeness > > Someone who understands Jos' formulation and how to extend it to add > negation should review (preferably, Jos himself) For the convenience of the reviewers, I re-grouped on that page ( http://www.w3.org/2005/rules/wiki/PRD_Safeness) the two definitions (extending the Core definition [1], and the operational one, excerpted from the PRD draft [2]). [1] http://www.w3.org/2005/rules/wiki/PRD_Safeness_As_Core_Extension [2] http://www.w3.org/2005/rules/wiki/PRD_Safeness_Operational 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 Wednesday, 3 June 2009 12:16:31 UTC