Uses of Interface
org.semanticweb.elk.reasoner.saturation.rules.ChainableRule

Packages that use ChainableRule

org.semanticweb.elk.reasoner.incremental
org.semanticweb.elk.reasoner.indexing.hierarchy

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

Constructors in org.semanticweb.elk.reasoner.incremental with parameters of type ChainableRule

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

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

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 ChainableRule in org.semanticweb.elk.reasoner.indexing.hierarchy

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy that implement ChainableRule

static class	DirectIndex.ContextRootInitializationRule Adds root to the context
static class	IndexedClass.OwlThingContextInitializationRule Adds owl:Thing to the context.
static class	IndexedDisjointnessAxiom.ThisCompositionRule IndexedDisjointnessAxiom.ThisCompositionRule derives the disjointness axioms as a new kind of element.
static class	IndexedDisjointnessAxiom.ThisContradictionRule A rule which derives a Contradiction for inconsistent members of this IndexedDisjointnessAxiom.
static class	IndexedObjectComplementOf.ThisCompositionRule
static class	IndexedObjectIntersectionOf.ThisCompositionRule
static class	IndexedObjectSomeValuesFrom.ThisCompositionRule
static class	IndexedObjectUnionOf.ThisCompositionRule
static class	IndexedSubClassOfAxiom.ThisCompositionRule

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

ChainableRule<Context>	DifferentialIndex.getAddedContextInitRules()
ChainableRule<Context>	DifferentialIndex.getRemovedContextInitRules()

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

Map<IndexedClassExpression,ChainableRule<Context>>	DifferentialIndex.getAddedContextRulesByClassExpressions()
Chain<ChainableRule<Context>>	DirectIndex.getContextInitRuleChain()
Map<IndexedClassExpression,ChainableRule<Context>>	DifferentialIndex.getRemovedContextRulesByClassExpressions()

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

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

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

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

Constructors in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type ChainableRule

IndexedDisjointnessAxiom.ThisContradictionRule(ChainableRule<Context> tail)