- From: Jeff Thompson <jeff@thefirst.org>
- Date: Tue, 05 Aug 2008 11:20:26 -0700
- 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 UTC