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);
	}
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
Decides whether the supplied { @code axioms } are entailed by the currently loaded ontology .