elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/AbstractReasonerState.java
public synchronized EntailmentQueryResult isEntailed(final ElkAxiom axiom)
			throws ElkException {
		return isEntailed(Collections.singleton(axiom)).get(axiom);
	}
public synchronized EntailmentQueryResult isEntailed(final ElkAxiom axiom)
			throws ElkException {
		return isEntailed(Collections.singleton(axiom)).get(axiom);
	}
Decides whether the supplied {@code axiom} is entailed by the currently
loaded ontology.

@param axiom
The queries axiom.
@return the {@link EntailmentQueryResult} for the queried axiom.
@throws ElkException