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

Re: #rdfms-identity-anon-resources: provenance

From: pat hayes <phayes@ai.uwf.edu>
Date: Thu, 26 Jul 2001 13:44:30 -0700
Message-Id: <v04210107b7862ff2919c@[]>
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.


(650)859 6569 w
(650)494 3973 h (until September)
Received on Thursday, 26 July 2001 16:44:20 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:03 UTC