> The new stuff contains equivalence relationships to the > old. I'd be much happier if I could prove that these > one-way, new-to-old equivalences were always > sufficient [...] Digitally sign the schemata? Really, this is the point at which trust and proof set in :-) cf. http://infomesh.net/2001/proofexample/ Cheers, -- Kindest Regards, Sean B. Palmer @prefix : <http://webns.net/roughterms/> . :Sean :hasHomepage <http://purl.org/net/sbp/> .Received on Wednesday, 26 September 2001 15:55:56 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 23 April 2007 18:19:53 GMT