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:02:49 UTC