org.semanticweb.owl.explanation.impl.blackbox.checker

Classes

• BlackBoxExplanationGeneratorFactory
• ConsistencyEntailmentChecker
• ConsistencyEntailmentCheckerFactory
• DefaultBlackBoxConfiguration
• InconsistentOntologyExplanationGeneratorFactory
• PatternBasedConsistencyEntailmentChecker
• PatternBasedConsistencyEntailmentCheckerFactory
• SatisfiabilityEntailmentChecker
• SatisfiabilityEntailmentCheckerFactory

Exceptions

• SatisfiabilityEntailmentChecker.UnsupportedAxiomTypeException