- 1st (both classes) $1500 - SInE 0.3 - Krystof Hoder
- 2nd (both classes) $1000 - MaLARea 0.3 - Josef Urban
- 3rd (assurance class) $250 - iProver 0.5 - Konstantin Korovin
- 3rd (proof class) $250 - Vampire 10.0 - Andrei Voronkov
The SUMO reasoning prize is for the best reasoning performance on a set of SUMO-based tests.
The SUMO inference prizes totalling US$3000.00 was awarded to the best performance on the SMO category of the LTB division of CASC, held as CADE 2008. The LTB division has an assurance ranking class and a proof ranking class. In each ranking class the first place winner received $750, the second place $500, and the third place $250 (a system that wins the proof ranking class might also win the assurance ranking class).
Employees of Articulate Sofware, its subcontractors and funded partners are not eligible. All prover outputs will be mirrored on http://www.ontologyportal.org (as well as posted on the CASC site). Submission of open source provers is encouraged, although not strictly required.
Full requirements and rules for the SMO category of the LTB division of CASC, held at CADE 2008
The SUMO validation prize totalling US$300 will also test the performance of formal model-finders.
- Verify the consistency of, or provide feedback to repair, the base SUMO ontology.
- Verify the consistency of, or provide feedback to repair, the combined SUMO and MILO ontologies. Won by Krystof Hoder
- Verify the consistency of, or provide feedback to repair, the combined SUMO, MILO, and domain ontologies.
The winners of the SUMO challenges will each receive $100 in real US dollars, to be awarded at the CADE or IJCAR following successful completion of a challenge.
| The Suggested
Upper Merged Ontology is a formal theory,
like a dictionary for computers to read, of terms and logical
definitions describing the world.
|