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

Fields

Modifier and Type	Field and Description
static String	NAME

Method Summary

Methods

Modifier and Type	Method and Description
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>>