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

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

From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
Date: Tue, 9 Dec 2008 12:45:11 -0500
Message-ID: <E4D07AB09F5F044299333C8D0FEB45E904FFE750@nrccenexb1.nrc.ca>
To: "Leora Morgenstern" <leora@us.ibm.com>, <public-rif-wg@w3.org>
Hi Leora, Thanks much. Done. Best, Harold


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

Best regards, 
Received on Tuesday, 9 December 2008 17:46:50 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:51 UTC