owl_api.binding.OWLAPIInputInterpreter Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of brunner-owlAPI Show documentation

OWLAPI module for the BRunner project

There is a newer version: 1.0.5

package owl_api.binding;

import java.util.Optional;

import api.definition.ITask;
import api.definition.config.IToolParameters;
import menu.OWLAPIKeywords.Explanation.ContractionStrategyType;
import menu.OWLAPIKeywords.Explanation.EntailmentCheckerType;
import menu.OWLAPIKeywords.Explanation.ExpansionStrategyType;
import menu.OWLAPIKeywords.Explanation.ExplanationProgressMonitorType;
import tools.utils.InputInterpreter;

/**
 * Converts inputs to be passed to the OWL API
 */
public class OWLAPIInputInterpreter extends InputInterpreter {

	/**
	 * 
	 * Converts the algorithm parameters
	 * 
	 * @param task
	 * @return
	 */
	public static OWLAPIAlgorithmParameterConfig translateAlgorithmParametersFor(ITask task) {

		IToolParameters params = task.toolParams();

		OWLAPIAlgorithmParameterConfig result = new OWLAPIAlgorithmParameterConfig(
				Optional.of(EntailmentCheckerType.SATISFIABILITY_ENTAILMENT_CHECKER_FACTORY),
				Optional.of(ExpansionStrategyType.STRUCTURAL_TYPE_PRIORITY_EXPANSION_STRATEGY),
				Optional.of(ContractionStrategyType.DIVIDE_AND_CONQUER_CONTRACTION_STRATEGY),
				Optional.of(ExplanationProgressMonitorType.NULL_EXPLANATION_PROGRESS_MONITOR)
				);

		var properties = params.getProperties();

		for (String propertyName : properties) {

			//TODO
			
		}


		return result;

	}

}