org.semanticweb.owl.explanation.impl.laconic

Classes

• BaseDescriptionGenerator
• BetaGenerator
• IsLaconicChecker
• LaconicExplanationGenerator
• LaconicExplanationGeneratorBasedOnDeltaPlus
• LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering
• LaconicExplanationGeneratorBasedOnOPlus
• LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering
• LaconicExplanationGeneratorFactory
• NestedIntersectionMaskingTestCase
• NestedIntersectionTestCase
• OPlusGenerator
• TauGenerator
• TriviallyBottomChecker
• TriviallyTopChecker

Enums

• LaconicCheckerMode
• ModularityTreatment
• OPlusSplitting