Hierarchy For Package org.semanticweb.owl.explanation.impl.blackbox.checker

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • org.semanticweb.owl.explanation.impl.blackbox.checker.BlackBoxExplanationGeneratorFactory<E> (implements org.semanticweb.owl.explanation.api.ExplanationGeneratorFactory<E>)
  • org.semanticweb.owl.explanation.impl.blackbox.Configuration<E>
    • org.semanticweb.owl.explanation.impl.blackbox.checker.DefaultBlackBoxConfiguration
  • org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker (implements org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker<E>)
  • org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentCheckerFactory (implements org.semanticweb.owl.explanation.impl.blackbox.EntailmentCheckerFactory<E>)
  • org.semanticweb.owl.explanation.impl.blackbox.checker.InconsistentOntologyExplanationGeneratorFactory (implements org.semanticweb.owl.explanation.api.ExplanationGeneratorFactory<E>)
  • org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentChecker (implements org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker<E>)
  • org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentCheckerFactory (implements org.semanticweb.owl.explanation.impl.blackbox.EntailmentCheckerFactory<E>)
  • org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker (implements org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker<E>)
  • org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentCheckerFactory (implements org.semanticweb.owl.explanation.impl.blackbox.EntailmentCheckerFactory<E>)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker.UnsupportedAxiomTypeException