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

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

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

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

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

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

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

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

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

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

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

SaturationStatistics