org.semanticweb.elk.reasoner.saturation

Interfaces  BasicSaturationStateWriter ClassExpressionSaturationListener ContextCreationListener ContextModificationListener ExtendedSaturationStateWriter SaturationState

Classes  ClassExpressionNoInputSaturation ClassExpressionSaturation ClassExpressionSaturationFactory ContextImpl DummyClassExpressionSaturationListener SaturationJob SaturationStateFactory SaturationStatistics SaturationUtils