Protégé-OWL 3.3.1

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

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

public class IsSubsumedByTask
extends AbstractReasonerTask
implements BooleanResultReasonerTask

User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Sep 12, 2004

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


Constructor Summary
IsSubsumedByTask(ProtegeOWLReasoner protegeOWLReasoner, OWLClass cls1, OWLClass cls2)
           
 
Method Summary
 boolean getResult()
           
 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.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
 
Methods inherited from interface edu.stanford.smi.protegex.owl.inference.protegeowl.task.ReasonerTask
addTaskListener, getDescription, getMessage, getProgress, isProgressIndeterminate, isRequestAbort, removeTaskListener, setRequestAbort
 

Constructor Detail

IsSubsumedByTask

public IsSubsumedByTask(ProtegeOWLReasoner protegeOWLReasoner,
                        OWLClass cls1,
                        OWLClass cls2)
Method Detail

getTaskSize

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

Specified by:
getTaskSize in interface ReasonerTask

run

public void run()
         throws DIGReasonerException
Executes the task.

Specified by:
run in interface ReasonerTask
Throws:
DIGReasonerException

getResult

public boolean getResult()
Specified by:
getResult in interface BooleanResultReasonerTask

Protégé-OWL 3.3.1

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