Uses of Interface
edu.stanford.smi.protegex.owl.inference.protegeowl.task.ReasonerTask

Packages that use ReasonerTask

edu.stanford.smi.protegex.owl.inference.protegeowl
edu.stanford.smi.protegex.owl.inference.protegeowl.task
edu.stanford.smi.protegex.owl.inference.ui

Uses of ReasonerTask in edu.stanford.smi.protegex.owl.inference.protegeowl

Methods in edu.stanford.smi.protegex.owl.inference.protegeowl with parameters of type ReasonerTask

void	DefaultProtegeOWLReasoner.performTask(ReasonerTask task, ReasonerTaskListener taskListener) Executes the specified task after synchronizing the reasoner if necessary.

Uses of ReasonerTask in edu.stanford.smi.protegex.owl.inference.protegeowl.task

Subinterfaces of ReasonerTask in edu.stanford.smi.protegex.owl.inference.protegeowl.task

interface	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 Implemented by tasks that return a boolean result.
interface	CollectionResultReasonerTask 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 Collection as a result.

Classes in edu.stanford.smi.protegex.owl.inference.protegeowl.task that implement ReasonerTask

class	AbstractReasonerTask User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Aug 13, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm A partial implementation of ReasonerTask that implements several useful methods to set the task state and simultaneously notify listeners of state changes.
class	AbstractSingleConceptWithConceptCollectionResultTask 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 An abstract base class for task that take a single concept as a parameter, and return a collection of concepts as a result.
class	ClassifyTaxonomyTask User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Aug 16, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm The classify taxonomy task excompases three reasoner tasks: a) Checking an updating for inconsistent concepts b) Computing the inferred superclasses for consistent concepts c) Computing equivalent concepts for consistent concepts
class	GetAncestorConceptsTask 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
class	GetConceptIntersectionSuperclassesTask 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
class	GetConceptSatisfiableTask 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
class	GetDescendantConceptsTask 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
class	GetEquivalentConceptsTask 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
class	GetIndividualInferredTypesTask 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
class	GetIndividualsBelongingToConceptTask 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
class	GetSubConceptsTask 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
class	GetSubsumptionRelationshipTask User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: May 6, 2005 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm
class	GetSuperConceptsTask 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
class	IsConceptIntersectionSatisfiableTask 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
class	IsDisjointToTask 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
class	IsSubsumedByTask 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
class	ResetInferredHierarchyTask User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Aug 19, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm
class	SynchronizeReasonerTask User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Aug 16, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm
class	UpdateEquivalentClassesTask User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Jul 23, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm
class	UpdateInconsistentClassesTask User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Jul 23, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm
class	UpdateInferredHierarchyTask User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Jul 22, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm
class	UpdateInferredTypesTask User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Aug 28, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm

Fields in edu.stanford.smi.protegex.owl.inference.protegeowl.task declared as ReasonerTask

private ReasonerTask

ReasonerTaskEvent.task

Methods in edu.stanford.smi.protegex.owl.inference.protegeowl.task that return ReasonerTask

ReasonerTask

ReasonerTaskEvent.getSource()

Constructors in edu.stanford.smi.protegex.owl.inference.protegeowl.task with parameters of type ReasonerTask

ReasonerTaskEvent(ReasonerTask task)

Uses of ReasonerTask in edu.stanford.smi.protegex.owl.inference.ui

Fields in edu.stanford.smi.protegex.owl.inference.ui declared as ReasonerTask

private ReasonerTask

ReasonerProgressModalDialog.curTask

Methods in edu.stanford.smi.protegex.owl.inference.ui with parameters of type ReasonerTask

void	ReasonerProgressModalDialog.setTask(ReasonerTask task)