edu.stanford.smi.protegex.owl.inference.ui
Interface RunnableReasonerAction

All Known Implementing Classes:

CheckSingleConceptConsistencyAction, ClassifyTaxonomyAction, ComputeIndividualsBelongingToClassAction, ComputeSingleIndividualTypesAction

public interface RunnableReasonerAction

User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Aug 23, 2004

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Method Summary

void	executeReasonerActions(ReasonerTaskListener taskListener) Will be called by the runner to execute some reasoner actions.
OWLModel	getOWLModel()

Method Detail

executeReasonerActions

public void executeReasonerActions(ReasonerTaskListener taskListener)
                            throws DIGReasonerException

Will be called by the runner to execute some reasoner actions.

Parameters:

taskListener -

Throws:

DIGReasonerException

getOWLModel

public OWLModel getOWLModel()