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

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

All Implemented Interfaces:

BooleanResultReasonerTask, ReasonerTask

public class IsDisjointToTask

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

Field Summary

private OWLClass	cls1
private OWLClass	cls2
private ProtegeOWLReasoner	protegeOWLReasoner
private boolean	result

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

Constructor Summary

IsDisjointToTask(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

Field Detail

protegeOWLReasoner

private ProtegeOWLReasoner protegeOWLReasoner

cls1

private OWLClass cls1

cls2

private OWLClass cls2

result

private boolean result

Constructor Detail

IsDisjointToTask

public IsDisjointToTask(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