> > >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/phayesReceived 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