Package owl_api.services.concrete

Class ExplanationOWLAPI

java.lang.Object

tools.service.AbstractService<fr.boreal.component_builder.api.IInputDataScenario,OWLAPIAlgorithmParameterConfig>

owl_api.services.concrete.ExplanationOWLAPI

All Implemented Interfaces:

api.running.IService

public class ExplanationOWLAPI
extends tools.service.AbstractService<fr.boreal.component_builder.api.IInputDataScenario,OWLAPIAlgorithmParameterConfig>

Service calling the OWL API for fact entailment explanation

Field Summary

Fields inherited from class tools.service.AbstractService

executionTimes, inputAlgorithmParameters, inputDataScenario, LOG, operations

Constructor Summary

Constructors

Constructor	Description
ExplanationOWLAPI(fr.boreal.component_builder.api.IInputDataScenario ids, OWLAPIAlgorithmParameterConfig iap)	Constructor

Method Summary

Modifier and Type	Method	Description
void	buildExplanator()	Builds the explanator form the input configuration
void	dlgpQueriesToOWLAxioms(fr.boreal.model.logicalElements.api.Atom a)
void	initializeReasoner()
void	loadData()
void	loadQueries()
protected void	prepareServiceSpecificOperations()

Methods inherited from class tools.service.AbstractService

afterIteration, afterTrial, beforeIteration, beforeTrial, close, executeService, getInputAlgorithmParameters, getInputDataScenario, getServiceResult, operation, operation, operationC, postProcessingIteration, postProcessingTrial, setup

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ExplanationOWLAPI

public ExplanationOWLAPI(fr.boreal.component_builder.api.IInputDataScenario ids,
 OWLAPIAlgorithmParameterConfig iap)

Constructor

Parameters:

ids -

iap -

Method Details

prepareServiceSpecificOperations

protected void prepareServiceSpecificOperations()

Specified by:

prepareServiceSpecificOperations in class tools.service.AbstractService<fr.boreal.component_builder.api.IInputDataScenario,OWLAPIAlgorithmParameterConfig>

loadData

public void loadData()

loadQueries

public void loadQueries()

initializeReasoner

public void initializeReasoner()

buildExplanator

public void buildExplanator()

Builds the explanator form the input configuration

dlgpQueriesToOWLAxioms

public void dlgpQueriesToOWLAxioms(fr.boreal.model.logicalElements.api.Atom a)