RE: "equivalentTo" in DAML+OIL

Name equivalence would surely be "Fred" = "Fred", surely this is about the
resources being equivalent "Fred Jones" = "Fred S. Jones"

---
Danny Ayers
http://www.isacat.net

<- -----Original Message-----
<- From: www-rdf-logic-request@w3.org
<- [mailto:www-rdf-logic-request@w3.org]On Behalf Of Seth Russell
<- Sent: 19 April 2001 06:59
<- To: Richard Fikes; www-rdf-logic
<- Subject: Re: "equivalentTo" in DAML+OIL
<-
<-
<- From: "Richard Fikes" <fikes@KSL.Stanford.EDU>
<-
<- > It seems that "equivalentTo" enables one to assert that any two
<- > resources are equal, meaning that they denote the same object in the
<- > domain of discourse.  I presume that means "equivalentTo" can
<- be used to
<- > assert that any two URIs are equal.
<-
<- Hmmm .. I take "equivalentTo" to assert that any two URIs denote the same
<- thing.  Not as you put it "equivalentTo enables one to assert
<- that any two
<- resources are equal".   In other words I take it that
<- "equivalentTo" states
<- a relationship between names, not between the resources they denote.
<-
<- Have I taken it correctly?
<-
<- Seth
<-
<-

Received on Wednesday, 18 April 2001 21:58:27 UTC