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

		ruleAndConclusionStats.reset();

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

		LOGGER_.trace("Property hierarchy computation");
		complete(stageManager.objectPropertyTaxonomyComputationStage);

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

		ruleAndConclusionStats.reset();

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

		LOGGER_.trace("Property hierarchy computation");
		complete(stageManager.objectPropertyTaxonomyComputationStage);

		incompleteness_.log(
				incompleteness_.getIncompletenessMonitorForClassification());
		return objectPropertyTaxonomyState.getTaxonomy();
	}
public synchronized Taxonomy < ElkObjectProperty > getObjectPropertyTaxonomy ( ) throws ElkInconsistentOntologyException , ElkException { ruleAndConclusionStats . reset ( ) ; restoreConsistencyCheck ( ) ; if ( consistencyCheckingState . isInconsistent ( ) ) { throw new ElkInconsistentOntologyException ( ) ; } LOGGER_ . trace ( "Property hierarchy computation" ) ; complete ( stageManager . objectPropertyTaxonomyComputationStage ) ; incompleteness_ . log ( incompleteness_ . getIncompletenessMonitorForClassification ( ) ) ; return objectPropertyTaxonomyState . getTaxonomy ( ) ; }
Compute the inferred taxonomy of the object properties for the given
ontology if it has not been done yet.

@return the object property 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 object properties for the given ontology if it has not been done yet .