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

Interface Summary

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.
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.
IntegerResultReasonerTask	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
ReasonerTask	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 Reasoner tasks are encapsulated to allow them to be started in worker threads and monitored.
ReasonerTaskListener	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

Class Summary

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.
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.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
ReasonerTaskAdapter	User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Aug 20, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm
ReasonerTaskEvent	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
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
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
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
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
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
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