org.semanticweb.more.hermit
Classes 
HermiTforMORe
QuasiOrderClassificationForMORe