Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: SUO: The lattice of theories




Adam,

That's a good start:

AP> 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.

I'm sure that a collaboration with the OpenCyc and IFF people would
lead to lots of additional modules and alternatives.

John