Uses of Interface
org.semanticweb.elk.reasoner.saturation.context.Context

Packages that use 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

Uses of Context in org.semanticweb.elk.reasoner.incremental

Constructor parameters in org.semanticweb.elk.reasoner.incremental with type arguments of type Context

Constructor and Description
IncrementalChangesInitialization(Collection<ArrayList<Context>> inputs, ChainableRule<Context> changedGlobalRules, Map<IndexedClassExpression,ChainableRule<Context>> changes, SaturationState state, ComputationExecutor executor, SaturationStatistics stageStats, int maxWorkers, ProgressMonitor progressMonitor)
IncrementalChangesInitialization(Collection<ArrayList<Context>> inputs, ChainableRule<Context> changedGlobalRules, Map<IndexedClassExpression,ChainableRule<Context>> changes, SaturationState state, ComputationExecutor executor, SaturationStatistics stageStats, int maxWorkers, ProgressMonitor progressMonitor)
IncrementalChangesInitialization(Collection<ArrayList<Context>> inputs, ChainableRule<Context> changedGlobalRules, Map<IndexedClassExpression,ChainableRule<Context>> changes, SaturationState state, ComputationExecutor executor, SaturationStatistics stageStats, int maxWorkers, ProgressMonitor progressMonitor)

Uses of Context in org.semanticweb.elk.reasoner.indexing

Methods in org.semanticweb.elk.reasoner.indexing that return types with arguments of type Context

Modifier and Type	Method and Description
LinkRule<Context>	OntologyIndex.getContextInitRuleHead()

Uses of Context in org.semanticweb.elk.reasoner.indexing.hierarchy

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy that return Context

Modifier and Type	Method and Description
Context	IndexedClassExpression.getContext()

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy that return types with arguments of type Context

Modifier and Type	Method and Description
ChainableRule<Context>	DifferentialIndex.getAddedContextInitRules()
Map<IndexedClassExpression,ChainableRule<Context>>	DifferentialIndex.getAddedContextRulesByClassExpressions()
LinkRule<Context>	IndexedClassExpression.getCompositionRuleHead()
Chain<ChainableRule<Context>>	DirectIndex.getContextInitRuleChain()
LinkRule<Context>	DirectIndex.getContextInitRuleHead()
ChainableRule<Context>	DifferentialIndex.getRemovedContextInitRules()
Map<IndexedClassExpression,ChainableRule<Context>>	DifferentialIndex.getRemovedContextRulesByClassExpressions()

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type Context

Modifier and Type	Method and Description
void	IndexedObjectIntersectionOf.accept(DecompositionRuleApplicationVisitor visitor, Context context)
void	IndexedObjectComplementOf.accept(DecompositionRuleApplicationVisitor visitor, Context context)
void	IndexedClass.accept(DecompositionRuleApplicationVisitor visitor, Context context)
void	IndexedObjectUnionOf.accept(DecompositionRuleApplicationVisitor visitor, Context context)
void	IndexedObjectSomeValuesFrom.accept(DecompositionRuleApplicationVisitor visitor, Context context)
abstract void	IndexedClassExpression.accept(DecompositionRuleApplicationVisitor visitor, Context context)
void	IndexedIndividual.accept(DecompositionRuleApplicationVisitor visitor, Context context)
void	IndexedDataHasValue.accept(DecompositionRuleApplicationVisitor visitor, Context context)
void	IndexedObjectIntersectionOf.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedObjectComplementOf.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	DirectIndex.ContextRootInitializationRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedClass.OwlThingContextInitializationRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedObjectUnionOf.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedObjectSomeValuesFrom.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedSubClassOfAxiom.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedDisjointnessAxiom.ThisCompositionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedDisjointnessAxiom.ThisContradictionRule.accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
void	IndexedObjectIntersectionOf.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
void	IndexedObjectComplementOf.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
void	DirectIndex.ContextRootInitializationRule.apply(BasicSaturationStateWriter writer, Context context)
void	IndexedClass.OwlThingContextInitializationRule.apply(BasicSaturationStateWriter writer, Context context)
void	IndexedObjectUnionOf.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
void	IndexedObjectSomeValuesFrom.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
void	IndexedSubClassOfAxiom.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
void	IndexedDisjointnessAxiom.ThisCompositionRule.apply(BasicSaturationStateWriter writer, Context context)
void	IndexedDisjointnessAxiom.ThisContradictionRule.apply(BasicSaturationStateWriter writer, Context context)
static void	IndexedObjectSomeValuesFrom.generatePropagations(BasicSaturationStateWriter writer, IndexedPropertyChain property, Context context)
boolean	IndexedClassExpression.setContext(Context context) Sets the corresponding context if none was yet assigned.

