|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Classes in org.semanticweb.HermiT used by org.semanticweb.HermiT | |
---|---|
Configuration
|
|
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
|
|
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
|
|
EntailmentChecker.Edge
|
|
Prefixes
This class is responsible for abbreviating IRIs. |
|
Reasoner
Answers queries about the logical implications of a particular knowledge base. |
|
Reasoner.OntologyChangeListener
|
|
Reasoner.ReasonerFactory
|
Classes in org.semanticweb.HermiT used by org.semanticweb.HermiT.cli | |
---|---|
Configuration
|
|
Reasoner
Answers queries about the logical implications of a particular knowledge base. |
Classes in org.semanticweb.HermiT used by org.semanticweb.HermiT.debugger | |
---|---|
Prefixes
This class is responsible for abbreviating IRIs. |
Classes in org.semanticweb.HermiT used by org.semanticweb.HermiT.hierarchy | |
---|---|
Prefixes
This class is responsible for abbreviating IRIs. |
|
Reasoner
Answers queries about the logical implications of a particular knowledge base. |
Classes in org.semanticweb.HermiT used by org.semanticweb.HermiT.model | |
---|---|
Prefixes
This class is responsible for abbreviating IRIs. |
Classes in org.semanticweb.HermiT used by org.semanticweb.HermiT.structural | |
---|---|
Configuration
|
|
Configuration.WarningMonitor
|
Classes in org.semanticweb.HermiT used by org.semanticweb.HermiT.tableau | |
---|---|
Prefixes
This class is responsible for abbreviating IRIs. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |