Re: Managing Co-reference (Was: A Semantic Elephant?)

Hi Thomas,

> Re-reading the OWL spec I found that owl:sameAs has domain & range = 
> owl:Thing.
> So any two concepts which are not derived from owl:Thing cannot be 
> connected by owl:sameAs.
> OWL object properties are not a super market of social 
> interreferencing :-)
Normal, sameAs is about individuals, and not classes of instances 
(except if classes are instances of other classes :) ).
> However, isn't everything an owl:Thing?
Depends, see bellow.
> I have to confess, reading the specs, I am not that sure.
> Am I an owl:Nothing?

The OWL spec says that owl:Thing is the set of all individuals. So this 
is why owl:sameAs links individuals together (instances of classes).

"The class extension of |owl:Thing| is the set of all individuals."

However, you should take care, because in OWL-Full we have:

"In OWL Full all data values are considered also to be part of the 
individual domain. In fact, in OWL Full the universe of individuals 
consists of all resources (|owl:Thing| is equivalent to |rdfs:Resource|)."


So, everything depends on where you stand-up :)



Good luck ;)


Take care


Fred

Received on Tuesday, 20 May 2008 20:04:04 UTC