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

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

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

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

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

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
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

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

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

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

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