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

[PRD] Safeness definitions for review

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 3 June 2009 12:16:32 GMT