Uses of Package
org.semanticweb.HermiT

Packages that use org.semanticweb.HermiT
org.semanticweb.HermiT   
org.semanticweb.HermiT.cli   
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
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.