- From: Ian Davis <lists@iandavis.com>
- Date: Wed, 13 Jun 2007 11:25:25 +0100
- 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