elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/ContextImpl.java
@Override
	public Set<? extends Integer> getSubsumerPositions(
			IndexedClassExpressionList disjoint) {
		if (disjointnessAxioms_ == null) {
			return null;
		}

		return disjointnessAxioms_.get(disjoint);
	}
@Override
	public Set<? extends Integer> getSubsumerPositions(
			IndexedClassExpressionList disjoint) {
		if (disjointnessAxioms_ == null) {
			return null;
		}

		return disjointnessAxioms_.get(disjoint);
	}
/*
@Override public boolean isInconsistForDisjointnessAxiom(
IndexedDisjointnessAxiom axiom) { if (disjointnessAxioms_ == null) return
false; IndexedClassExpression[] positions = disjointnessAxioms_.get(axiom);
if (positions == null) return false; // check if both positions are not null;
this is always when the second // position is not null return (positions[1]
!= null); }