Uses of Class
org.semanticweb.HermiT.hierarchy.Hierarchy

Packages that use Hierarchy
org.semanticweb.HermiT   
org.semanticweb.HermiT.hierarchy   
 

Uses of Hierarchy in org.semanticweb.HermiT
 

Fields in org.semanticweb.HermiT declared as Hierarchy
protected  Hierarchy<AtomicConcept> Reasoner.m_atomicConceptHierarchy
           
protected  Hierarchy<AtomicRole> Reasoner.m_dataRoleHierarchy
           
protected  Hierarchy<Role> Reasoner.m_objectRoleHierarchy
           
 

Methods in org.semanticweb.HermiT that return Hierarchy
protected  Hierarchy<AtomicConcept> Reasoner.classifyAtomicConcepts(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean forceQuasiOrder)
           
protected  Hierarchy<AtomicConcept> Reasoner.classifyAtomicConceptsForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts, boolean forceQuasiOrder)
           
 

Uses of Hierarchy in org.semanticweb.HermiT.hierarchy
 

Fields in org.semanticweb.HermiT.hierarchy declared as Hierarchy
protected  Hierarchy<AtomicConcept> InstanceManager.m_currentConceptHierarchy
           
protected  Hierarchy<RoleElementManager.RoleElement> InstanceManager.m_currentRoleHierarchy
           
protected  Hierarchy<Role> HierarchyPrinterFSS.RolePrinter.m_hierarchy
           
 

Methods in org.semanticweb.HermiT.hierarchy that return Hierarchy
protected  Hierarchy<AtomicConcept> QuasiOrderClassification.buildHierarchy(HierarchySearch.Relation<AtomicConcept> hierarchyRelation)
           
static
<T> Hierarchy<T>
DeterministicClassification.buildHierarchy(T topElement, T bottomElement, java.util.Map<T,DeterministicClassification.GraphNode<T>> graphNodes)
           
protected  Hierarchy<AtomicConcept> QuasiOrderClassification.buildHierarchyOfUnknownPossible(java.util.Set<AtomicConcept> unknownSubsumers)
           
protected  Hierarchy<AtomicConcept> InstanceManager.buildTransitivelyReducedConceptHierarchy(Graph<AtomicConcept> knownSubsumptions)
           
protected  Hierarchy<AtomicConcept> QuasiOrderClassification.buildTransitivelyReducedHierarchy(Graph<AtomicConcept> knownSubsumptions, java.util.Set<AtomicConcept> elements)
           
protected  Hierarchy<RoleElementManager.RoleElement> InstanceManager.buildTransitivelyReducedRoleHierarchy(Graph<Role> knownSubsumptions)
           
 Hierarchy<AtomicConcept> QuasiOrderClassification.classify()
           
 Hierarchy<AtomicConcept> DeterministicClassification.classify()
           
static
<T> Hierarchy<T>
Hierarchy.emptyHierarchy(java.util.Collection<T> elements, T topElement, T bottomElement)
           
protected  Hierarchy<Role> InstanceManager.removeInverses(Hierarchy<Role> hierarchy)
           
<T> Hierarchy<T>
Hierarchy.transform(Hierarchy.Transformer<? super E,T> transformer, java.util.Comparator<T> comparator)
           
 Hierarchy<RoleElementManager.RoleElement> InstanceManager.transformRoleHierarchy(Hierarchy<Role> roleHierarchy)
          Removes the inverses from the given hierarchy and then converts Role hierarchy nodes to RoleElement hierarchy nodes, which can store known and possible instances.
static
<T> Hierarchy<T>
Hierarchy.trivialHierarchy(T topElement, T bottomElement)
           
 

Methods in org.semanticweb.HermiT.hierarchy with parameters of type Hierarchy
 void HierarchyDumperFSS.printAtomicConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)
           
 void HierarchyPrinterFSS.printAtomicConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)
           
 void HierarchyDumperFSS.printDataPropertyHierarchy(Hierarchy<AtomicRole> dataRoleHierarchy)
           
 void HierarchyDumperFSS.printObjectPropertyHierarchy(Hierarchy<Role> objectRoleHierarchy)
           
 void HierarchyPrinterFSS.printRoleHierarchy(Hierarchy<? extends Role> roleHierarchy, boolean objectProperties)
           
protected  Hierarchy<Role> InstanceManager.removeInverses(Hierarchy<Role> hierarchy)
           
 void InstanceManager.setToClassifiedConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)
           
 void InstanceManager.setToClassifiedRoleHierarchy(Hierarchy<Role> roleHierarchy)
           
 Hierarchy<RoleElementManager.RoleElement> InstanceManager.transformRoleHierarchy(Hierarchy<Role> roleHierarchy)
          Removes the inverses from the given hierarchy and then converts Role hierarchy nodes to RoleElement hierarchy nodes, which can store known and possible instances.
protected static
<T> void
DeterministicClassification.visit(java.util.Stack<DeterministicClassification.GraphNode<T>> stack, DeterministicClassification.DFSIndex dfsIndex, java.util.Map<T,DeterministicClassification.GraphNode<T>> graphNodes, DeterministicClassification.GraphNode<T> graphNode, Hierarchy<T> hierarchy, java.util.List<HierarchyNode<T>> topologicalOrder)
           
 

Constructors in org.semanticweb.HermiT.hierarchy with parameters of type Hierarchy
HierarchyPrinterFSS.RolePrinter(Hierarchy<Role> hierarchy, boolean objectProperties)
           
InstanceManager(InterruptFlag interruptFlag, Reasoner reasoner, Tableau tableau, Hierarchy<AtomicConcept> atomicConceptHierarchy, Hierarchy<Role> objectRoleHierarchy)
           
InstanceManager(InterruptFlag interruptFlag, Reasoner reasoner, Tableau tableau, Hierarchy<AtomicConcept> atomicConceptHierarchy, Hierarchy<Role> objectRoleHierarchy)