org.semanticweb.elk.reasoner.saturation.rules

Interface ChainableRule<E>

All Superinterfaces:

Chainable<ChainableRule<E>>, Link<LinkRule<E>>, LinkRule<E>, ModifiableLink<ChainableRule<E>>, Rule<E>

All Known Implementing Classes:

DirectIndex.ContextRootInitializationRule, IndexedClass.OwlThingContextInitializationRule, IndexedDisjointnessAxiom.ThisCompositionRule, IndexedDisjointnessAxiom.ThisContradictionRule, IndexedObjectComplementOf.ThisCompositionRule, IndexedObjectIntersectionOf.ThisCompositionRule, IndexedObjectSomeValuesFrom.ThisCompositionRule, IndexedObjectUnionOf.ThisCompositionRule, IndexedSubClassOfAxiom.ThisCompositionRule

public interface ChainableRule<E>
extends LinkRule<E>, ModifiableLink<ChainableRule<E>>, Chainable<ChainableRule<E>>

Method Summary

Methods inherited from interface org.semanticweb.elk.reasoner.saturation.rules.LinkRule

accept

Methods inherited from interface org.semanticweb.elk.reasoner.saturation.rules.Rule

apply, getName

Methods inherited from interface org.semanticweb.elk.util.collections.chains.Link

next

Methods inherited from interface org.semanticweb.elk.util.collections.chains.ModifiableLink

next, setNext

Methods inherited from interface org.semanticweb.elk.util.collections.chains.Chainable

addTo, removeFrom