W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2008

Re: Intersection of properties?

From: Jeff Thompson <jeff@thefirst.org>
Date: Tue, 05 Aug 2008 11:20:26 -0700
Message-ID: <489899EA.6030904@thefirst.org>
To: Rinke Hoekstra <hoekstra@uva.nl>
CC: public-owl-dev@w3.org

Rinke Hoekstra wrote:
> On 5 aug 2008, at 00:43, Pavel Klinov wrote:
>> First off, unless UNA is asserted I'd say there's no reason to believe 
>> that the two Washingtons represent the same object. So there should be 
>> no contradiction.
> 
> To avoid confusion: this is *not* how UNA works in OWL. The no-UNA in 
> OWL states that if two entities do *not* have the same name, they are 
> *not* necessarily different. Asserting UNA will remove this, and will 
> make all entities with different names different.
> 
> However, if two entities have the same name, they *are* the same: this 
> is true under both the UNA and the no-UNA.

Thank you for saving my sanity! My brain was really melting trying to understand
how the same identifier doesn't identify the same entity.
Received on Tuesday, 5 August 2008 18:21:08 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:56 GMT