protected InstanceTaxonomy<ElkClass, ElkNamedIndividual> restoreInstanceTaxonomy()
			throws ElkInconsistentOntologyException, ElkException {

		ruleAndConclusionStats.reset();

		// also restores saturation and cleans the taxonomy if necessary
		restoreConsistencyCheck();
		if (consistencyCheckingState.isInconsistent()) {
			throw new ElkInconsistentOntologyException();
		}

		complete(stageManager.instanceTaxonomyComputationStage);

		return instanceTaxonomyState.getTaxonomy();
	}
protected InstanceTaxonomy<ElkClass, ElkNamedIndividual> restoreInstanceTaxonomy()
			throws ElkInconsistentOntologyException, ElkException {

		ruleAndConclusionStats.reset();

		
		restoreConsistencyCheck();
		if (consistencyCheckingState.isInconsistent()) {
			throw new ElkInconsistentOntologyException();
		}

		complete(stageManager.instanceTaxonomyComputationStage);

		return instanceTaxonomyState.getTaxonomy();
	}
protected InstanceTaxonomy < ElkClass , ElkNamedIndividual > restoreInstanceTaxonomy ( ) throws ElkInconsistentOntologyException , ElkException { ruleAndConclusionStats . reset ( ) ; // also restores saturation and cleans the taxonomy if necessary restoreConsistencyCheck ( ) ; if ( consistencyCheckingState . isInconsistent ( ) ) { throw new ElkInconsistentOntologyException ( ) ; } complete ( stageManager . instanceTaxonomyComputationStage ) ; return instanceTaxonomyState . getTaxonomy ( ) ; }
Completes instance taxonomy computation stage and the stages that it
depends on, if this has not been done yet.

@return the instance taxonomy implied by the current ontology
@throws ElkInconsistentOntologyException
if the ontology is inconsistent
@throws ElkException
if the reasoning process cannot be completed successfully
Completes instance taxonomy computation stage and the stages that it depends on if this has not been done yet .