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

		restoreTaxonomy();

		incompleteness_.log(
				incompleteness_.getIncompletenessMonitorForClassification());
		return classTaxonomyState.getTaxonomy();
	}
public synchronized Taxonomy<ElkClass> getTaxonomy()
			throws ElkInconsistentOntologyException, ElkException {

		restoreTaxonomy();

		incompleteness_.log(
				incompleteness_.getIncompletenessMonitorForClassification());
		return classTaxonomyState.getTaxonomy();
	}
Compute the inferred taxonomy of the named classes for the given ontology
if it has not been done yet.

@return the class taxonomy implied by the current ontology
@throws ElkInconsistentOntologyException
if the ontology is inconsistent
@throws ElkException
if the reasoning process cannot be completed successfully