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

Hi Thomas

> suddenly so quiet here :-)
Waiting for you to speak. The silence before Thomas is already Thomas [1]
>
> 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.
We are in an open world, and domain and range act as both necessary and 
sufficient conditions.
a:foo  owl:sameAs  b:bar
entails
a:foo  a  owl:Thing
b:bar  a  owl:Thing
> OWL object properties are not a super market of social 
> interreferencing :-)
>
> However, isn't everything an owl:Thing?
> I have to confess, reading the specs, I am not that sure.
> Am I an owl:Nothing?
No, as soon as you declare to be the same as yourself
:Thomas   owl:sameAs  :Thomas
entails
:Thomas  a   owl:Thing

This is how the open world goes, even if you are alone in it:
Good night. You'd better listen to Mozart :)

Bernard


[1] * *«Quand on a entendu du Mozart, le silence qui suit est encore du 
Mozart.» (Sacha Guitry, Toutes réflexions faites)
-- 

*Bernard Vatant
*Knowledge Engineering
----------------------------------------------------
*Mondeca**
*3, cité Nollez 75018 Paris France
Web:    www.mondeca.com <http://www.mondeca.com>
----------------------------------------------------
Tel:       +33 (0) 971 488 459
Mail:     bernard.vatant@mondeca.com <mailto:bernard.vatant@mondeca.com>
Blog:    Leçons de Choses <http://mondeca.wordpress.com/>

Received on Tuesday, 20 May 2008 21:24:53 UTC