edu.stanford.smi.protegex.owl.inference.protegeowl.task
Class SynchronizeReasonerTask

java.lang.Object
  edu.stanford.smi.protegex.owl.inference.protegeowl.task.AbstractReasonerTask
      edu.stanford.smi.protegex.owl.inference.protegeowl.task.SynchronizeReasonerTask

All Implemented Interfaces:

ReasonerTask

public class SynchronizeReasonerTask

extends AbstractReasonerTask

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

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

Field Summary

private ProtegeOWLReasoner

protegeOWLReasoner

Fields inherited from class edu.stanford.smi.protegex.owl.inference.protegeowl.task.AbstractReasonerTask

Constructor Summary

SynchronizeReasonerTask(ProtegeOWLReasoner protegeOWLReasoner)

Method Summary

protected void	clearKnowledgeBase(ReasonerLogRecord parentRecord)
int	getTaskSize() Gets the size of the task.
void	run() Executes the task.
protected void	transmitToReasoner(ReasonerLogRecord parentRecord)

Methods inherited from class edu.stanford.smi.protegex.owl.inference.protegeowl.task.AbstractReasonerTask

addTaskListener, doAbortCheck, fireDescriptionChangedEvent, fireMessageChangedEvent, fireProgressChangedEvent, fireProgressIndeterminateChnaged, fireTaskCompletedEvent, fireTaskFailedEvent, getDescription, getMessage, getProgress, getTranslator, isProgressIndeterminate, isRequestAbort, postLogRecord, removeTaskListener, setDescription, setMessage, setProgress, setProgressIndeterminate, setRequestAbort, setTaskCompleted, setTaskFailed

Methods inherited from class java.lang.Object

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

Field Detail

protegeOWLReasoner

private ProtegeOWLReasoner protegeOWLReasoner

Constructor Detail

SynchronizeReasonerTask

public SynchronizeReasonerTask(ProtegeOWLReasoner protegeOWLReasoner)

Method Detail

getTaskSize

public int getTaskSize()

Description copied from interface: ReasonerTask

Gets the size of the task. When the progress reaches this size, the task should be complete.

run

public void run()
         throws DIGReasonerException

Description copied from interface: ReasonerTask

Executes the task.

Throws:

DIGReasonerException

clearKnowledgeBase

protected void clearKnowledgeBase(ReasonerLogRecord parentRecord)
                           throws DIGReasonerException

Throws:

DIGReasonerException

transmitToReasoner

protected void transmitToReasoner(ReasonerLogRecord parentRecord)
                           throws DIGReasonerException

Throws:

DIGReasonerException