|
Class Summary |
| ChangeFormat |
|
| 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. |