All Classes
AllInOneExpansionStrategy
AxiomAdditionHandler
AxiomTransformation
BaseDescriptionGenerator
BetaGenerator
BlackBoxExplanationGenerator
BlackBoxExplanationGenerator2
BlackBoxExplanationGeneratorFactory
BreadthFirstStrategy
ClassExpressionPosition
CompleteRootDerivedReasoner
Configuration
ConsistencyEntailmentChecker
ConsistencyEntailmentCheckerFactory
ConsoleExplanationProgressMonitor
ContractionStrategy
DefaultBlackBoxConfiguration
DeltaPlusTransformation
DeltaTransformation
DeltaTransformationUnfolder
DepthFirstStrategy
DivideAndConquerContractionStrategy
DynamicSlidingWindowContractionStrategy
EntailmentChecker
EntailmentCheckerFactory
ExpansionStrategy
Explanation
ExplanationComparator
ExplanationException
ExplanationGenerator
ExplanationGeneratorFactory
ExplanationGeneratorInterruptedException
ExplanationGeneratorMediator
ExplanationManager
ExplanationProgressMonitor
ExplanationTelemetryWrapper
HittingSetTree
HittingSetTreeCharacteristicsTest
HittingSetTreeConstructionStrategy
HittingSetTreeNode
InconsistentOntologyClashExpansionStrategy
InconsistentOntologyContractionStrategy
InconsistentOntologyExpansionStrategy
InconsistentOntologyExplanationGeneratorFactory
InitialEntailmentCheckStrategy
IsLaconicChecker
LaconicCheckerMode
LaconicExplanationGenerator
LaconicExplanationGeneratorBasedOnDeltaPlus
LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering
LaconicExplanationGeneratorBasedOnOPlus
LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering
LaconicExplanationGeneratorFactory
MaskingDetector
MaskingDetectorDeltaImpl
ModularityContractionStrategy
ModularityStrategy
ModularityTreatment
NestedIntersectionMaskingTestCase
NestedIntersectionTestCase
NodeAxiomsComparator
NonSimplePropertyConfiguration
NonSimplePropertyEntailmentChecker
NotEntailedException
NSPEntailmentCheckerFactory
NullExplanationProgressMonitor
OPlusGenerator
OPlusSplitting
OptimisedModuleExtractor
OrderedAxiomWithWindowContractionStrategy
OrderedDivideAndConquerStrategy
PatternBasedConsistencyEntailmentChecker
PatternBasedConsistencyEntailmentCheckerFactory
PatternBasedEntailmentChecker
Polarity
Position
RootDerivedReasoner
SatisfiabilityEntailmentChecker
SatisfiabilityEntailmentChecker.UnsupportedAxiomTypeException
SatisfiabilityEntailmentCheckerFactory
SETreeBuilder
SETreeExplanationGenerator
SETreeNode
SimpleContractionStrategy
SimpleExpansionStrategy
SlidingWindowContractionStrategy
StructuralExpansionStrategy
StructuralRootDerivedReasoner
StructuralTypePriorityExpansionStrategy
TauGenerator
TriviallyBottomChecker
TriviallyTopChecker
UnsupportedEntailmentException