org.semanticweb.owlapi.reasonerfactory.hermit
Classes 
HermiTReasonerFactory