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

DisjointnessAxiom(IndexedDisjointnessAxiom axiom)

Method Summary

<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