Sigma 2.0 has been released. It includes more robust and correct inference performance, and an experimental link to many new theorem provers. It has simplified and more stable installation procedures and many minor enhancements and bug fixes.
Following the success of last year's competition, and the award of the SUMO prize to Robin Sharp of the Technical University of Denmark, we are announcing the second annual SUMO prize for the best open source ontology extension of SUMO.
The Suggested Upper Merged Ontology (SUMO) (www.ontologyportal.org) is a large, open source, formal ontology with application to the semantic web, natural language understanding and logical reasoning. It has been mapped by hand to the entire WordNet English lexicon, and linked to many other human languages as well. It is part of the Sigma knowledge engineering system (sigmakee.sourceforge.net) for ontology development, extension and reasoning.... read more