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

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

All Implemented Interfaces:

CollectionResultReasonerTask, ReasonerTask

public class GetConceptIntersectionSuperclassesTask

extends AbstractReasonerTask

implements CollectionResultReasonerTask

User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Oct 18, 2004

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

Field Summary

private OWLClass[]	clses
private ProtegeOWLReasoner	protegeOWLReasoner
private HashSet	result

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

Constructor Summary

GetConceptIntersectionSuperclassesTask(OWLClass[] clses, ProtegeOWLReasoner protegeOWLReasoner)

Method Summary

Collection	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

clses

private OWLClass[] clses

result

private HashSet result

Constructor Detail

GetConceptIntersectionSuperclassesTask

public GetConceptIntersectionSuperclassesTask(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 Collection getResult()

Specified by:

getResult in interface CollectionResultReasonerTask