owlapi 3.4.8, jfact 1.1.0