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

Packages that use LinkRule

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

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

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

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

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

LinkRule<BackwardLink>

Context.getBackwardLinkRuleHead()

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

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

interface	ChainableRule<E>
interface	ModifiableLinkRule<E>