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