Ontology Archaeology: Mining a Decade of Effort on the Suggested Upper Merged Ontology
Adam Pease, Christoph Benzmüller · 2010
ontology defined in first-order logic with some higher-order extensions [1]. The project began in the year 2000. Each version has been released open source and publicly from the start, which provides a unique record of the construction of a formal ontology. While initially just an upper ontology, it now encompasses a wide variety of domains, and some recent work has involved semi-automatically merging large factbases with the fully axiomatized hand-built content [3]. SUMO has been mapped by hand to all of English WordNet [6] and several other languages (Elkateb et al 2006; Borra et al 2010; Pease& Fellbaum, 2010) and is used in natural language understanding tasks (Pease & Li, 2010). SUMO is supported by tools for ontology development (Pease, 2003) and inference (Trac et al 2007) and used in the yearly CASC theorem proving competition (Pease et al 2010).