elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/ObjectPropertyTaxonomyState.java
AbstractReasonerStage createStage(final AbstractReasonerState reasoner,
			final AbstractReasonerStage... preStages) {
		return new AbstractReasonerStage(reasoner, preStages) {

			/**
			 * The computation used for this stage.
			 */
			private ObjectPropertyTaxonomyComputation computation_ = null;

			@Override
			public String getName() {
				return "Object Property Taxonomy Computation";
			}

			@Override
			public boolean preExecute() {
				if (!super.preExecute()) {
					return false;
				}

				resetTaxonomy();

				computation_ = new ObjectPropertyTaxonomyComputation(
						reasoner.ontologyIndex, reasoner.getInterrupter(),
						transitiveReductionOutputProcessor_,
						reasoner.getElkFactory(), reasoner.getProcessExecutor(),
						workerNo, reasoner.getProgressMonitor());

				return true;
			}

			@Override
			void executeStage() throws ElkException {
				computation_.process();
			}

			@Override
			public boolean postExecute() {
				if (!super.postExecute()) {
					return false;
				}
				this.computation_ = null;
				return true;
			}

			@Override
			public void printInfo() {
				// TODO Auto-generated method stub

			}

		};
	}
AbstractReasonerStage createStage(final AbstractReasonerState reasoner,
			final AbstractReasonerStage... preStages) {
		return new AbstractReasonerStage(reasoner, preStages) {

			/**
			 * The computation used for this stage.
			 */
			private ObjectPropertyTaxonomyComputation computation_ = null;

			@Override
			public String getName() {
				return "Object Property Taxonomy Computation";
			}

			@Override
			public boolean preExecute() {
				if (!super.preExecute()) {
					return false;
				}

				resetTaxonomy();

				computation_ = new ObjectPropertyTaxonomyComputation(
						reasoner.ontologyIndex, reasoner.getInterrupter(),
						transitiveReductionOutputProcessor_,
						reasoner.getElkFactory(), reasoner.getProcessExecutor(),
						workerNo, reasoner.getProgressMonitor());

				return true;
			}

			@Override
			void executeStage() throws ElkException {
				computation_.process();
			}

			@Override
			public boolean postExecute() {
				if (!super.postExecute()) {
					return false;
				}
				this.computation_ = null;
				return true;
			}

			@Override
			public void printInfo() {
				// TODO Auto-generated method stub

			}

		};
	}
Creates stage that computes object property taxonomy.

@param reasoner
the reasoner for which the reasoner stage is created
@param preStages
the reasoner stages that should be executed directly before
this stage
@return the stage that computes object property taxonomy.