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

Packages that use Rule

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

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

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

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

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

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

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 Rule in org.semanticweb.elk.reasoner.saturation.rules

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

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