Method parameters in org.semanticweb.elk.reasoner.indexing.hierarchy with type arguments of type Context

Modifier and Type	Method and Description
void	ModifiableOntologyIndex.add(IndexedClassExpression target, ChainableRule<Context> newRule) Adds a new context rule for the given IndexedClassExpression
void	DirectIndex.add(IndexedClassExpression target, ChainableRule<Context> rule)
void	DifferentialIndex.add(IndexedClassExpression target, ChainableRule<Context> newRule)
void	ModifiableOntologyIndex.addContextInitRule(ChainableRule<Context> newRule) Adds a new context initialization for this OntologyIndex.
void	DirectIndex.addContextInitRule(ChainableRule<Context> newRule)
void	DifferentialIndex.addContextInitRule(ChainableRule<Context> newRule)
boolean	IndexedObjectIntersectionOf.ThisCompositionRule.addTo(Chain<ChainableRule<Context>> ruleChain)
boolean	IndexedObjectComplementOf.ThisCompositionRule.addTo(Chain<ChainableRule<Context>> ruleChain)
boolean	DirectIndex.ContextRootInitializationRule.addTo(Chain<ChainableRule<Context>> ruleChain)
boolean	IndexedClass.OwlThingContextInitializationRule.addTo(Chain<ChainableRule<Context>> ruleChain)
boolean	IndexedObjectUnionOf.ThisCompositionRule.addTo(Chain<ChainableRule<Context>> ruleChain)
boolean	IndexedObjectSomeValuesFrom.ThisCompositionRule.addTo(Chain<ChainableRule<Context>> ruleChain)
boolean	IndexedSubClassOfAxiom.ThisCompositionRule.addTo(Chain<ChainableRule<Context>> ruleChain)
boolean	IndexedDisjointnessAxiom.ThisCompositionRule.addTo(Chain<ChainableRule<Context>> ruleChain)
boolean	IndexedDisjointnessAxiom.ThisContradictionRule.addTo(Chain<ChainableRule<Context>> ruleChain)
void	ModifiableOntologyIndex.remove(IndexedClassExpression target, ChainableRule<Context> oldRule) Removes an existing context rule for the given IndexedClassExpression
void	DirectIndex.remove(IndexedClassExpression target, ChainableRule<Context> rule)
void	DifferentialIndex.remove(IndexedClassExpression target, ChainableRule<Context> oldRule)
void	ModifiableOntologyIndex.removeContextInitRule(ChainableRule<Context> oldRule) Removes an existing context initialization for this OntologyIndex
void	DirectIndex.removeContextInitRule(ChainableRule<Context> oldRule)
void	DifferentialIndex.removeContextInitRule(ChainableRule<Context> oldRule)
boolean	IndexedObjectIntersectionOf.ThisCompositionRule.removeFrom(Chain<ChainableRule<Context>> ruleChain)
boolean	IndexedObjectComplementOf.ThisCompositionRule.removeFrom(Chain<ChainableRule<Context>> ruleChain)
boolean	DirectIndex.ContextRootInitializationRule.removeFrom(Chain<ChainableRule<Context>> ruleChain)
boolean	IndexedClass.OwlThingContextInitializationRule.removeFrom(Chain<ChainableRule<Context>> ruleChain)
boolean	IndexedObjectUnionOf.ThisCompositionRule.removeFrom(Chain<ChainableRule<Context>> ruleChain)
boolean	IndexedObjectSomeValuesFrom.ThisCompositionRule.removeFrom(Chain<ChainableRule<Context>> ruleChain)
boolean	IndexedSubClassOfAxiom.ThisCompositionRule.removeFrom(Chain<ChainableRule<Context>> ruleChain)
boolean	IndexedDisjointnessAxiom.ThisCompositionRule.removeFrom(Chain<ChainableRule<Context>> ruleChain)
boolean	IndexedDisjointnessAxiom.ThisContradictionRule.removeFrom(Chain<ChainableRule<Context>> ruleChain)

