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

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