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

Re: PROPOSAL to close issue 4.6 [was Re: SEM: peeking at approach to 4.6 EquivalentTo]

From: Jim Hendler <hendler@cs.umd.edu>
Date: Thu, 31 Oct 2002 19:56:15 -0500
Message-Id: <p0511170db9e7816177c5@[129.2.179.5]>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, www-webont-wg@w3.org
Cc: connolly@w3.org

At 2:30 PM -0500 10/31/02, Peter F. Patel-Schneider wrote:
>Given that Dan appears to like the solution in the new semantics document,
>I PROPOSE that the working group CLOSE Issue 4.6 EquivalentTo, with the
>following wording:
>
>daml:equivalentTo has had problems in its interpretation, particularly with
>respect to its relationship to daml:sameClassAs, daml:samePropertyAs, and
>daml:sameIndividual.  A general equivalentTo also has problems in OWL/DL,
>as it violates the separation between classes, properties, and individuals.
>Therefore, OWL will not have an equivalentTo. 
>
>Note: In OWL/DL, the effect of equivalentTo can be obtained by
>owl:sameClassAs for classes, owl:samePropertyAs for properties, and
>owl:sameIndividualAs for individuals.  In OWL/Full, owl:sameIndividualAs
>has same effect that daml:equivalentTo was intended to have.
>
>The new semantics document is compatible with this proposal.
>
>Peter F. Patel-Schneider
>Bell Labs Research
>

As the original issue raiser/owner, I could live with this solution.
  -JH

>
>
>
>From: Dan Connolly <connolly@w3.org>
>Subject: SEM: peeking at approach to 4.6 EquivalentTo
>Date: 25 Oct 2002 17:01:40 -0500
>
>>
>>  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...
>>
>>  ========
>>  http://www-db.research.bell-labs.com/user/pfps/temp/owl/semantics.html#1.2
>>
>>  #  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
>>  http://www-db.research.bell-labs.com/user/pfps/temp/owl/rdfs.html
>>
>>  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/
>>


-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler
Received on Thursday, 31 October 2002 19:56:22 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:53 GMT