- From: Christian De Sainte Marie <csma@fr.ibm.com>
- Date: Tue, 19 May 2009 15:27:32 +0200
- To: Changhai Ke <changhai.ke@fr.ibm.com>
- Cc: Chris Welty <cawelty@gmail.com>, "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
- Message-ID: <OF88DB93C0.0D383B82-ONC12575BB.0048B133-C12575BB.0049EF98@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 ***************************** Changhai, Thanx for the comments. I have, still, to go through most of them. However, I have worked on one of your main complaints, that is, the semantics of condition formulas. As you suggested, I reworked the wording so that the specification based on pattern matching could be moved first,; making the model-theoretic specification the alternativespecification (instead of the reverse). I explicited in the introduction of the section [1] that the two definitions are effectively equivalent and that the reader need not read both (but that they are equally normative). I also improved (or so I hope) the explanation why they are equivalent, at the end of the model-theoretic specification. Of the alternative that we discussed, I implemented the most radical one, which is to move the model-theoretic specification to an appendix [2]. It will be very easy to move it back, if the consensus is that the alternative specifications should rather be next to each other in the main text. The benefit of having one of the alternatives in an appendix is that it makes the document clearer and less cluttered. I did not look, yet, at the other comments. Cheers, Christian [1] http://www.w3.org/2005/rules/wiki/PRD#Semantics_of_condition_formulas [2] http://www.w3.org/2005/rules/wiki/PRD#Appendix:_Model-theoretic_semantics_of_RIF-PRD_condition_formulas 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 From: Changhai Ke/France/Contr/IBM@IBMFR To: Chris Welty <cawelty@gmail.com> Cc: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org> Date: 19/05/2009 14:07 Subject: Re: RIF Internal reviews Sent by: public-rif-wg-request@w3.org Chris and all, I have already provided my first version of PRD review to CSMA, but here it is (in word track changes): I'd like to read pages 30-35 in more details in the next days, if it's not too late (I have passed on them quickly). PS: My reviews were Core and PRD. Changhai From: Chris Welty <cawelty@gmail.com> To: Changhai Ke/France/Contr/IBM@IBMFR Cc: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org> Date: 19/05/2009 05:12 Subject: Re: RIF Internal reviews Changhai, We *really* need the PRD review by the telecon tomorrow. At this stage we only have one review (from Harold). Looks like Jos will not be able to provide one in time. I will review DTB tonite, to ensure we have 2 reviews there, but I won't be able to do PRD also. -Chris Changhai Ke wrote: > Note that I have sent my review of Core yesterday, and will review PRD. > > Changhai > > > > From: > Chris Welty <cawelty@gmail.com> > To: > Christian De Sainte Marie/France/Contr/IBM@IBMFR > Cc: > Changhai Ke/France/Contr/IBM@IBMFR, Jos de Bruijn <debruijn@inf.unibz.it>, > Axel Polleres <axel.polleres@deri.org>, Christopher Welty > <welty@us.ibm.com>, RIF WG Chairs <team-rif-chairs@w3.org> > Date: > 14/05/2009 19:16 > Subject: > Re: RIF Internal reviews > > > > > Also, please let us know ASAP if there is a chance you will not finish > your > review(s), so that we can try to find an alternate. > > Axel, you in particular seem at-risk since you have two to finish and > other > actions as well. Will you be able to finish? > > -Chris > > Christian De Sainte Marie wrote: >> Changhai, Jos, Axel, (and Chris and csma) >> >> We want to make the decisions re LC publications of all the documents at > >> the next telecon, Tuesday 19 May, and you have actions to review > Core,BLD, >> PRD, DTB, FLD and/or SWC [1-7]. >> >> Could you, please, prioritize whatever else you have to do (what do I > say? >> RIF is your only concern, of course!) to be able to send your comments > on >> Friday, Monday morning at the very latest? >> >> That way, the editors will be able to read your comments before the >> telecon, and we will be able to have an useful discussion at the telecon > >> re remaining work and publication planning. >> >> Thanx for your help, >> >> CC&S >> >> [1] http://www.w3.org/2005/rules/wg/track/actions/769 >> [2] http://www.w3.org/2005/rules/wg/track/actions/770 >> [3] http://www.w3.org/2005/rules/wg/track/actions/771 >> [4] http://www.w3.org/2005/rules/wg/track/actions/772 >> [5] http://www.w3.org/2005/rules/wg/track/actions/773 >> [6] http://www.w3.org/2005/rules/wg/track/actions/774 >> [7] http://www.w3.org/2005/rules/wg/track/actions/777 >> >> 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 >> >> > -- Dr. Christopher A. Welty IBM Watson Research Center +1.914.784.7055 19 Skyline Dr. cawelty@gmail.com Hawthorne, NY 10532 http://www.research.ibm.com/people/w/welty 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 [attachment "PRD Review by Changhai Ke.doc" deleted by Christian De Sainte Marie/France/Contr/IBM] 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 Tuesday, 19 May 2009 13:28:23 UTC