Hierarchy For Package org.semanticweb.HermiT

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo (implements org.protege.editor.owl.model.inference.ProtegeOWLReasonerInfo)
    • org.semanticweb.HermiT.ProtegeReasonerFactory
  • org.semanticweb.HermiT.Configuration (implements java.lang.Cloneable, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration, java.io.Serializable)
  • org.semanticweb.HermiT.Configuration.PrepareReasonerInferences
  • org.semanticweb.HermiT.EntailmentChecker (implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O>)
  • org.semanticweb.HermiT.Prefixes (implements java.io.Serializable)
    • org.semanticweb.HermiT.Prefixes.ImmutablePrefixes
  • org.semanticweb.HermiT.Reasoner (implements org.semanticweb.owlapi.reasoner.OWLReasoner)
  • org.semanticweb.HermiT.ReasonerFactory (implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory)
    • org.semanticweb.HermiT.Reasoner.ReasonerFactory

Interface Hierarchy

• org.semanticweb.HermiT.Configuration.WarningMonitor

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.semanticweb.HermiT.Configuration.TableauMonitorType
    • org.semanticweb.HermiT.Configuration.DirectBlockingType
    • org.semanticweb.HermiT.Configuration.BlockingStrategyType
    • org.semanticweb.HermiT.Configuration.BlockingSignatureCacheType
    • org.semanticweb.HermiT.Configuration.ExistentialStrategyType