"The OWL Reasoner Evaluation (ORE) 2015 Resources."

Bijan Parsia et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics