|
The second annual SUMO Reasoning Prize will take place at
The CADE ATP System Competition
at CADE 2009. $3000 in prizes will be
awarded to the best reasoning performance on a set of SUMO-based tests. Congratulations
to 2008 first place winner
Krystof Hoder
for SiNE.
The Suggested Upper Merged Ontology (SUMO) and its domain ontologies form
the largest formal public ontology in existence today. They are being used
for research and applications in search, linguistics and reasoning. SUMO is
the only formal ontology that has been mapped to all of the
WordNet lexicon. SUMO is
written in the
SUO-KIF
language. SUMO
is free and owned by the IEEE. The ontologies that extend SUMO are available
under GNU General Public License.
Adam Pease is the
Technical Editor of SUMO.
|
 |
Find an English word and its corresponding formal term in SUMO:
|
- Mappings
to all of WordNet
- Language
generation templates for Hindi, Chinese, Italian, German, Czech and English
- Tool support for browsing and editing
- Largest free, formal ontology available, with 20,000 terms and 70,000 axioms when
all domain ontologies are combined. These consist of
SUMO itself,
the MId-Level Ontology (MILO),
and ontologies of
Communications,
Countries and Regions,
distributed computing,
Economy,
Finance,
engineering components,
Geography,
Government,
Military (general,
devices,
processes,
people),
North American Industrial Classification System,
People,
physical elements,
TransnationalIssues,
Transportation,
Viruses,
World Airports A-K,
World Airports L-Z,
WMD.
See also a large amount of instance content from DBPedia about
people and the
YAGO, project which includes
millions of facts from Wikipedia merged with SUMO, and an initial merge of the Mondial
geographical
data with SUMO.
Additional ontologies of terrorism are available on request.
- Richly axiomatized, not just a taxonomy. All terms are formally defined. Meanings are
not dependent on a particular inference implementation. An inference and ontology
management system however is provided.
An additional system that supports visual editing,
and does a better job of displaying the ontologies, especially
in non-Western languages is the
KSMSA system.
| Documentation and other resources |
|
|
 |
