|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| Configuration.WarningMonitor | |
| Class Summary | |
|---|---|
| Configuration | |
| Configuration.PrepareReasonerInferences | |
| EntailmentChecker | |
| Prefixes | This class is responsible for abbreviating IRIs. |
| Prefixes.ImmutablePrefixes | |
| Reasoner | Answers queries about the logical implications of a particular knowledge base. |
| Reasoner.ProtegeReasonerFactory | |
| Reasoner.ReasonerFactory | |
| Enum Summary | |
|---|---|
| Configuration.BlockingSignatureCacheType | Switches caching on or off (caching can only be used with non-core blocking and if the ontology does not contain nominals). |
| Configuration.BlockingStrategyType | The blocking strategy determines how which nodes HermiT considers for blockers. |
| Configuration.DirectBlockingType | Sets the blocking type used by HermiT. |
| Configuration.ExistentialStrategyType | Sets a strategy type that determines how HermiT expands the model. |
| Configuration.TableauMonitorType | Tableau monitors can be used to be informed about what HermiT does and they can be useful for debugging the reasoner. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||