SUO: the IFF approach to the lattice of theories (was: Re: Re: Including SUMO in the revised motion)
----- Original Message -----
From: "John F. Sowa" <sowa@bestweb.net>
To: "Adam Pease" <apease@ks.teknowledge.com>
Cc: <standard-upper-ontology@ieee.org>
Sent: Monday, April 21, 2003 9:32 AM
Subject: SUO: Re: Including SUMO in the revised motion
[snip]
> 1. Robert Kent and the other IFF developers should produce a
> minimal set of requirements (preferably stated in one page
> or less) that would be sufficient for any module from SUMO,
> OpenCyc, or other source to be suitable for incorporation
> in a lattice of the kind that IFF is formalizing.
As a first cut at a one page minimal set of requirements, some of the
comments and discussion about the IFF approach to the "lattice of theories"
have been collected into the document at the address
http://suo.ieee.org/IFF/lattice-of-theories.pdf
which is linked off the SUO IFF main page
http://suo.ieee.org/IFF/.
More specific material about the IFF truth namespace axiomatization will be
added soon. After this perhaps you (John S.) and others can help formulate a
minimal set of requirements.
Robert E. Kent
rekent@ontologos.org