SUO: Re: IFF Example?
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Two possibilities might be these:
1. Boolean functions, that is, the mathematical objects of type B^k -> B,
either up to some moderate size k, or summing over all of the finite k.
This would have to be a basic module in almost any approach to anything.
2. John Sowa's "Top Level Categories" (TLC), which was already incorporated
into SUMO the last time that I looked. Not to argue about the categories
themselves, but purely as an example of moderately complex structure that
can be expressed in terms of 25 primitive terms, as best I can remember.
I have also just picked up a fairly good intro to set theory
from a category theoretic perspective that may be useful in
this connection:
| Lawvere, F.W. & Rosebrugh, R.,
|'Sets For Mathematics',
| Cambridge University Press,
| Cambridge, UK, 2003.
Regards,
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Patrick Cassidy wrote:
>
> I am one of those who doesn't have enough background
> to know just what IFF would be good for, though I can
> catch a glimmer from the discussions of the cognoscenti.
> I think it would be very valuable if IFF were able
> to provide a standardized manner for representing
> classes and especially relations and defining axioms
> in a way that would help automate translation of one
> ontology to another, where the ontologies may
> focus on different areas, or have different surface
> representations, but are logically consistent. The
> task of organizing logically inconsistent ontologies --
> or John's lattice of theories -- is also important, but
> I would like to first focus on the task of finding
> translations ("mappings"?) between logically consistent
> ontologies (or portions of them).
> Is it possible for someone working with IFF to
> prepare a very simple ("as simple as possible, but
> no simpler") example of how IFF could be used to
> translate between a small fragment of two ontologies,
> say between OpenCyc and SUMO? If an IFF-er is
> willing to try, I would be happy to make suggestions
> as to what areas to try to translate.
> I believe that SUMO and OpenCyc are in fact not
> logically consistent overall, but there may be portions
> that are consistent, or can be made so with small
> modifications.
>
> Pat
>
> =============================================
> Patrick Cassidy
>
> MICRA, Inc. || (908) 561-3416
> 735 Belvidere Ave. || (908) 668-5252 (if no answer)
> Plainfield, NJ 07062-2054 || (908) 668-5904 (fax)
>
> internet: cassidy@micra.com
> =============================================
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o