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

Packages that use Rule

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

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

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

interface	ChainableRule<E>
interface	LinkRule<E>
interface	ModifiableLinkRule<E>