The Suggested Upper Merged Ontology (SUMO) is being created as part of the IEEE Standard Upper Ontology Working Group. It is distributed subject to an IEEE license.
SUMO is already available in KIF, OWL, LOOM, and Protege formats. For Leonardo we have downloaded the KIF version of SUMO, partitioned it into ten separate files representing its different sections, and converted each of them to a Leonardo entityfile. The following are links to those files:
sumo1: Structural Ontology
sumo2: Base Ontology
sumo3: Numeric Functions
sumo4: Set/Class Theory and Graph Theory
sumo5: Units of Measure
sumo6: Temporal concepts
sumo7: Mereotopology
sumo8: Processes
sumo9: Objects
sumoA: Qualities
The transformation is fairly self-evident: ground instances of binary relations have been converted to Leonardo attributes; propositions using the 'documentation' predicate have become Leonardo properties called 'Comment', and non-ground axioms have been collected into a property called 'Axioms' for the entity that is immediately documented by the axiom, using a simple syntactic criterium. Ground instances of relations of more than two arguments have been given special treatment.
We can not yet report any use of the SUMO ontology in our system, but the SUMO files are offered here as an example of using the LDX notation for a relatively large size knowledge base.
Niles, I., and Pease, A. 2001. Towards a Standard Upper Ontology. In Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS-2001), Chris Welty and Barry Smith, eds, Ogunquit, Maine, October 17-19, 2001.