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

Re: [Core][PRD] Definition of safeness

From: Christian De Sainte Marie <csma@fr.ibm.com>
Date: Fri, 19 Jun 2009 14:33:23 +0200
To: Christian De Sainte Marie <csma@fr.ibm.com>
Cc: Axel Polleres <axel.polleres@deri.org>, Jos de Bruijn <debruijn@inf.unibz.it>, RIF <public-rif-wg@w3.org>, public-rif-wg-request@w3.org
Message-ID: <OF9BA342EB.098FB1D0-ONC12575DA.004324B5-C12575DA.0044F995@fr.ibm.com>
All,

csma wrote on 17/06/2009 23:24:07:
> 
> [...[ I will implement the change on Friday morning my time.

Done.

> If somebody comes up
> with a reasonably clear sentence to define B_psi wrt the sets of 
> conjuncts in a DNF, I will add it in the definition of strong 
> safeness; if not, I will copy, and edit as appropriate, the tree 
> decomposition from the current definition of safeness. 

I came up with the following sentence, and edited the section on strong 
safeness accordingly:

For every rule implication, ¶’ :- ¶◊, we define the collection, B¶◊, of the 
sets of the atomic formulas in each of the conjunctions that are the 
components of ¶◊', where ¶◊' is ¶◊ rewritten as a condition formula in 
disjunctive normal form, possibly existentially quantified itself, but 
otherwise containing no existential sub-formula (see description of the 
transform in the section Safeness, above). 

Feel free to improve the wording...

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 Friday, 19 June 2009 12:34:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 19 June 2009 12:34:41 GMT