Overview
Package
Class
Tree
Deprecated
Index
Help
Protégé-OWL 3.4
PREV
NEXT
FRAMES
NO FRAMES
All Classes
Hierarchy For Package edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner
Package Hierarchies:
All Packages
Class Hierarchy
java.lang.
Object
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
AbstractReasonerTask
(implements edu.stanford.smi.protegex.owl.inference.protegeowl.task.
ReasonerTask
)
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
AbstractSingleConceptWithConceptCollectionResultTask
(implements edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
CollectionResultReasonerTask
)
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
GetAncestorConceptsTask
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
GetDescendantConceptsTask
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
GetEquivalentConceptsTask
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
GetSubConceptsTask
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
GetSuperConceptsTask
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
ClassifyTaxonomyTask
(implements edu.stanford.smi.protegex.owl.inference.protegeowl.task.
ReasonerTaskListener
)
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
GetConceptIntersectionSuperclassesTask
(implements edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
CollectionResultReasonerTask
)
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
GetConceptSatisfiableTask
(implements edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
BooleanResultReasonerTask
)
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
GetIndividualInferredTypesTask
(implements edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
CollectionResultReasonerTask
)
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
GetIndividualsBelongingToConceptTask
(implements edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
CollectionResultReasonerTask
)
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
GetSubsumptionRelationshipTask
(implements edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
IntegerResultReasonerTask
)
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
IsConceptIntersectionSatisfiableTask
(implements edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
BooleanResultReasonerTask
)
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
IsDisjointToTask
(implements edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
BooleanResultReasonerTask
)
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
IsSubsumedByTask
(implements edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
BooleanResultReasonerTask
)
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
ResetInferredHierarchyTask
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
SynchronizeReasonerTask
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
UpdateEquivalentClassesTask
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
UpdateInconsistentClassesTask
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
UpdateInferredHierarchyTask
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
UpdateInferredTypesTask
Interface Hierarchy
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
IntegerResultReasonerTask
edu.stanford.smi.protegex.owl.inference.protegeowl.task.
ReasonerTask
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
BooleanResultReasonerTask
edu.stanford.smi.protegex.owl.inference.protegeowl.task.digreasoner.
CollectionResultReasonerTask
Overview
Package
Class
Tree
Deprecated
Index
Help
Protégé-OWL 3.4
PREV
NEXT
FRAMES
NO FRAMES
All Classes
Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.