elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/AbstractReasonerState.java
public synchronized boolean isInconsistent() throws ElkException {

		restoreConsistencyCheck();

		if (!consistencyCheckingState.isInconsistent()) {
			incompleteness_.log(incompleteness_
					.getIncompletenessMonitorForClassification());
		}
		return consistencyCheckingState.isInconsistent();
	}
public synchronized boolean isInconsistent() throws ElkException {

		restoreConsistencyCheck();

		if (!consistencyCheckingState.isInconsistent()) {
			incompleteness_.log(incompleteness_
					.getIncompletenessMonitorForClassification());
		}
		return consistencyCheckingState.isInconsistent();
	}
public synchronized boolean isInconsistent ( ) throws ElkException { restoreConsistencyCheck ( ) ; if ( ! consistencyCheckingState . isInconsistent ( ) ) { incompleteness_ . log ( incompleteness_ . getIncompletenessMonitorForClassification ( ) ) ; } return consistencyCheckingState . isInconsistent ( ) ; }
Check consistency of the current ontology, if this has not been done yet.

@return {@code true} if the ontology is inconsistent, that is,
unsatisfiable.
@throws ElkException
if the reasoning process cannot be completed successfully
Check consistency of the current ontology if this has not been done yet .