Package org.semanticweb.HermiT

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.