elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/AbstractReasonerState.java
protected boolean querySatisfiability(
			final ElkClassExpression classExpression)
			throws ElkInconsistentOntologyException, ElkException {

		final boolean result;

		if (computeQuery(classExpression, false)) {
			result = classExpressionQueryState_.isSatisfiable(classExpression);
		} else {
			// classExpression couldn't be indexed; pretend it is a fresh class
			result = true;
		}

		// If classExpression is unsatisfiable, the result is complete.
		if (result) {
			incompleteness_.log(incompleteness_
					.getIncompletenessMonitorForClassExpressionQuery(
							classExpressionQueryState_
									.getOccurrenceStore(classExpression)));
		}
		return result;
	}
protected boolean querySatisfiability(
			final ElkClassExpression classExpression)
			throws ElkInconsistentOntologyException, ElkException {

		final boolean result;

		if (computeQuery(classExpression, false)) {
			result = classExpressionQueryState_.isSatisfiable(classExpression);
		} else {
			// classExpression couldn't be indexed; pretend it is a fresh class
			result = true;
		}

		// If classExpression is unsatisfiable, the result is complete.
		if (result) {
			incompleteness_.log(incompleteness_
					.getIncompletenessMonitorForClassExpressionQuery(
							classExpressionQueryState_
									.getOccurrenceStore(classExpression)));
		}
		return result;
	}
Decides whether the supplied (possibly complex) class expression is
satisfiable. The query state is updated accordingly.

@param classExpression
The queried class expression.
@return whether the supplied class expression is satisfiable.
@throws ElkInconsistentOntologyException
if the ontology is inconsistent
@throws ElkException
if the reasoning process cannot be completed successfully