The reasoners used in our evaluation, together with execution scripts, are available here. The ontologies used in our evaluation were taken from the ORE competition 2015. The benchmarks used, as well as detailled information about the ontologies, can be found here. Specifically, we used the ontologies in the OWL EL realisation track, as well as the 150 ontologies in the OWL DL realisation track which contained less than 10,000 logical axioms.

The numbers and statistics in the paper regard only ontologies that could be processed by all ontologies in all frequencies. Corresponding numbers and statistics for the complete set of ontologies, with energy measurements taken also for computations that caused an exception or a timeout, are provided here.