Re: SUO: The lattice of theories
At 08:25 AM 6/10/2002 -0400, John F. Sowa wrote:
>Furthermore, you can start your library with as many or as few theories
>as you want. A single monolithic theory, such as SUMO, is simply a
>lattice with just one element. If you break SUMO into modules, you can
>still keep SUMO in the lattice as one complete whole, with each of its
>submodules as different generalizations.
Just to clarify, SUMO is not a monolithic ontology. It has since version
22 (Nov, 2001) been divided into 11 modules. No one has proposed any
alternative versions (with axioms) for any of the modules however.
(650) 424-0500 x571