Re: SUO: The lattice of theories
Folks,
At 08:25 AM 6/10/2002 -0400, John F. Sowa wrote:
[snip]
>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.
[snip]
>John Sowa
Adam Pease
Teknowledge
(650) 424-0500 x571