- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Thu, 31 Oct 2002 19:56:15 -0500
- 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 UTC