edu.stanford.smi.protegex.owl.inference.protegeowl.task
Interface BooleanResultReasonerTask

All Superinterfaces:

ReasonerTask

All Known Implementing Classes:

GetConceptSatisfiableTask, IsConceptIntersectionSatisfiableTask, IsDisjointToTask, IsSubsumedByTask

public interface BooleanResultReasonerTask

extends ReasonerTask

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

Implemented by tasks that return a boolean result.

Method Summary

boolean

getResult()

Methods inherited from interface edu.stanford.smi.protegex.owl.inference.protegeowl.task.ReasonerTask

addTaskListener, getDescription, getMessage, getProgress, getTaskSize, isProgressIndeterminate, isRequestAbort, removeTaskListener, run, setRequestAbort

Method Detail

getResult

public boolean getResult()