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;
	}
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
Decides whether the supplied ( possibly complex ) class expression is satisfiable . The query state is updated accordingly .