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