- From: pat hayes <phayes@ai.uwf.edu>
- Date: Thu, 26 Jul 2001 13:44:30 -0700
- To: Brian McBride <bwm@hplb.hpl.hp.com>
- Cc: w3c-rdfcore-wg@w3.org
> >I didn't intend that we get hung up on the nature of a signature. The >intent was to try to draw attention to the issue of whether the received >model is the same information as the sent one. I think we've agreed >that if the receiver skolemizes, then the information is not the same. Right. But we could interpret anonNodes so that the sender would have , in effect, skolemised, just by treating anonNodes as being in the same category as urirefs. The language wouldnt be affected significantly as far as making assertions was concerned, and there would be a few communication advantages. Eg if anonNodes really are exisententially quantified, then there is no way to refer to them outside the document in which they occur. You can send me the document, but neither you nor I can refer to that thing that exists: eg I can't ask you anything about it. If it has a name, I can. Eg A: there's a frog in my sandwich. B: what color is it? We can't do this since we don't have any way to say "it". Contrast: A: there's a frog which I will call 'joe' in my sandwich. B: what color is joe? >Consider running the scenario twice and the second time the anon resource >gets skolemized to skolem:54321. Given > > (3) skolem:54321 hasProperty Y . > >do (2) and (3) represent the same information. If the answer is yes, >then you must be treating skolem URI's differently from say URL's. If >the answer is no, they can't both represent the same information as in (1). Right, good example; though I think we have to treat URI's differently from URL's in any case. Pat --------------------------------------------------------------------- (650)859 6569 w (650)494 3973 h (until September) phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Thursday, 26 July 2001 16:44:20 UTC