W3C home > Mailing lists > Public > www-webont-wg@w3.org > October 2002

SEM: peeking at approach to 4.6 EquivalentTo

From: Dan Connolly <connolly@w3.org>
Date: 25 Oct 2002 17:01:40 -0500
To: www-webont-wg@w3.org
Message-Id: <1035583300.23979.914.camel@dirk>

The writing on semantics seems to be coming along great...

I noticed what looks like an inconsistency between
the "stance on issues" take on 4.6...


#  The document does not have a construct (like daml:equivalentTo) for
asserting that a name is the same as another name, assuming that issue
4.6 will be resolved against including this feature in OWL.

and an actual spec for that very feature:

excerpt from

Some OWL properties have iff characterizations

If E is then <x,y> \in EXTI(SI(E)) iff

owl:sameIndividualAs x = y

I hope the "stance on issues" bit is just out of date.

If you have a moment to confirm, or to explain why
it's not, I'd appreciate it.

Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 25 October 2002 18:01:28 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:36 UTC