org.semanticweb.owl.explanation.impl.util

Interfaces

• AxiomTransformation

Classes

• ClassExpressionPosition
• DeltaPlusTransformation
• DeltaTransformation
• DeltaTransformationUnfolder
• Position

Enums

• ModularityStrategy
• Polarity