Package org.semanticweb.HermiT.examples

Class Summary
ChangeFormat  
EntailmentChecking  
Explanations  
HermiTConfigurations This examples demonstrates how HermiT can be used with custom configurations.
HermiTDebugger This examples demonstrates how HermiT's debugger can be used to see models or reasons for a clash.
HierarchyPrettyPrinting This examples demonstrates how HermiT can be used to print the inferred class (object/data property) hierarchy in function-style syntax.
MaterialiseInferences This example Shows how to use HermiT as an OWLReasoner for materialising inferences.