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
 



Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.