org.semanticweb.elk.reasoner.saturation.conclusions

Class DisjointnessAxiom

java.lang.Object

org.semanticweb.elk.reasoner.saturation.conclusions.AbstractConclusion

org.semanticweb.elk.reasoner.saturation.conclusions.DisjointnessAxiom

All Implemented Interfaces:

Conclusion

public class DisjointnessAxiom
extends AbstractConclusion

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Constructor Summary

Constructors

Constructor and Description
DisjointnessAxiom(IndexedDisjointnessAxiom axiom)

Method Summary

Methods

Modifier and Type	Method and Description
<R> R	accept(ConclusionVisitor<R> visitor, Context context)
void	apply(BasicSaturationStateWriter engine, Context context)
IndexedDisjointnessAxiom	getAxiom()
String	toString()

Methods inherited from class org.semanticweb.elk.reasoner.saturation.conclusions.AbstractConclusion

getSourceContext

Methods inherited from class java.lang.Object

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

Constructor Detail

DisjointnessAxiom

public DisjointnessAxiom(IndexedDisjointnessAxiom axiom)

Method Detail

getAxiom

public IndexedDisjointnessAxiom getAxiom()

apply

public void apply(BasicSaturationStateWriter engine,
         Context context)

accept

public <R> R accept(ConclusionVisitor<R> visitor,
           Context context)

toString

public String toString()

Overrides:

toString in class Object