org.semanticweb.elk.reasoner.indexing.hierarchy
Class IndexedDisjointnessAxiom.ThisContradictionRule

java.lang.Object
  org.semanticweb.elk.util.collections.chains.ModifiableLinkImpl<ChainableRule<Context>>
      org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom.ThisContradictionRule

All Implemented Interfaces:

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

Enclosing class:

IndexedDisjointnessAxiom

public static class IndexedDisjointnessAxiom.ThisContradictionRule
extends ModifiableLinkImpl<ChainableRule<Context>>
implements ChainableRule<Context>

A rule which derives a Contradiction for inconsistent members of this IndexedDisjointnessAxiom.

Author:

"Yevgeny Kazakov"

Field Summary

static String

NAME

Constructor Summary

IndexedDisjointnessAxiom.ThisContradictionRule(ChainableRule<Context> tail)

Method Summary

void	accept(RuleApplicationVisitor visitor, BasicSaturationStateWriter writer, Context context)
boolean	addTo(Chain<ChainableRule<Context>> ruleChain)
void	apply(BasicSaturationStateWriter writer, Context context) Applying the rule to an element within a BasicSaturationStateWriter
String	getName()
protected boolean	isEmpty()
boolean	removeFrom(Chain<ChainableRule<Context>> ruleChain)

Methods inherited from class org.semanticweb.elk.util.collections.chains.ModifiableLinkImpl

next, setNext

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

Field Detail

NAME

public static final String NAME

See Also:

Constant Field Values

Constructor Detail

IndexedDisjointnessAxiom.ThisContradictionRule

public IndexedDisjointnessAxiom.ThisContradictionRule(ChainableRule<Context> tail)

Method Detail

getName

public String getName()

Specified by:

getName in interface Rule<Context>

Returns:

the name of this rule

apply

public void apply(BasicSaturationStateWriter writer,
                  Context context)

Description copied from interface: Rule

Applying the rule to an element within a BasicSaturationStateWriter

Specified by:

apply in interface Rule<Context>

Parameters:

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

context - the element to which the rule is applied

addTo

public boolean addTo(Chain<ChainableRule<Context>> ruleChain)

Specified by:

addTo in interface Chainable<ChainableRule<Context>>

removeFrom

public boolean removeFrom(Chain<ChainableRule<Context>> ruleChain)

Specified by:

removeFrom in interface Chainable<ChainableRule<Context>>

accept

public void accept(RuleApplicationVisitor visitor,
                   BasicSaturationStateWriter writer,
                   Context context)

Specified by:

accept in interface LinkRule<Context>

isEmpty

protected boolean isEmpty()