Constructor parameters in org.semanticweb.elk.reasoner.indexing.hierarchy with type arguments of type Context

Constructor and Description
IndexedDisjointnessAxiom.ThisContradictionRule(ChainableRule<Context> tail)

Uses of Context in org.semanticweb.elk.reasoner.saturation

Classes in org.semanticweb.elk.reasoner.saturation that implement Context

Modifier and Type	Class and Description
class	ContextImpl Context implementation that is used for EL reasoning.

Methods in org.semanticweb.elk.reasoner.saturation that return Context

Modifier and Type	Method and Description
Context	SaturationState.getContext(IndexedClassExpression ice)
Context	ExtendedSaturationStateWriter.getCreateContext(IndexedClassExpression root)
Context	BasicSaturationStateWriter.pollForActiveContext()

Methods in org.semanticweb.elk.reasoner.saturation that return types with arguments of type Context

Modifier and Type	Method and Description
Multimap<IndexedPropertyChain,Context>	ContextImpl.getBackwardLinksByObjectProperty()
Collection<Context>	SaturationState.getContexts()

Methods in org.semanticweb.elk.reasoner.saturation with parameters of type Context

Modifier and Type	Method and Description
void	ExtendedSaturationStateWriter.initContext(Context context)
static void	SaturationUtils.initContext(Context context, BasicSaturationStateWriter writer, OntologyIndex index, RuleApplicationVisitor ruleAppVisitor) Applies all initialization rules to the context
boolean	BasicSaturationStateWriter.markAsNotSaturated(Context context)
void	ContextCreationListener.notifyContextCreation(Context newContext)
void	ContextModificationListener.notifyContextModification(Context context) Invoked right after the context has been marked as saturated or not saturated
void	BasicSaturationStateWriter.produce(Context context, Conclusion conclusion)
void	ExtendedSaturationStateWriter.removeContext(Context context)
protected void	SaturationJob.setOutput(Context output)

Uses of Context in org.semanticweb.elk.reasoner.saturation.conclusions

Methods in org.semanticweb.elk.reasoner.saturation.conclusions that return Context

Modifier and Type	Method and Description
Context	BackwardLink.getSource()
Context	Subsumer.getSourceContext(Context contextWhereStored)
Context	Conclusion.getSourceContext(Context contextWhereStored)
Context	BackwardLink.getSourceContext(Context contextWhereStored)
Context	AbstractConclusion.getSourceContext(Context contextWhereStored)
Context	Propagation.getSourceContext(Context contextWhereStored)
Context	ForwardLink.getTarget()

Methods in org.semanticweb.elk.reasoner.saturation.conclusions that return types with arguments of type Context

Modifier and Type	Method and Description
Multimap<IndexedPropertyChain,Context>	ForwardLink.ThisBackwardLinkRule.getForwardLinksByObjectProperty()

Methods in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type Context

