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

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

Package	Description
org.semanticweb.elk.reasoner.incremental
org.semanticweb.elk.reasoner.indexing
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.conclusions
org.semanticweb.elk.reasoner.saturation.context
org.semanticweb.elk.reasoner.saturation.rules
org.semanticweb.elk.reasoner.stages

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

Class and Description
Context An object representing an elementary unit of computation for saturation of an IndexedClassExpression, stored as a root of the Context.

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

Class and Description
Context An object representing an elementary unit of computation for saturation of an IndexedClassExpression, stored as a root of the Context.

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

Class and Description
Context An object representing an elementary unit of computation for saturation of an IndexedClassExpression, stored as a root of the Context.

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

Class and Description
Context An object representing an elementary unit of computation for saturation of an IndexedClassExpression, stored as a root of the Context.
ContextStatistics Keeps statistics about the number of created and modified contexts

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

Class and Description
Context An object representing an elementary unit of computation for saturation of an IndexedClassExpression, stored as a root of the Context.

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

Class and Description
Context An object representing an elementary unit of computation for saturation of an IndexedClassExpression, stored as a root of the Context.
ContextStatistics Keeps statistics about the number of created and modified contexts

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

Class and Description
Context An object representing an elementary unit of computation for saturation of an IndexedClassExpression, stored as a root of the Context.
ContextStatistics Keeps statistics about the number of created and modified contexts

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

Class and Description
Context An object representing an elementary unit of computation for saturation of an IndexedClassExpression, stored as a root of the Context.