W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2001

Re: "equivalentTo" in DAML+OIL

From: Seth Russell <seth@robustai.net>
Date: Fri, 20 Apr 2001 03:27:06 -0700
Message-ID: <002901c0c984$74633a60$b17ba8c0@c1457248a.sttls1.wa.home.com>
To: "Dan Connolly" <connolly@w3.org>, "Richard Fikes" <fikes@KSL.Stanford.EDU>
Cc: "www-rdf-logic" <www-rdf-logic@w3.org>
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)
}
}.
Received on Friday, 20 April 2001 06:30:29 GMT

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