Re: Why URIs in RDF?

At 11:35 PM 1/14/03 -0500, Sandro Hawke wrote:
>But ... both HTTP and RDF use URIs!  Why is that?  We know why HTTP uses
>URIs, but what purpose do URIs serve in RDF?
>The RDF Concepts draft [1] says:
>     The expressive power of RDF corresponds to the
>     existential-conjunctive (EC) subset of first order logic [Sowa].
>     Through its use of extensible URI-based vocabularies, RDF provides
>     for expression of facts about arbitrary subjects; i.e. assertions
>     of named properties about specific named things. A URI can be
>     constructed for any thing that can be named, so RDF facts can be
>     about any such things.
>That second paragraph is crucial if vague.  Try actually communicating
>in first-order logic (let alone the EC subset) and you immediately
>realize that you and your audience must share an interpretation (a
>mapping of identifiers to the things they identify), or at least some
>of it.  An automated reasoner doesn't need to know anything about your
>interpretation, but your audience sure does.

I find myself fully agreeing with Roy about this.  I don't see anything 
broken here, hence nothing to be fixed.   (Apart from that the wording you 
quote still needs to be improved.)

I'm beginning to think that your assumption that people differ from 
automated reasoners in that they *do* need to know all about the intended 
denotation of a URI may not be valid.

Like the blind men and the elephant [1], sometimes all that matters, even 
to people, is the actual manifestations (representation) of a resource.

So it may matter less what the URI "" actually 
denotes than what representations it delivers, or what is asserted about 
it.  The representations and assertions provide partial knowledge which may 
or may not be sufficient to underpin communicate about whatever it is that 
is denoted.

Thus, there may be an arbitrary number of denotations of 
"" that satisfy all the observed data, and any 
may do.  What does it matter if it's a document or an organization?

"Here be elephants"



Graham Klyne

Received on Wednesday, 15 January 2003 09:22:35 UTC