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