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