Uses of Package
org.semanticweb.HermiT

Packages that use org.semanticweb.HermiT

Package	Description
org.semanticweb.HermiT
org.semanticweb.HermiT.debugger
org.semanticweb.HermiT.hierarchy
org.semanticweb.HermiT.model
org.semanticweb.HermiT.structural
org.semanticweb.HermiT.tableau

Classes in org.semanticweb.HermiT used by org.semanticweb.HermiT

Class and Description
Configuration Configuration for the reasoner.
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.PrepareReasonerInferences Prepare reasoner inferences.
Configuration.TableauMonitorType Tableau monitors can be used to be informed about what HermiT does and they can be useful for debugging the reasoner.
Configuration.WarningMonitor Warning monitor.
Prefixes This class is responsible for abbreviating IRIs.
Reasoner Answers queries about the logical implications of a particular knowledge base.
ReasonerFactory Reasoner factory.

Classes in org.semanticweb.HermiT used by org.semanticweb.HermiT.debugger

Class and Description
Prefixes This class is responsible for abbreviating IRIs.

Classes in org.semanticweb.HermiT used by org.semanticweb.HermiT.hierarchy

Class and Description
Reasoner Answers queries about the logical implications of a particular knowledge base.

Classes in org.semanticweb.HermiT used by org.semanticweb.HermiT.model

Class and Description
Prefixes This class is responsible for abbreviating IRIs.

Classes in org.semanticweb.HermiT used by org.semanticweb.HermiT.structural

Class and Description
Configuration Configuration for the reasoner.

Classes in org.semanticweb.HermiT used by org.semanticweb.HermiT.tableau

Class and Description
Prefixes This class is responsible for abbreviating IRIs.