Hi John,
The example I used was of SUMO's Process vs. DOLCE's Perdurant.
They cover a similar semantic need, but the details of the formal
definitions, and then all the connections to other definitions are so
complex and intertwined it seems clear to me that the return on
investment for merging isn't there. It's much easier to pick
one. Trying to merge formal ontologies seems to me to be harder even
than creating a new ontology from scratch. (01)
------------------------------------ (02)
Mapping (hard) (03)
- SUMO:Process (04)
(=>
(and
(instance ?PROC Process)
(subProcess ?SUBPROC ?PROC))
(exists (?TIME)
(time ?SUBPROC ?TIME))) (05)
- DOLCE:Perdurant (06)
TemporalPart(x, y) =df perdurant(x) ^ Part(x, y) ^ forall z((Part(z,
y) ^ z subset x) -> Part(z, x) (07)
-These are just some of many axioms in each ontology (08)
-------------------------------------- (09)
Adam (010)
At 10:01 AM 3/8/2006, bateman@xxxxxxxxxxxxx wrote: (011)
>Adam,
>
>you mentioned just now in the telecon some overheads that
>you used yesterday (?) to illustrate irreparable
>incompatibility between SUMO and DOLCE. Since you were
>last in Bremen 2-3 years ago we have been working more or less
>continuously on issues of relating deeply axiomatised
>ontologies. I would be interested in seeing the
>examples that you used so that we could consider
>how we would be going about relating these incompatibilities
>with our kinds of tools. This might make some of the
>discussion more concrete when it comes to what may or
>may not come out of the exercise of relating ontologies
>and also help relate to the other initiatives and
>actions in this direction.
>
>Could you send a pointer to the overheads?
>Best,
>John B.
>
> _________________________________________________________________
>Message Archives: http://ontolog.cim3.net/forum/uos-convene/
>To Post: mailto:uos-convene@xxxxxxxxxxxxxxxx
>Community Portal: http://ontolog.cim3.net/
>Shared Files:
>http://ontolog.cim3.net/file/work/UpperOntologySummit/uos-convene/
>Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UpperOntologySummit (012)
----------------------------
Adam Pease
http://www.ontologyportal.org - Free ontologies and tools (013)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/uos-convene/
To Post: mailto:uos-convene@xxxxxxxxxxxxxxxx
Community Portal: http://ontolog.cim3.net/
Shared Files: http://ontolog.cim3.net/file/work/UpperOntologySummit/uos-convene/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UpperOntologySummit (014)
|