"Comparison of reasoners for large ontologies in the OWL 2 EL profile."

Kathrin Dentler et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics