Uses of Package
org.semanticweb.elk.reasoner.saturation

Packages that use org.semanticweb.elk.reasoner.saturation

Package	Description
org.semanticweb.elk.reasoner.consistency
org.semanticweb.elk.reasoner.incremental
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.reduction
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.conclusions
org.semanticweb.elk.reasoner.saturation.rules
org.semanticweb.elk.reasoner.taxonomy

Classes in org.semanticweb.elk.reasoner.saturation used by org.semanticweb.elk.reasoner.consistency

Class and Description
SaturationState Represents the state of saturation which can be changed by applying reasoning rules and processing their conclusions.
SaturationStatistics

Classes in org.semanticweb.elk.reasoner.saturation used by org.semanticweb.elk.reasoner.incremental

Class and Description
SaturationState Represents the state of saturation which can be changed by applying reasoning rules and processing their conclusions.
SaturationStatistics

Classes in org.semanticweb.elk.reasoner.saturation used by org.semanticweb.elk.reasoner.indexing.hierarchy

Class and Description
BasicSaturationStateWriter Functions that can write the saturation state are grouped here.

Classes in org.semanticweb.elk.reasoner.saturation used by org.semanticweb.elk.reasoner.reduction

Class and Description
SaturationState Represents the state of saturation which can be changed by applying reasoning rules and processing their conclusions.
SaturationStatistics

Classes in org.semanticweb.elk.reasoner.saturation used by org.semanticweb.elk.reasoner.saturation

Class and Description
BasicSaturationStateWriter Functions that can write the saturation state are grouped here.
ClassExpressionSaturationFactory.Engine
ClassExpressionSaturationListener A listener to be used with ClassExpressionSaturationFactory.
ContextCreationListener
ContextModificationListener
ExtendedSaturationStateWriter The extended writer for situations when new contexts may need to be created/initialized or removed.
SaturationJob
SaturationState Represents the state of saturation which can be changed by applying reasoning rules and processing their conclusions.
SaturationStatistics

Classes in org.semanticweb.elk.reasoner.saturation used by org.semanticweb.elk.reasoner.saturation.conclusions

Class and Description
BasicSaturationStateWriter Functions that can write the saturation state are grouped here.

Classes in org.semanticweb.elk.reasoner.saturation used by org.semanticweb.elk.reasoner.saturation.rules

Class and Description
BasicSaturationStateWriter Functions that can write the saturation state are grouped here.
ContextCreationListener
ContextModificationListener
ExtendedSaturationStateWriter The extended writer for situations when new contexts may need to be created/initialized or removed.
SaturationState Represents the state of saturation which can be changed by applying reasoning rules and processing their conclusions.
SaturationStatistics

Classes in org.semanticweb.elk.reasoner.saturation used by org.semanticweb.elk.reasoner.taxonomy

Class and Description
SaturationState Represents the state of saturation which can be changed by applying reasoning rules and processing their conclusions.
SaturationStatistics