The SUMO inference prizes totalling US$3000.00 will be 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 winner will receive $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.
- 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.
|