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

Packages that use LinkRule

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

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

Methods in org.semanticweb.elk.reasoner.indexing that return LinkRule

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

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

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

Modifier and Type	Class and Description
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 LinkRule

Modifier and Type	Method and Description
LinkRule<Context>	IndexedClassExpression.getCompositionRuleHead()
LinkRule<Context>	DirectIndex.getContextInitRuleHead()

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

Classes in org.semanticweb.elk.reasoner.saturation.conclusions that implement LinkRule

Modifier and Type	Class and Description
static class	Contradiction.ContradictionBackwardLinkRule A backward link rule to propagate contradiction through any new backward links
static class	ForwardLink.ThisBackwardLinkRule A type of ModifiableLinkRule created for ForwardLinks and stored in the Context where it is produced.
static class	Propagation.ThisBackwardLinkRule

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

Methods in org.semanticweb.elk.reasoner.saturation.context that return LinkRule

Modifier and Type	Method and Description
LinkRule<BackwardLink>	Context.getBackwardLinkRuleHead()

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

Subinterfaces of LinkRule in org.semanticweb.elk.reasoner.saturation.rules

Modifier and Type	Interface and Description
interface	ChainableRule<E>
interface	ModifiableLinkRule<E>