JFact 4.0
OWLAPI 4.0