Modifier and Type	Method and Description
<R> R	Conclusion.accept(ConclusionVisitor<R> visitor, Context context)
<R> R	NegativeSubsumer.accept(ConclusionVisitor<R> visitor, Context context)
<R> R	DisjointnessAxiom.accept(ConclusionVisitor<R> visitor, Context context)
<R> R	ForwardLink.accept(ConclusionVisitor<R> visitor, Context context)
<R> R	PositiveSubsumer.accept(ConclusionVisitor<R> visitor, Context context)
<R> R	BackwardLink.accept(ConclusionVisitor<R> visitor, Context context)
<R> R	Contradiction.accept(ConclusionVisitor<R> visitor, Context context)
<R> R	Propagation.accept(ConclusionVisitor<R> visitor, Context context)
boolean	ForwardLink.addToContextBackwardLinkRule(Context context)
boolean	Propagation.addToContextBackwardLinkRule(Context context)
void	DisjointnessAxiom.apply(BasicSaturationStateWriter engine, Context context)
void	ForwardLink.apply(BasicSaturationStateWriter engine, Context context)
void	Contradiction.apply(BasicSaturationStateWriter engine, Context context)
void	Propagation.apply(BasicSaturationStateWriter writer, Context context)
void	NegativeSubsumer.apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)
void	BackwardLink.apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)
void	PositiveSubsumer.apply(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor, DecompositionRuleApplicationVisitor decompVisitor)
protected void	Subsumer.applyCompositionRules(BasicSaturationStateWriter writer, Context context, RuleApplicationVisitor ruleAppVisitor)
void	NegativeSubsumer.applyDecompositionRules(Context context, DecompositionRuleApplicationVisitor decompVisitor)
boolean	ForwardLink.containsBackwardLinkRule(Context context)
boolean	Propagation.containsBackwardLinkRule(Context context)
void	Contradiction.deapply(BasicSaturationStateWriter engine, Context context)
Context	Subsumer.getSourceContext(Context contextWhereStored)
Context	Conclusion.getSourceContext(Context contextWhereStored)
Context	BackwardLink.getSourceContext(Context contextWhereStored)
Context	AbstractConclusion.getSourceContext(Context contextWhereStored)
Context	Propagation.getSourceContext(Context contextWhereStored)
boolean	ForwardLink.removeFromContextBackwardLinkRule(Context context)
boolean	Propagation.removeFromContextBackwardLinkRule(Context context)
Boolean	ConclusionOccurranceCheckingVisitor.visit(BackwardLink link, Context context)
Boolean	ConclusionDeletionVisitor.visit(BackwardLink link, Context context)
R	ConclusionVisitor.visit(BackwardLink link, Context context)
Boolean	ConclusionApplicationVisitor.visit(BackwardLink link, Context context)
Boolean	ConclusionDeapplicationVisitor.visit(BackwardLink link, Context context)
Boolean	ConclusionInsertionVisitor.visit(BackwardLink link, Context context)
Boolean	CombinedConclusionVisitor.visit(BackwardLink link, Context context)
Long	TimedConclusionVisitor.visit(BackwardLink link, Context context)
T	PreprocessedConclusionVisitor.visit(BackwardLink link, Context context)
Boolean	ConclusionSourceUnsaturationVisitor.visit(BackwardLink link, Context context)
Integer	CountingConclusionVisitor.visit(BackwardLink link, Context context)
Boolean	ConclusionOccurranceCheckingVisitor.visit(Contradiction bot, Context context)
Boolean	ConclusionDeletionVisitor.visit(Contradiction bot, Context context)
R	ConclusionVisitor.visit(Contradiction bot, Context context)
Boolean	ConclusionApplicationVisitor.visit(Contradiction bot, Context context)
Boolean	ConclusionDeapplicationVisitor.visit(Contradiction bot, Context context)
Boolean	ConclusionInsertionVisitor.visit(Contradiction bot, Context context)
Boolean	CombinedConclusionVisitor.visit(Contradiction bot, Context context)
Long	TimedConclusionVisitor.visit(Contradiction bot, Context context)
T	PreprocessedConclusionVisitor.visit(Contradiction bot, Context context)
Boolean	ConclusionSourceUnsaturationVisitor.visit(Contradiction bot, Context context)
Integer	CountingConclusionVisitor.visit(Contradiction bot, Context context)
Boolean	ConclusionOccurranceCheckingVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Boolean	ConclusionDeletionVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
R	ConclusionVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Boolean	ConclusionApplicationVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Boolean	ConclusionDeapplicationVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Boolean	ConclusionInsertionVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Boolean	CombinedConclusionVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Long	TimedConclusionVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
T	PreprocessedConclusionVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Boolean	ConclusionSourceUnsaturationVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Integer	CountingConclusionVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Boolean	ConclusionOccurranceCheckingVisitor.visit(ForwardLink link, Context context)
Boolean	ConclusionDeletionVisitor.visit(ForwardLink link, Context context)
R	ConclusionVisitor.visit(ForwardLink link, Context context)
Boolean	ConclusionApplicationVisitor.visit(ForwardLink link, Context context)
Boolean	ConclusionDeapplicationVisitor.visit(ForwardLink link, Context context)
Boolean	ConclusionInsertionVisitor.visit(ForwardLink link, Context context)
Boolean	CombinedConclusionVisitor.visit(ForwardLink link, Context context)
Long	TimedConclusionVisitor.visit(ForwardLink link, Context context)
T	PreprocessedConclusionVisitor.visit(ForwardLink link, Context context)
Boolean	ConclusionSourceUnsaturationVisitor.visit(ForwardLink link, Context context)
Integer	CountingConclusionVisitor.visit(ForwardLink link, Context context)
Boolean	ConclusionOccurranceCheckingVisitor.visit(NegativeSubsumer negSCE, Context context)
Boolean	ConclusionDeletionVisitor.visit(NegativeSubsumer negSCE, Context context)
R	ConclusionVisitor.visit(NegativeSubsumer negSCE, Context context)
Boolean	ConclusionApplicationVisitor.visit(NegativeSubsumer negSCE, Context context)
Boolean	ConclusionDeapplicationVisitor.visit(NegativeSubsumer negSCE, Context context)
Boolean	ConclusionInsertionVisitor.visit(NegativeSubsumer negSCE, Context context)
Boolean	CombinedConclusionVisitor.visit(NegativeSubsumer negSCE, Context context)
Long	TimedConclusionVisitor.visit(NegativeSubsumer negSCE, Context context)
T	PreprocessedConclusionVisitor.visit(NegativeSubsumer negSCE, Context context)
Boolean	ConclusionSourceUnsaturationVisitor.visit(NegativeSubsumer negSCE, Context context)
Integer	CountingConclusionVisitor.visit(NegativeSubsumer negSCE, Context context)
Boolean	ConclusionOccurranceCheckingVisitor.visit(PositiveSubsumer posSCE, Context context)
Boolean	ConclusionDeletionVisitor.visit(PositiveSubsumer posSCE, Context context)
R	ConclusionVisitor.visit(PositiveSubsumer posSCE, Context context)
Boolean	ConclusionApplicationVisitor.visit(PositiveSubsumer posSCE, Context context)
Boolean	ConclusionDeapplicationVisitor.visit(PositiveSubsumer posSCE, Context context)
Boolean	ConclusionInsertionVisitor.visit(PositiveSubsumer posSCE, Context context)
Boolean	CombinedConclusionVisitor.visit(PositiveSubsumer posSCE, Context context)
Long	TimedConclusionVisitor.visit(PositiveSubsumer posSCE, Context context)
T	PreprocessedConclusionVisitor.visit(PositiveSubsumer posSCE, Context context)
Boolean	ConclusionSourceUnsaturationVisitor.visit(PositiveSubsumer posSCE, Context context)
Integer	CountingConclusionVisitor.visit(PositiveSubsumer posSCE, Context context)
Boolean	ConclusionOccurranceCheckingVisitor.visit(Propagation propagation, Context context)
Boolean	ConclusionDeletionVisitor.visit(Propagation propagation, Context context)
R	ConclusionVisitor.visit(Propagation propagation, Context context)
Boolean	ConclusionApplicationVisitor.visit(Propagation propagation, Context context)
Boolean	ConclusionDeapplicationVisitor.visit(Propagation propagation, Context context)
Boolean	ConclusionInsertionVisitor.visit(Propagation propagation, Context context)
Boolean	CombinedConclusionVisitor.visit(Propagation propagation, Context context)
Long	TimedConclusionVisitor.visit(Propagation propagation, Context context)
T	PreprocessedConclusionVisitor.visit(Propagation propagation, Context context)
Boolean	ConclusionSourceUnsaturationVisitor.visit(Propagation propagation, Context context)
Integer	CountingConclusionVisitor.visit(Propagation propagation, Context context)

