Sigma / News: Recent posts

Sigma 2.0

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.

Posted by Adam Pease 2007-09-21

SUMO prize 2007

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) ( 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 ( for ontology development, extension and reasoning.... read more

Posted by Adam Pease 2007-07-31

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks