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

Re: [Core](PRD] safeness

From: Christian De Sainte Marie <csma@fr.ibm.com>
Date: Wed, 10 Jun 2009 16:32:59 +0200
To: Dave Reynolds <der@hplb.hpl.hp.com>
Cc: RIF <public-rif-wg@w3.org>
Message-ID: <OF7CDDFEB2.639E6F47-ONC12575D1.004FB805-C12575D1.004FECF3@fr.ibm.com>
public-rif-wg-request@w3.org wrote on 10/06/2009 16:23:59:
> 
> > One thing that we could do is use the definition with DNF 
preprocessing 
> > in Core, and add an implementor's note with the definition of 
> > conditional boundedness and how conditions carry over, and 
conditionally 
> > bound variables eventually become bound (or not). Not sure it is 
useful, 
> > though.
> 
> I don't see the value of such an implementor's note in Core.

I meant, in PRD, the implementor's note. But, even in PRD, I am not sure 
there is that much value.

Cheers,

christian

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, 10 June 2009 14:33:39 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 10 June 2009 14:33:39 GMT