- From: pat hayes <phayes@ihmc.us>
- Date: Wed, 2 Jul 2003 16:41:08 -0500
- 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 UTC