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

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

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.ThisCompositionRule
extends ModifiableLinkImpl<ChainableRule<Context>>
implements ChainableRule<Context>

IndexedDisjointnessAxiom.ThisCompositionRule derives the disjointness axioms as a new kind of element. For each subsumer, all disjointness axioms containing this subsumer are registered using this rule.

Author:

Pavel Klinov pavel.klinov@uni-ulm.de, "Yevgeny Kazakov"

Field Summary

static String

NAME

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
Set<IndexedDisjointnessAxiom>	getDisjointnessAxioms()
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

Method Detail

getDisjointnessAxioms

public Set<IndexedDisjointnessAxiom> getDisjointnessAxioms()

getName

public String getName()

Specified by:

getName in interface Rule<Context>

Returns:

the name of this rule

accept

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

Specified by:

accept in interface LinkRule<Context>

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

isEmpty

protected boolean isEmpty()

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>>