W3C home > Mailing lists > Public > public-rif-wg@w3.org > December 2008

Re: Quick re-review of Core, with suggested Editor's Notes

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Wed, 10 Dec 2008 09:08:41 +0000
Message-ID: <493F8719.60102@hplb.hpl.hp.com>
To: "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca>
CC: Leora Morgenstern <leora@us.ibm.com>, public-rif-wg@w3.org

A quick update on the first EdNote ...

In doing my edits to the Core document over the weekend I commented to 
the rest of the editors that Vianu97 is no longer an appropriate 
reference in the way that paragraph is now phrased. My suggestion was 
that the rewritten PRD section should include a discussion on the 
equivalence of fixed-point/declarative readings for safe Core and 
appropriate references.

Harold has clarified the first editor's note in section 5 to reflect this.

Dave

Boley, Harold wrote:
> Hi Leora, Thanks much. Done. Best, Harold
>  
> http://www.w3.org/2005/rules/wiki/index.php?title=Core&diff=6946&oldid=6886 
> <http://www.w3.org/2005/rules/wiki/index.php?title=Core&diff=6946&oldid=6886>
>  
> 
> ------------------------------------------------------------------------
> *From:* public-rif-wg-request@w3.org 
> [mailto:public-rif-wg-request@w3.org] *On Behalf Of *Leora Morgenstern
> *Sent:* December 9, 2008 1:05 PM
> *To:* public-rif-wg@w3.org
> *Subject:* Quick re-review of Core, with suggested Editor's Notes
> 
> 
> This is a quick re-review of the December 7, 2008 version of Core.
> 
> The following editors' notes should be added, in accordance with the 
> discussion at the December 2, 2008 RIF telecon:
> 
> Section 5, end of second paragraph:
> 
> Editor's Note: A  reference to a specific section or theorem of Vianu97 
> will be provided in a future draft.
> 
> End of Section 5.1:
> 
> Editor's Note:   In a future draft, there will be further discussion on 
> the intuitions underlying this section's development of safety 
> conditions. Both positive and negative examples of various clauses in 
> the definition of safety will also be provided.
> 
> -----------------
> 
> In addition, please note the following stylistic issues which have been 
> introduced in the latest draft:
> 
> "Like RIF-BLD and RIF-PRD, RIF-Core has both *the *"presentation" syntax 
> and *the *"XML" syntax."
> 
> "This document assumes *the* familiarity with RIF-BLD and RIF-PRD."
> 
> Omit "*the*" in all cases.
> 
> "For instance, the requirement that each symbol *appears* in only one 
> context cannot be so expressed."
> 
> Change "appears" to "appear". (That's the way the subjunctive works in 
> English.)
> 
> Best regards,
> Leora
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
Received on Wednesday, 10 December 2008 09:10:12 GMT

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