edu.stanford.smi.protegex.owl.inference.protegeowl.task.protegereasoner
Interfaces 
BooleanResultReasonerTask
CollectionResultReasonerTask
IntegerResultReasonerTask
Classes 
AbstractReasonerTask
AbstractSingleConceptWithConceptCollectionResultTask
ClassifyTaxonomyTask
GetAncestorConceptsTask
GetConceptSatisfiableTask
GetDescendantConceptsTask
GetEquivalentConceptsTask
GetIndividualInferredTypesTask
GetIndividualPropertyValuesTask
GetIndividualsBelongingToConceptTask
GetSubConceptsTask
GetSuperConceptsTask
IsConceptIntersectionSatisfiableTask
IsDisjointToTask
IsSubsumedByTask
ResetInferredHierarchyTask
SynchronizeReasonerTask
UpdateEquivalentClassesTask
UpdateInconsistentClassesTask
UpdateInferredHierarchyTask
UpdateInferredTypesTask