elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/AbstractReasonerState.java
protected Node<ElkClass> queryEquivalentClasses(
			final ElkClassExpression classExpression)
			throws ElkInconsistentOntologyException, ElkException {

		final Node<ElkClass> result;

		if (computeQuery(classExpression, false)) {

			final Node<ElkClass> r = classExpressionQueryState_
					.getEquivalentClasses(classExpression);
			if (r == null) {
				result = classTaxonomyState.getTaxonomy().getBottomNode();
			} else {
				result = r;
			}

		} else {
			// classExpression couldn't be indexed; pretend it is a fresh class

			result = new QueryNode<ElkClass>(ElkClassKeyProvider.INSTANCE);
		}

		incompleteness_.log(
				incompleteness_.getIncompletenessMonitorForClassExpressionQuery(
						classExpressionQueryState_
								.getOccurrenceStore(classExpression)));
		return result;
	}
protected Node<ElkClass> queryEquivalentClasses(
			final ElkClassExpression classExpression)
			throws ElkInconsistentOntologyException, ElkException {

		final Node<ElkClass> result;

		if (computeQuery(classExpression, false)) {

			final Node<ElkClass> r = classExpressionQueryState_
					.getEquivalentClasses(classExpression);
			if (r == null) {
				result = classTaxonomyState.getTaxonomy().getBottomNode();
			} else {
				result = r;
			}

		} else {
			// classExpression couldn't be indexed; pretend it is a fresh class

			result = new QueryNode<ElkClass>(ElkClassKeyProvider.INSTANCE);
		}

		incompleteness_.log(
				incompleteness_.getIncompletenessMonitorForClassExpressionQuery(
						classExpressionQueryState_
								.getOccurrenceStore(classExpression)));
		return result;
	}
protected Node < ElkClass > queryEquivalentClasses ( final ElkClassExpression classExpression ) throws ElkInconsistentOntologyException , ElkException { final Node < ElkClass > result ; if ( computeQuery ( classExpression , false ) ) { final Node < ElkClass > r = classExpressionQueryState_ . getEquivalentClasses ( classExpression ) ; if ( r == null ) { result = classTaxonomyState . getTaxonomy ( ) . getBottomNode ( ) ; } else { result = r ; } } else { // classExpression couldn't be indexed; pretend it is a fresh class result = new QueryNode < ElkClass > ( ElkClassKeyProvider . INSTANCE ) ; } incompleteness_ . log ( incompleteness_ . getIncompletenessMonitorForClassExpressionQuery ( classExpressionQueryState_ . getOccurrenceStore ( classExpression ) ) ) ; return result ; }
Computes all atomic classes that are equivalent to the supplied (possibly
complex) class expression. The query state is updated accordingly.

@param classExpression
The queried class expression.
@return all atomic classes that are equivalent to the supplied class
expression.
@throws ElkInconsistentOntologyException
if the ontology is inconsistent
@throws ElkException
if the reasoning process cannot be completed successfully
Computes all atomic classes that are equivalent to the supplied ( possibly complex ) class expression . The query state is updated accordingly .