We invite both reasoner developers and developers of challenging ontologies to submit their systems for participation in the OWL reasoner competition. For more information, please see the pages for
Please note: The deadline for all system submissions is the 27th June 2013.
We will use our benchmarking framework to measure the reasoner performance on various tasks and test sets. Most of the measurements will be performed before the ORE workshop day. There will also be a live competition during the DL workshop, and the trophy-giving will take place during the DL social dinner on the 24th July. More information about the competition will be announced here soon.