org.semanticweb.elk.reasoner.saturation.rules

Interface Rule<E>

Type Parameters:

E - the type of elements to which the rule can be applied

All Known Subinterfaces:

ChainableRule<E>, LinkRule<E>, ModifiableLinkRule<E>

All Known Implementing Classes:

Contradiction.ContradictionBackwardLinkRule, DirectIndex.ContextRootInitializationRule, ForwardLink.ThisBackwardLinkRule, IndexedClass.OwlThingContextInitializationRule, IndexedDisjointnessAxiom.ThisCompositionRule, IndexedDisjointnessAxiom.ThisContradictionRule, IndexedObjectComplementOf.ThisCompositionRule, IndexedObjectIntersectionOf.ThisCompositionRule, IndexedObjectSomeValuesFrom.ThisCompositionRule, IndexedObjectUnionOf.ThisCompositionRule, IndexedSubClassOfAxiom.ThisCompositionRule, Propagation.ThisBackwardLinkRule

public interface Rule<E>

A rule that can be applied to elements of a particular type within a BasicSaturationStateWriter.

Author:

"Yevgeny Kazakov"

Method Summary

Methods

Modifier and Type	Method and Description
void	apply(BasicSaturationStateWriter engine, E element) Applying the rule to an element within a BasicSaturationStateWriter
String	getName()

Method Detail

apply

void apply(BasicSaturationStateWriter engine,
         E element)

Applying the rule to an element within a BasicSaturationStateWriter

Parameters:

engine - a BasicSaturationStateWriter which could be changed as a result of this rule's application

element - the element to which the rule is applied

getName

String getName()

Returns:

the name of this rule