Hierarchy For All Packages

Package Hierarchies:

• org.semanticweb.owl.explanation.api,
• org.semanticweb.owl.explanation.impl.blackbox,
• org.semanticweb.owl.explanation.impl.blackbox.checker,
• org.semanticweb.owl.explanation.impl.blackbox.hst,
• org.semanticweb.owl.explanation.impl.blackbox.nsp,
• org.semanticweb.owl.explanation.impl.laconic,
• org.semanticweb.owl.explanation.impl.masking,
• org.semanticweb.owl.explanation.impl.rootderived,
• org.semanticweb.owl.explanation.impl.setree,
• org.semanticweb.owl.explanation.impl.util,
• org.semanticweb.owl.explanation.modularity

Class Hierarchy

• java.lang.Object
  • org.semanticweb.owl.explanation.impl.blackbox.AllInOneExpansionStrategy (implements org.semanticweb.owl.explanation.impl.blackbox.ExpansionStrategy)
  • org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator (implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<O>)
    • org.semanticweb.owl.explanation.impl.laconic.BetaGenerator
    • org.semanticweb.owl.explanation.impl.laconic.TauGenerator
  • org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator<E> (implements org.semanticweb.owl.explanation.api.ExplanationGenerator<E>)
  • org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2<E> (implements org.semanticweb.owl.explanation.api.ExplanationGenerator<E>, org.semanticweb.owl.explanation.impl.blackbox.hst.ExplanationGeneratorMediator<E>)
  • org.semanticweb.owl.explanation.impl.blackbox.checker.BlackBoxExplanationGeneratorFactory<E> (implements org.semanticweb.owl.explanation.api.ExplanationGeneratorFactory<E>)
  • org.semanticweb.owl.explanation.impl.blackbox.hst.BreadthFirstStrategy<E> (implements org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeConstructionStrategy<E>)
  • org.semanticweb.owl.explanation.impl.util.ClassExpressionPosition
  • org.semanticweb.owl.explanation.impl.rootderived.CompleteRootDerivedReasoner (implements org.semanticweb.owl.explanation.api.RootDerivedReasoner)
  • org.semanticweb.owl.explanation.impl.blackbox.Configuration<E>
    • org.semanticweb.owl.explanation.impl.blackbox.checker.DefaultBlackBoxConfiguration
    • org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyConfiguration
  • 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.api.ConsoleExplanationProgressMonitor<E> (implements org.semanticweb.owl.explanation.api.ExplanationProgressMonitor<E>)
  • org.semanticweb.owl.explanation.impl.util.DeltaPlusTransformation (implements org.semanticweb.owl.explanation.impl.util.AxiomTransformation)
  • org.semanticweb.owl.explanation.impl.util.DeltaTransformation (implements org.semanticweb.owl.explanation.impl.util.AxiomTransformation)
  • org.semanticweb.owl.explanation.impl.util.DeltaTransformationUnfolder
  • org.semanticweb.owl.explanation.impl.blackbox.hst.DepthFirstStrategy<E> (implements org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeConstructionStrategy<E>)
  • org.semanticweb.owl.explanation.impl.blackbox.DivideAndConquerContractionStrategy (implements org.semanticweb.owl.explanation.impl.blackbox.ContractionStrategy)
    • org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyContractionStrategy
  • org.semanticweb.owl.explanation.impl.blackbox.DynamicSlidingWindowContractionStrategy (implements org.semanticweb.owl.explanation.impl.blackbox.ContractionStrategy)
  • org.semanticweb.owl.explanation.api.Explanation<E>
  • org.semanticweb.owl.explanation.impl.blackbox.hst.ExplanationComparator<E> (implements java.util.Comparator<T>)
  • org.semanticweb.owl.explanation.api.ExplanationManager
  • org.semanticweb.owl.explanation.api.ExplanationTelemetryWrapper (implements org.semanticweb.owl.explanation.telemetry.TelemetryObject)
  • org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree<E> (implements org.semanticweb.owl.explanation.telemetry.TelemetryObject)
  • org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeCharacteristicsTest
  • org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeNode<E>
  • org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyClashExpansionStrategy (implements org.semanticweb.owl.explanation.impl.blackbox.ExpansionStrategy)
  • org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyExpansionStrategy (implements org.semanticweb.owl.explanation.impl.blackbox.ExpansionStrategy)
  • org.semanticweb.owl.explanation.impl.blackbox.checker.InconsistentOntologyExplanationGeneratorFactory (implements org.semanticweb.owl.explanation.api.ExplanationGeneratorFactory<E>)
  • org.semanticweb.owl.explanation.impl.laconic.IsLaconicChecker
  • org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator<E> (implements org.semanticweb.owl.explanation.api.ExplanationGenerator<E>, org.semanticweb.owl.explanation.api.ExplanationProgressMonitor<E>)
  • org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnDeltaPlus (implements org.semanticweb.owl.explanation.api.ExplanationGenerator<E>)
  • org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering (implements org.semanticweb.owl.explanation.api.ExplanationGenerator<E>)
  • org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlus (implements org.semanticweb.owl.explanation.api.ExplanationGenerator<E>)
  • org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering (implements org.semanticweb.owl.explanation.api.ExplanationGenerator<E>)
  • org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorFactory<E> (implements org.semanticweb.owl.explanation.api.ExplanationGeneratorFactory<E>)
  • org.semanticweb.owl.explanation.impl.masking.MaskingDetectorDeltaImpl (implements org.semanticweb.owl.explanation.impl.masking.MaskingDetector)
  • org.semanticweb.owl.explanation.impl.blackbox.ModularityContractionStrategy (implements org.semanticweb.owl.explanation.impl.blackbox.ContractionStrategy)
  • org.semanticweb.owl.explanation.impl.laconic.NestedIntersectionMaskingTestCase
  • org.semanticweb.owl.explanation.impl.laconic.NestedIntersectionTestCase
  • org.semanticweb.owl.explanation.impl.blackbox.hst.NodeAxiomsComparator<E> (implements java.util.Comparator<T>)
  • org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyEntailmentChecker (implements org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker<E>)
  • org.semanticweb.owl.explanation.impl.blackbox.nsp.NSPEntailmentCheckerFactory (implements org.semanticweb.owl.explanation.impl.blackbox.EntailmentCheckerFactory<E>)
  • org.semanticweb.owl.explanation.api.NullExplanationProgressMonitor<E> (implements org.semanticweb.owl.explanation.api.ExplanationProgressMonitor<E>)
  • org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator (implements org.semanticweb.owl.explanation.impl.util.AxiomTransformation, org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O>)
  • org.semanticweb.owl.explanation.modularity.OptimisedModuleExtractor
  • org.semanticweb.owl.explanation.impl.blackbox.OrderedAxiomWithWindowContractionStrategy (implements org.semanticweb.owl.explanation.impl.blackbox.ContractionStrategy)
  • org.semanticweb.owl.explanation.impl.blackbox.OrderedDivideAndConquerStrategy (implements org.semanticweb.owl.explanation.impl.blackbox.ContractionStrategy)
  • 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.PatternBasedEntailmentChecker
  • org.semanticweb.owl.explanation.impl.util.Position
  • 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>)
  • org.semanticweb.owl.explanation.impl.setree.SETreeBuilder<O>
  • org.semanticweb.owl.explanation.impl.setree.SETreeExplanationGenerator (implements org.semanticweb.owl.explanation.api.ExplanationGenerator<E>)
  • org.semanticweb.owl.explanation.impl.setree.SETreeNode<O>
  • org.semanticweb.owl.explanation.impl.blackbox.SimpleContractionStrategy (implements org.semanticweb.owl.explanation.impl.blackbox.ContractionStrategy)
  • org.semanticweb.owl.explanation.impl.blackbox.SimpleExpansionStrategy<E> (implements org.semanticweb.owl.explanation.impl.blackbox.ExpansionStrategy)
  • org.semanticweb.owl.explanation.impl.blackbox.SlidingWindowContractionStrategy (implements org.semanticweb.owl.explanation.impl.blackbox.ContractionStrategy)
  • org.semanticweb.owl.explanation.impl.blackbox.StructuralExpansionStrategy (implements org.semanticweb.owl.explanation.impl.blackbox.ExpansionStrategy)
  • org.semanticweb.owl.explanation.impl.rootderived.StructuralRootDerivedReasoner (implements org.semanticweb.owl.explanation.api.RootDerivedReasoner)
  • org.semanticweb.owl.explanation.impl.blackbox.StructuralTypePriorityExpansionStrategy (implements org.semanticweb.owl.explanation.impl.blackbox.ExpansionStrategy)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • org.semanticweb.owlapi.model.OWLRuntimeException
          • org.semanticweb.owl.explanation.api.ExplanationException
            • org.semanticweb.owl.explanation.api.ExplanationGeneratorInterruptedException
            • org.semanticweb.owl.explanation.api.NotEntailedException
            • org.semanticweb.owl.explanation.api.UnsupportedEntailmentException
        • org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker.UnsupportedAxiomTypeException
  • org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker (implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<O>)
  • org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker (implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<O>)

