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

		final Map<ElkAxiom, EntailmentQueryResult> results = new ArrayHashMap<ElkAxiom, EntailmentQueryResult>();

		for (final ElkAxiom axiom : axioms) {
			if (!EntailmentQueryConverter
					.isEntailmentCheckingSupported(axiom.getClass())) {
				results.put(axiom,
						new UnsupportedQueryTypeEntailmentQueryResultImpl(
								axiom));
				continue;
			}
			// else
			final QueryState state = queried_.get(axiom);
			if (state == null) {
				throw new ElkQueryException(
						"Query was not registered: " + axiom);
			}
			// else
			if (state.indexed == null) {
				results.put(axiom,
						new UnsupportedIndexingEntailmentQueryResultImpl(
								axiom));
				continue;
			}
			// else
			state.lock();
			results.put(axiom, state);
		}

		return results;
	}
Map<ElkAxiom, EntailmentQueryResult> isEntailed(
			final Iterable<? extends ElkAxiom> axioms)
			throws ElkQueryException {

		final Map<ElkAxiom, EntailmentQueryResult> results = new ArrayHashMap<ElkAxiom, EntailmentQueryResult>();

		for (final ElkAxiom axiom : axioms) {
			if (!EntailmentQueryConverter
					.isEntailmentCheckingSupported(axiom.getClass())) {
				results.put(axiom,
						new UnsupportedQueryTypeEntailmentQueryResultImpl(
								axiom));
				continue;
			}
			// else
			final QueryState state = queried_.get(axiom);
			if (state == null) {
				throw new ElkQueryException(
						"Query was not registered: " + axiom);
			}
			// else
			if (state.indexed == null) {
				results.put(axiom,
						new UnsupportedIndexingEntailmentQueryResultImpl(
								axiom));
				continue;
			}
			// else
			state.lock();
			results.put(axiom, state);
		}

		return results;
	}
Map < ElkAxiom , EntailmentQueryResult > isEntailed ( final Iterable < ? extends ElkAxiom > axioms ) throws ElkQueryException { final Map < ElkAxiom , EntailmentQueryResult > results = new ArrayHashMap < ElkAxiom , EntailmentQueryResult > ( ) ; for ( final ElkAxiom axiom : axioms ) { if ( ! EntailmentQueryConverter . isEntailmentCheckingSupported ( axiom . getClass ( ) ) ) { results . put ( axiom , new UnsupportedQueryTypeEntailmentQueryResultImpl ( axiom ) ) ; continue ; } // else final QueryState state = queried_ . get ( axiom ) ; if ( state == null ) { throw new ElkQueryException ( "Query was not registered: " + axiom ) ; } // else if ( state . indexed == null ) { results . put ( axiom , new UnsupportedIndexingEntailmentQueryResultImpl ( axiom ) ) ; continue ; } // else state . lock ( ) ; results . put ( axiom , state ) ; } return results ; }
Decides whether the supplied {@code axioms} are entailed. If some of the
supplied axioms was not registered by {@link #registerQueries(Iterable)}.

@param axioms
Entailment of what axioms is queried.
@return A map from each queried axiom to the result of entailment query
for that axiom.
@param axioms
@return
@throws ElkQueryException
When some of the axioms was not registered by
{@link #registerQueries(Iterable)}.
Decides whether the supplied { @code axioms } are entailed . If some of the supplied axioms was not registered by { @link #registerQueries ( Iterable ) } .