elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/AbstractReasonerState.java
public synchronized InstanceTaxonomy<ElkClass, ElkNamedIndividual> getInstanceTaxonomy()
			throws ElkInconsistentOntologyException, ElkException {

		restoreInstanceTaxonomy();

		incompleteness_.log(
				incompleteness_.getIncompletenessMonitorForClassification());
		return instanceTaxonomyState.getTaxonomy();
	}
public synchronized InstanceTaxonomy<ElkClass, ElkNamedIndividual> getInstanceTaxonomy()
			throws ElkInconsistentOntologyException, ElkException {

		restoreInstanceTaxonomy();

		incompleteness_.log(
				incompleteness_.getIncompletenessMonitorForClassification());
		return instanceTaxonomyState.getTaxonomy();
	}
public synchronized InstanceTaxonomy < ElkClass , ElkNamedIndividual > getInstanceTaxonomy ( ) throws ElkInconsistentOntologyException , ElkException { restoreInstanceTaxonomy ( ) ; incompleteness_ . log ( incompleteness_ . getIncompletenessMonitorForClassification ( ) ) ; return instanceTaxonomyState . getTaxonomy ( ) ; }
Compute the inferred taxonomy of the named classes with instances 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
Compute the inferred taxonomy of the named classes with instances if this has not been done yet .