Interface Hierarchy

• org.semanticweb.owl.explanation.impl.blackbox.AxiomAdditionHandler
• org.semanticweb.owl.explanation.impl.util.AxiomTransformation
• org.semanticweb.owl.explanation.impl.blackbox.ContractionStrategy
• org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker<E>
• org.semanticweb.owl.explanation.impl.blackbox.EntailmentCheckerFactory<E>
• org.semanticweb.owl.explanation.impl.blackbox.ExpansionStrategy
• org.semanticweb.owl.explanation.api.ExplanationGenerator<E>
• org.semanticweb.owl.explanation.api.ExplanationGeneratorFactory<E>
• org.semanticweb.owl.explanation.impl.blackbox.hst.ExplanationGeneratorMediator<E>
• org.semanticweb.owl.explanation.api.ExplanationProgressMonitor<E>
• org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeConstructionStrategy<E>
• org.semanticweb.owl.explanation.impl.masking.MaskingDetector
• org.semanticweb.owl.explanation.api.RootDerivedReasoner

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.semanticweb.owl.explanation.impl.blackbox.InitialEntailmentCheckStrategy
    • org.semanticweb.owl.explanation.impl.laconic.OPlusSplitting
    • org.semanticweb.owl.explanation.impl.laconic.ModularityTreatment
    • org.semanticweb.owl.explanation.impl.laconic.LaconicCheckerMode
    • org.semanticweb.owl.explanation.impl.util.Polarity
    • org.semanticweb.owl.explanation.impl.util.ModularityStrategy