|
||||||||||
| 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 | |||||||||