|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |