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

Re: RIF Internal reviews

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:08 GMT