net.sourceforge.owlapi benchmarks 4.1.0-RC2 4.1.0-RC2 4.0.2 4.1.0-RC2 20150605191244