- From: Graham Klyne <GK@NineByNine.org>
- Date: Fri, 12 Apr 2002 17:55:48 +0100
- To: <LMM@acm.org>
- Cc: "'Joshua Allen'" <joshuaa@microsoft.com>, <uri@w3.org>
At 08:22 AM 4/12/02 -0700, Larry Masinter wrote: > > But, and this is where I get uncomfortable, to perform such inference >one > > needs to look _inside_ the URI syntax, which seems to fly in the face >of > > universality/uniformity of URIs used in this way. > >You have to look inside the URI to decide that > http://www.NineByNine.org is the same as http://www.ninebynine.org. Sure. And that's not necessarily an inference I'd want to hardwire into an inference engine core. (And I'm sure this will cause me a few problems before I'm done with it all.) Based on: :p1 a :Person; :homePage <http://www.NineByNine.org> and :p2 a :Person; :homePage <http://www.ninebynine.org> alone, I'd be hard pushed to conclude :p1 and :p2 both denote the same person. And then there's: :p2 a :Person; :homePage <http://www.%6eineby%6eine.org> where does one draw the line? Now, if the web page contained embedded RDF something like: <> daml:equivalent <http://wWw.NiNeByNiNe.OrG> I _think_ I could then conclude that the homepage three URIs were equivalent: the ones used to retrieve the page both being equivalent to the one named in the page. In this way, equivalence of :p1 and :p2 becomes inferrable through mediation of the retrieval mechanism, which legitimately interprets the URI structure. #g -- >urn:tdb:1998:http://LaRrY.MaSiNtEr.NeT Who's that?-) ------------------- Graham Klyne <GK@NineByNine.org>
Received on Friday, 12 April 2002 13:21:40 UTC