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 .