Re: "equivalentTo" in DAML+OIL

From: "Dan Connolly" <connolly@w3.org>

> Richard Fikes wrote:
> > 
> > It seems that "equivalentTo" enables one to assert that any two
> > resources are equal,
> 
> yes...
> 
> > meaning that they denote the same object in the
> > domain of discourse.
> 
> er... that they _are_ the same object in the domain of discourse.
> 
> >  I presume that means "equivalentTo" can be used to
> > assert that any two URIs are equal.
> 
> er... that they denote the same resource, yes.
> 

language: Sememglish

SethBot malines {
{
(a Rose) isA Rose;
(a Rose) smells sweet;
} 
but
{
I (can not smell) (a Rose)
}
}.