W3C home > Mailing lists > Public > www-rdf-logic@w3.org > October 2000

Re: semantics of daml:equivalentTo [was: Comments on Annotated DAML 1.6]

From: Robert E. Kent <rekent@ontologos.org>
Date: Wed, 11 Oct 2000 09:29:36 -0700
Message-ID: <003c01c033a0$72177de0$7b76e4ce@Dell>
To: "Jim Hendler" <jhendler@darpa.mil>, "Dan Connolly" <connolly@w3.org>, "Grit Denker" <denker@csl.sri.com>
Cc: <www-rdf-logic@w3.org>
There is an abstract semantics for precisely this kind of type equivalence
in the context of ontology sharing in my ISKO6 paper "The Information Flow
Foundation for Conceptual Knowledge Organization"

Robert E. Kent

----- Original Message -----
From: "Jim Hendler" <jhendler@darpa.mil>
To: "Dan Connolly" <connolly@w3.org>; "Grit Denker" <denker@csl.sri.com>
Cc: <www-rdf-logic@w3.org>; <seanl@cs.umd.edu>
Sent: Wednesday, October 11, 2000 6:37 AM
Subject: Re: semantics of daml:equivalentTo [was: Comments on Annotated DAML

> While I'm not a details guy like Dan, I thought the definition of
> equivalency was a simple one (i.e. not actually equality) -- I
> thought we were striving for essentially "macro" like replacement --
> i.e. if (equiv XXX YYY) then it should mean replacing XX with YYY
> leaves meaning unchanged.  This may seem silly, but consider it where
> one ontology has something called "automobile" and another has
> something called "car" -- I may want some agent to know it can map
> between these two so I would want to be able to assert that
> ontology1:autombile is equivalent to ontology2:car.  Jeff Heflin and
> Sean Luke introduced this to the SHOE language, and it was quite
> useful (and they can correct me if I haven't explained it well) --
> Jeff's versioning work (see the SHOE web page) also uses this.
>   -Jim H.
> Dr. James Hendler jhendler@darpa.mil
> Chief Scientist, DARPA/ISO 703-696-2238 (phone)
> 3701 N. Fairfax Dr. 703-696-2201 (Fax)
> Arlington, VA 22203 http://www.cs.umd.edu/~hendler
Received on Wednesday, 11 October 2000 12:30:04 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:35 UTC