Uses of Class
org.semanticweb.elk.reasoner.saturation.conclusions.DisjointnessAxiom

Packages that use DisjointnessAxiom

org.semanticweb.elk.reasoner.saturation.conclusions

Uses of DisjointnessAxiom in org.semanticweb.elk.reasoner.saturation.conclusions

Methods in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type DisjointnessAxiom

Boolean	ConclusionOccurranceCheckingVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Boolean	ConclusionDeletionVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
R	ConclusionVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Boolean	ConclusionApplicationVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Boolean	ConclusionDeapplicationVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Boolean	ConclusionInsertionVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Boolean	CombinedConclusionVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Long	TimedConclusionVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
T	PreprocessedConclusionVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Boolean	ConclusionSourceUnsaturationVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)
Integer	CountingConclusionVisitor.visit(DisjointnessAxiom disjointnessAxiom, Context context)