elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/AbstractReasonerState.java
public synchronized Map<ElkAxiom, EntailmentQueryResult> isEntailed(
			final Iterable<? extends ElkAxiom> axioms) throws ElkException {

		entailmentQueryState_.registerQueries(axioms);

		restoreSaturation();

		stageManager.entailmentQueryStage.invalidateRecursive();
		complete(stageManager.entailmentQueryStage);

		return entailmentQueryState_.isEntailed(axioms);
	}
public synchronized Map<ElkAxiom, EntailmentQueryResult> isEntailed(
			final Iterable<? extends ElkAxiom> axioms) throws ElkException {

		entailmentQueryState_.registerQueries(axioms);

		restoreSaturation();

		stageManager.entailmentQueryStage.invalidateRecursive();
		complete(stageManager.entailmentQueryStage);

		return entailmentQueryState_.isEntailed(axioms);
	}
Decides whether the supplied {@code axioms} are entailed by the currently
loaded ontology.

@param axioms
Entailment of what axioms is queried.
@return A map from each queried axiom to the
{@link EntailmentQueryResult} for that axiom.
@throws ElkException