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

Re: Cut back RDFCore semantics doc

From: pat hayes <phayes@ihmc.us>
Date: Wed, 2 Jul 2003 16:41:08 -0500
Message-Id: <p06001223bb2900abaa00@[10.0.100.7]>
To: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Cc: w3c-rdfcore-wg@w3.org

>
>
>Why do you prefer the wording in the editors draft over the wording in
>
>>>
>>>However your wording in msg
>>>
>>>http://lists.w3.org/Archives/Public/www-rdf-comments/2003AprJun/0202
>>>
>>>is, I believe, satisfactory.
>>>
>

As far as I can see, that is pretty much the wording in the draft. I 
tweaked it slightly to ensure that the closures were finite, by 
avoiding allocating bnodes to older bnodes. This also simplifies the 
statement of the completeness proofs a bit.  There is a paragraph in 
the ed. draft text (last para before section 7.2) which mentions that 
one can get all instantiators (!!  I needed that word) by allowing 
that case back in.

Pat
-- 
---------------------------------------------------------------------
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 Wednesday, 2 July 2003 17:41:12 EDT

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