Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

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

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

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

Constructor parameters in org.semanticweb.elk.reasoner.incremental with type arguments of type Context
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
 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
 Context IndexedClassExpression.getContext()
           
 

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy that return types with arguments of type Context
 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
 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
 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
IndexedDisjointnessAxiom.ThisContradictionRule(ChainableRule<Context> tail)
           
 

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

Classes in org.semanticweb.elk.reasoner.saturation that implement Context
 class ContextImpl
          Context implementation that is used for EL reasoning.
 

Methods in org.semanticweb.elk.reasoner.saturation that return Context
 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
 Multimap<IndexedPropertyChain,Context> ContextImpl.getBackwardLinksByObjectProperty()
           
 Collection<Context> SaturationState.getContexts()
           
 

Methods in org.semanticweb.elk.reasoner.saturation with parameters of type Context
 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
 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
 Multimap<IndexedPropertyChain,Context> ForwardLink.ThisBackwardLinkRule.getForwardLinksByObjectProperty()
           
 

Methods in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type Context
<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
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
 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
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
 Map<IndexedClassExpression,Context> AbstractReasonerState.getContextMap()
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    
Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.