W3C home > Mailing lists > Public > www-rdf-interest@w3.org > April 2002

RE: Disambiguation; keeping the "U" in "URI" (& Documents, Cars, Hills, and Valleys)

From: Miles Sabin <msabin@interx.com>
Date: Thu, 25 Apr 2002 11:59:32 +0100
To: <www-rdf-interest@w3.org>
Message-ID: <001e01c1ec48$498d9320$a3eab8c3@milessabin.com>
Danny Ayers wrote,
> What if we consider the URI to represent a *set* then the 
> assertions :
>
> A http://www.markbaker.ca/index.html has long hair
> B http://www.markbaker.ca/index.html is hosted in Florida
>
> can be made 'in the wild', in that A & B refer to a different 
> element in the set http://www.markbaker.ca/index.html
>
> If we wish to reason with such statements, then locally we can pull 
> out the element of the set of interest, and give it a local unique 
> identifier (if necessary).
>
> If we want to harvest assertions about
> http://www.markbaker.ca/index.html the person, then we look for 
> those statements containing this URI, but only with predicates that 
> apply to or on a person.

This is pretty close to what I've been mulling over.

In fact, given your local renaming based on predicate satisfaction,
it's not a million miles away from the qua proposal I made earlier.
Effectively you're saying that predicates are typed, ie., that

  __ has long hair

is applicable to satisfiers of the 'person' predicate, and that

  __ is hosted in Florida

is applicable satisfiers of the 'document' predicate. Assuming that
nothing is both a person and a document, then a term-forming operator 
like qua could be used to reify predicate satisfaction such that,

  (x qua person) != (x qua document)

and such that,

  (x qua person) has long hair
  (x qua document) is hosted in Florida

typecheck, whereas,

  (x qua person) is hosted in Florida
  (x qua document) has long hair

don't.

In addition, we no longer have to worry too much about any possibly 
ambiguous reference of the unqualified x's. When it comes to making 
assertions we can assign local names to qua-terms, and proceed as 
tho' there were no ambiguity, eg.,

  let mark      = (http://www.markbaker.ca qua person),
      aboutmark = (http://www.markbaker.ca qua document)
  in
    aboutmark dc:Creator mark
  end;

('scuse the rough and ready ML'ish syntax).

> Now shoot me down in flames...

Not at all ... I think our positions are pretty close.

Cheers,


Miles
Received on Thursday, 25 April 2002 07:00:08 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:53 GMT