Overview | Package | Class | Tree | Deprecated | Index | Help
| Protégé-OWL 3.4 rc1
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

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

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

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
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
GetIndividualPropertyValuesTask |
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
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
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 |
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 |
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 |

Overview | Package | Class | Tree | Deprecated | Index | Help
| Protégé-OWL 3.4 rc1
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.