W3C home > Mailing lists > Public > semantic-web@w3.org > June 2007

Re: homonym URIs (Re: What if an URI also is a URL)

From: Ian Davis <lists@iandavis.com>
Date: Wed, 13 Jun 2007 11:25:25 +0100
Message-ID: <466FC615.2090209@iandavis.com>
To: Pat Hayes <phayes@ihmc.us>
CC: Sandro Hawke <sandro@w3.org>, semantic-web@w3.org

On 12/06/2007 17:21, Pat Hayes wrote:
> 
> You are begging the question. Suppose an ontology asserts
> 
> ex:Venus rdf:type ex:AstronomicalBody .
> 
> Now, what ties that object URI to the actual concept of being an 
> astronomical body? And so on for all the other URIs in all the other 
> OWL/RDF ontologies. The best you can do is to appeal to the power of 
> model theory to sufficiently constrain the interpretations of the entire 
> global Web of formalized information. But that argument from Herbrand's 
> theorem (basically, if it has a model at all then it has one made 
> entirely of symbols) applies just as well no matter how large the 
> ontology is.

Out of interest how do you attach the English word "Venus" to the 
physical body that you are referring to?

Ian
-- 
work - http://www.talis.com/platform
play - http://iandavis.com/blog
callto:ian_davis
Received on Wednesday, 13 June 2007 10:25:39 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:41:57 UTC