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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 13 January 2011 12:15:30 GMT