AbstractReasonerStage createStage(final AbstractReasonerState reasoner,
			final AbstractReasonerStage... preStages) {
    """
	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.
    """
		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

			}

		};
	}
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.
Creates stage that computes object property taxonomy .