Constructors in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type Context

Constructor and Description
BackwardLink(Context source, IndexedPropertyChain relation)
ForwardLink(IndexedPropertyChain relation, Context target)

Uses of Context in org.semanticweb.elk.reasoner.saturation.context

Methods in org.semanticweb.elk.reasoner.saturation.context that return types with arguments of type Context

Modifier and Type	Method and Description
Multimap<IndexedPropertyChain,Context>	Context.getBackwardLinksByObjectProperty()

Uses of Context in org.semanticweb.elk.reasoner.saturation.rules

Methods in org.semanticweb.elk.reasoner.saturation.rules with parameters of type Context

Modifier and Type	Method and Description
protected void	RuleApplicationFactory.BaseEngine.process(Context context) Process all scheduled items in the given context
void	RuleApplicationTimerVisitor.visit(DirectIndex.ContextRootInitializationRule rootInitRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(DirectIndex.ContextRootInitializationRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(DirectIndex.ContextRootInitializationRule rootInitRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(DirectIndex.ContextRootInitializationRule rootInitRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedClass.OwlThingContextInitializationRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedClass.OwlThingContextInitializationRule owlThingContextInitializationRule, BasicSaturationStateWriter writer, Context context)
void	DecompositionRuleApplicationCounterVisitor.visit(IndexedClass ice, Context context)
void	DecompositionRuleApplicationVisitor.visit(IndexedClass ice, Context context)
void	DecompositionRuleApplicationTimerVisitor.visit(IndexedClass ice, Context context)
void	DecompositionRuleApplicationCounterVisitor.visit(IndexedDataHasValue ice, Context context)
void	DecompositionRuleApplicationVisitor.visit(IndexedDataHasValue ice, Context context)
void	DecompositionRuleApplicationTimerVisitor.visit(IndexedDataHasValue ice, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedDisjointnessAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedDisjointnessAxiom.ThisContradictionRule thisContradictionRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedDisjointnessAxiom.ThisContradictionRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedDisjointnessAxiom.ThisContradictionRule thisContradictionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedDisjointnessAxiom.ThisContradictionRule thisContradictionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedObjectComplementOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedObjectComplementOf.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedObjectComplementOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedObjectComplementOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	DecompositionRuleApplicationCounterVisitor.visit(IndexedObjectComplementOf ice, Context context)
void	DecompositionRuleApplicationVisitor.visit(IndexedObjectComplementOf ice, Context context)
void	DecompositionRuleApplicationTimerVisitor.visit(IndexedObjectComplementOf ice, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedObjectIntersectionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedObjectIntersectionOf.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedObjectIntersectionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedObjectIntersectionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	DecompositionRuleApplicationCounterVisitor.visit(IndexedObjectIntersectionOf ice, Context context)
void	DecompositionRuleApplicationVisitor.visit(IndexedObjectIntersectionOf ice, Context context)
void	DecompositionRuleApplicationTimerVisitor.visit(IndexedObjectIntersectionOf ice, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedObjectSomeValuesFrom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedObjectSomeValuesFrom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	ForwardDecompositionRuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)
void	DecompositionRuleApplicationCounterVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)
void	DecompositionRuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)
void	BackwardDecompositionRuleApplicationVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)
void	DecompositionRuleApplicationTimerVisitor.visit(IndexedObjectSomeValuesFrom ice, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedObjectUnionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedObjectUnionOf.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedObjectUnionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedObjectUnionOf.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationTimerVisitor.visit(IndexedSubClassOfAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	BasicCompositionRuleApplicationVisitor.visit(IndexedSubClassOfAxiom.ThisCompositionRule rule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationVisitor.visit(IndexedSubClassOfAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)
void	RuleApplicationCounterVisitor.visit(IndexedSubClassOfAxiom.ThisCompositionRule thisCompositionRule, BasicSaturationStateWriter writer, Context context)

Uses of Context in org.semanticweb.elk.reasoner.stages

Methods in org.semanticweb.elk.reasoner.stages that return types with arguments of type Context

Modifier and Type	Method and Description
Map<IndexedClassExpression,Context>	AbstractReasonerState.getContextMap()