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 static Hierarchy<AtomicConcept> Reasoner.classifyAtomicConcepts(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean forceQuasiOrder)
           
protected static 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.
 

Methods in org.semanticweb.HermiT.hierarchy with parameters of type Hierarchy
 void HierarchyPrinterFSS.printAtomicConceptHierarchy(Hierarchy<AtomicConcept> atomicConceptHierarchy)
           
 void HierarchyDumperFSS.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)