W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2018

sameAs vs. differentFrom

From: Cristian Cocos <cristi@ieee.org>
Date: Thu, 18 Oct 2018 13:44:38 -0400
Message-ID: <CABiDSctap78B+x11=JdJ_jsj=7X8KP4a6bz426hdNWsqNRkJqw@mail.gmail.com>
To: public-owl-dev@w3.org
I was surprised to see that two individuals that were previously asserted
as owl:differentFrom were inferred to be, at the same time, owl:sameAs (due
to some unrelated axioms). Are these two properties not supposed to be
disjoint? Do reasoners know they are disjoint? I certainly have *not *seen
these two explicitly declared as disjoint, but I thought that that was
something that goes without saying. (And if they have not been conceived as
disjoint, why so?)

Anyway, what struck me was that the reasoner did not deem the ontology
inconsistent.

Any W3C OWL insiders care to explain this?

Many thanks,

Christian

-- 
"People think that I must be a very strange person. This is not correct. I
have the heart of a small boy. It is in a glass jar on my desk." -- Stephen
King
Received on Thursday, 18 October 2018 17:45:13 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 18 October 2018 17:45:14 UTC