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.

*** A test-ready version of the reasoner benchmarking framework is available from our repository! ***

Competition Infrastructure

The PC cluster for the competition is kindly provided by Konstantin Korovin at the University of Manchester, supported by the Royal Society grant RG080491.