Protégé-OWL 3.3.1

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

java.lang.Object
  extended by edu.stanford.smi.protegex.owl.inference.protegeowl.task.AbstractReasonerTask
      extended by 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


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
 

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

Protégé-OWL 3.3.1

Submit a bug report or feature request
Copyright (c) 1998-2007 Stanford University.