org.semanticweb.HermiT.examples
Classes 
ChangeFormat
EntailmentChecking
Explanations
HermiTConfigurations
HermiTDebugger
HierarchyPrettyPrinting
MaterialiseInferences