W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > June 2003

Re: Cut back RDFCore semantics doc

From: pat hayes <phayes@ihmc.us>
Date: Tue, 17 Jun 2003 08:43:57 -0500
Message-Id: <p05210608bb14ca506023@[10.0.100.24]>
To: Brian McBride <bwm@hplb.hpl.hp.com>
Cc: w3c-rdfcore-wg@w3.org

>I had a chat with Pat yesterday, expressing my concerns, hightened by
>the failure to make a quorum last Friday, that the WG need to finish and
>that I could see no end to the steady trickle of error reports on the
>semantics document.
>
>Pat observed that many of the current difficulties are with the closure
>rules, an informative section of the document, and suggested we could
>move forward with that section removed.  He has prepared such a
>document:
>
>   http://www.ihmc.us/users/phayes/RDF_Semant_Edit_curt.html
>
>Pat also informed me he is about to be 'communications challenged' for a
>couple of weeks.
>
>I'm not sure if Pat is still working on correcting the closure rules.

Yes, he is.

>But even if he were and thought he had a correct set, it would take time
>to verify them and given the history, there has to be a concern that
>further remedial work would be needed.

Indeed.

>I note that the list of changes is also a lot shorter with section 4
>removed.
>
>I am leaning towards proceeding with the curtailed document as a
>proposed rec candidate.  I am assuming that removal of an informative
>section should not force a second last call. DanC?   The closure rules
>can always be published separately as a note.  This way we can have a
>proposed rec candidate for review by Friday.

I will be updating the document at that URL until late tomorrow, but 
the changes should not be substantial and will be noted in the change 
section.

>
>I'm still concerned about the presence of the LBase form.  I'd like to
>be sure we have got things right, and I'm not sure what argument would
>convince me that the lbase section was correct, given the difficulties
>we have encountered with the closure rules.

The key difference is that the document does not assert that they are 
right, except that to the editor's belief they are in correspondence 
with the model theory. The appendix is simply a summary of the model 
theory in axiomatic form.

>Please let me know what you think.
>
>Brian

Pat

PS, Brian, I would still like your suggestions about rewording
-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes@ihmc.us       http://www.ihmc.us/users/phayes
Received on Tuesday, 17 June 2003 09:44:01 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:57:55 EDT