ORE 2014: COMPETITION
Participating Systems
- TrOWL: http://trowl.eu/
- Konclude: http://www.derivo.de/en/produkte/konclude/
- ELepHant: https://code.google.com/p/elephant-reasoner/
- TReasoner: https://code.google.com/p/treasoner/
- HermiT: http://www.hermit-reasoner.com/
- MORe: http://code.google.com/p/more-reasoner/
- ELK: http://code.google.com/p/elk-reasoner/
- jcel: http://jcel.sourceforge.net/
- FaCT++: http://code.google.com/p/factplusplus/
- Jfact: http://sourceforge.net/projects/jfact/
- Chainsaw: http://sourceforge.net/projects/chainsaw/
Competition
In addition to the workshop we will run an OWL Reasoner Competition, which is part of the 1st FLoC Olympic Games. The FLoC Olympic Games are intended as a new FLoC tradition and Games will bring together a multitude of established solver competitions by different research communities. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremony (July 21, 2014, TBC).
We invite both reasoner developers and developers of challenging ontologies to submit their systems/ontologies for participation in the OWL reasoner competition. The preliminary outline for the competition is as follows:
- The test sets will include OWL ontologies from all OWL 2 profiles and of varying sizes, from a large corpus of ontologies (including ontologies from the NCBO BioPortal, a web crawl, and user-submitted ontologies).
- The tested tasks will include consistency checking, classification, and realisation.
- Developers will have to submit an executable wrapper script that triggers the reasoning system, and the system itself to the competition organizers, who will then carry out the benchmarks.
Further instructions and a testing framework is available at:
https://bitbucket.org/andreas-steigmiller/ore-2014-testing-framework
Please note: The deadline for all system submissions is 16th May 2014.
In addition to the system submissions, both reasoner and ontology developers are invited to submit a short paper describing their system/ontology. Note that the deadline for paper submissions is the 15th April 2014 (EXTENDED).