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