Protégé-OWL 3.4

edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner
Class UpdateInferredTypesTask

java.lang.Object
  extended by edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.AbstractReasonerTask
      extended by edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.UpdateInferredTypesTask
All Implemented Interfaces:
ReasonerTask

public class UpdateInferredTypesTask
extends AbstractReasonerTask

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

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


Constructor Summary
UpdateInferredTypesTask(ProtegeOWLReasoner protegeOWLReasoner)
           
 
Method Summary
 int getTaskSize()
          Gets the size of the task.
 void run()
          Executes the task.
 
Methods inherited from class edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.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

UpdateInferredTypesTask

public UpdateInferredTypesTask(ProtegeOWLReasoner protegeOWLReasoner)
Method Detail

getTaskSize

public int getTaskSize()
Gets the size of the task. When the progress reaches this size, the task should be complete.


run

public void run()
         throws DIGReasonerException
Executes the task.

Throws:
DIGReasonerException

Protégé-OWL 3.4

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