Package org.semanticweb.HermiT

Interface Summary

Interface	Description
Configuration.WarningMonitor	Warning monitor.

Class Summary

Class	Description
Configuration	Configuration for the reasoner.
Configuration.PrepareReasonerInferences	Prepare reasoner inferences.
EntailmentChecker	Entailment checker.
Prefixes	This class is responsible for abbreviating IRIs.
ProtegeReasonerFactory	Protege reasoner factory.
Reasoner	Answers queries about the logical implications of a particular knowledge base.
Reasoner.ReasonerFactory	Deprecated use org.semanticweb.HermiT.ReasonerFactory
ReasonerFactory	Reasoner factory.

Enum Summary

Enum	Description
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.