org.semanticweb.reasonerfactory.hermit
Classes
HermiTReasonerFactory