- From: pat hayes <phayes@ai.uwf.edu>
- Date: Thu, 8 May 2003 10:52:30 -0500
- To: Sandro Hawke <sandro@w3.org>
- Cc: Patrick.Stickler@nokia.com, GK@ninebynine.org, uri@w3.org
> > Even if, according to the MT, the denotation/interpretation of a >> given URI may differ, what counts for the SW is that those >> denotations/interpretations be compatible. >> >> Incompatible denotations/interpretations are what harm the SW. Just for the record, this is nonsense as stated. One wouldn't expect that two different interpretations would be compatible. What I think Patrick meant is that incompatible ASSERTIONS are what harm the SW. That is debateable, but at least it makes sense. >It seems to me that making use of a URI in RDF amount to an owl:import >of the URI's associated web content pretty well solves this problem. >It would make any incompatible use of a URI looks about the same as >self-contradicting RDF graph. Yes, but... 1. There isn't any clear notion defined anywhere (AFAIK) of what is 'the ... associated web content' of a URI. (What is the associated Web content of, say, rdfs:Class ?) This is precisely the ball that has been dropped between the SW community and the URI community. Each thinks that it is the other's problem. 2. owl:import doesn't have any well-defined nontrivial semantics (yet). 3. There is no such thing as a self-contradicting RDF graph. So while I agree that this picture has a nice intuitive feel to it, a lot of work needs doing before we can make it coherent. - Pat > I argued for this a while ago [1] and >mentioned it again yesterday in e-mail which oddly is absent from the >archives (with "KIF" in the subject). > > -- sandro > >[1] http://lists.w3.org/Archives/Public/www-rdf-comments/2002OctDec/0043 -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32501 (850)291 0667 cell phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes s.pam@ai.uwf.edu for spam
Received on Thursday, 8 May 2003 11:52:36 UTC