The OWL Reasoner Evaluation (ORE) 2015 Resources

Abstract

The OWL Reasoner Evaluation (ORE) Competition is anannual competition (with an associated workshop) which pits OWL 2compliant reasoners against each other on various standard reasoningtasks over naturally occurring problems. The 2015 competition was thethird of its sort and had 14 reasoners competing in six tracks comprisingthree tasks (consistency, classication, and realisation) over two proles(OWL 2 DL and EL). In this paper, we outline the design of the competitionand present the infrastructure used for its execution: the corporaof ontologies, the competition framework, and the submitted systems.All resources are publicly available on the Web, allowing users to easilyre-run the 2015 competition, or reuse any of the ORE infrastructure forreasoner experiments or ontology analysis