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

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

All Implemented Interfaces:

BooleanResultReasonerTask, ReasonerTask

public class IsConceptIntersectionSatisfiableTask

extends AbstractReasonerTask

implements BooleanResultReasonerTask

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

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

Field Summary

private OWLClass[]	clses
private ProtegeOWLReasoner	protegeOWLReasoner
private boolean	satisfiable

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

Constructor Summary

IsConceptIntersectionSatisfiableTask(OWLClass[] clses, ProtegeOWLReasoner protegeOWLReasoner)

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

clses

private OWLClass[] clses

protegeOWLReasoner

private ProtegeOWLReasoner protegeOWLReasoner

satisfiable

private boolean satisfiable

Constructor Detail

IsConceptIntersectionSatisfiableTask

public IsConceptIntersectionSatisfiableTask(OWLClass[] clses,
                                            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.

Specified by:

getTaskSize in interface ReasonerTask

run

public void run()
         throws DIGReasonerException

Description copied from interface: ReasonerTask

Executes the task.

Specified by:

run in interface ReasonerTask

Throws:

DIGReasonerException

getResult

public boolean getResult()

Specified by:

getResult in interface BooleanResultReasonerTask