"A Benchmark for OWL 2 DL Reasoners."

Gunjan Singh, Sumit Bhatia, Raghava Mutharaju (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics