elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/EntailmentQueryState.java
void registerQueries(final Iterable<? extends ElkAxiom> axioms) {

		lastQueries_.clear();
		for (final ElkAxiom axiom : axioms) {

			LOGGER_.trace("entailment query registered {}", axiom);

			lastQueries_.add(axiom);

			QueryState state = queried_.get(axiom);
			if (state != null) {
				queriedEvictor_.add(state);
				continue;
			}
			// Create query state.
			state = new QueryState(axiom);
			queried_.put(axiom, state);
			queriedEvictor_.add(state);
			toLoad_.offer(axiom);

		}

	}
void registerQueries(final Iterable<? extends ElkAxiom> axioms) {

		lastQueries_.clear();
		for (final ElkAxiom axiom : axioms) {

			LOGGER_.trace("entailment query registered {}", axiom);

			lastQueries_.add(axiom);

			QueryState state = queried_.get(axiom);
			if (state != null) {
				queriedEvictor_.add(state);
				continue;
			}
			// Create query state.
			state = new QueryState(axiom);
			queried_.put(axiom, state);
			queriedEvictor_.add(state);
			toLoad_.offer(axiom);

		}

	}
Registers the supplied axioms for querying. If all necessary stages are
run after calling this method for some axioms, neither
{@link #isEntailed(Iterable)} nor a
{@link org.semanticweb.elk.reasoner.query.ProperEntailmentQueryResult
ProperEntailmentQueryResult} for any of these axioms will throw
{@link ElkQueryException}.

@param axioms
@return {@code true} if this is a new query, {@code false} if this class
expression has already been registered.