org.semanticweb.owl.explanation.impl.blackbox

Interfaces

• AxiomAdditionHandler
• ContractionStrategy
• EntailmentChecker
• EntailmentCheckerFactory
• ExpansionStrategy

Classes

• AllInOneExpansionStrategy
• BlackBoxExplanationGenerator
• BlackBoxExplanationGenerator2
• Configuration
• DivideAndConquerContractionStrategy
• DynamicSlidingWindowContractionStrategy
• InconsistentOntologyClashExpansionStrategy
• InconsistentOntologyContractionStrategy
• InconsistentOntologyExpansionStrategy
• ModularityContractionStrategy
• OrderedAxiomWithWindowContractionStrategy
• OrderedDivideAndConquerStrategy
• PatternBasedEntailmentChecker
• SimpleContractionStrategy
• SimpleExpansionStrategy
• SlidingWindowContractionStrategy
• StructuralExpansionStrategy
• StructuralTypePriorityExpansionStrategy

Enums

• InitialEntailmentCheckStrategy