Uses of Class
org.semanticweb.HermiT.hierarchy.RoleElementManager.RoleElement

Packages that use RoleElementManager.RoleElement
org.semanticweb.HermiT.hierarchy   
 

Uses of RoleElementManager.RoleElement in org.semanticweb.HermiT.hierarchy
 

Fields in org.semanticweb.HermiT.hierarchy declared as RoleElementManager.RoleElement
protected  RoleElementManager.RoleElement InstanceManager.m_bottomRoleElement
           
protected  RoleElementManager.RoleElement InstanceManager.m_topRoleElement
           
 

Fields in org.semanticweb.HermiT.hierarchy with type parameters of type RoleElementManager.RoleElement
protected  Hierarchy<RoleElementManager.RoleElement> InstanceManager.m_currentRoleHierarchy
           
protected  java.util.Map<Role,RoleElementManager.RoleElement> RoleElementManager.m_roleToElement
           
 

Methods in org.semanticweb.HermiT.hierarchy that return RoleElementManager.RoleElement
 RoleElementManager.RoleElement InstanceManager.getBottomRoleElement()
           
 RoleElementManager.RoleElement RoleElementManager.getRoleElement(Role Role)
           
 RoleElementManager.RoleElement InstanceManager.getTopRoleElement()
           
 

Methods in org.semanticweb.HermiT.hierarchy that return types with arguments of type RoleElementManager.RoleElement
protected  Hierarchy<RoleElementManager.RoleElement> InstanceManager.buildTransitivelyReducedRoleHierarchy(Graph<Role> knownSubsumptions)
           
 HierarchyNode<RoleElementManager.RoleElement> InstanceManager.getBottomRoleNode()
           
 HierarchyNode<RoleElementManager.RoleElement> InstanceManager.getTopRoleNode()
           
 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 RoleElementManager.RoleElement
protected  void InstanceManager.addKnownRoleInstance(RoleElementManager.RoleElement element, Individual individual1, Individual individual2)
           
protected  void InstanceManager.addPossibleRoleInstance(RoleElementManager.RoleElement element, Individual individual1, Individual individual2)
           
 

Method parameters in org.semanticweb.HermiT.hierarchy with type arguments of type RoleElementManager.RoleElement
protected  int[] InstanceManager.getNumberOfRoleInstances(HierarchyNode<RoleElementManager.RoleElement> node, int[] result)
           
protected  int[] InstanceManager.getNumberOfRolePredecessors(HierarchyNode<RoleElementManager.RoleElement> node, Individual individual, int[] result)
           
protected  int[] InstanceManager.getNumberOfRoleSuccessors(HierarchyNode<RoleElementManager.RoleElement> node, Individual individual, int[] result)
           
protected  void InstanceManager.getObjectPropertyInstances(HierarchyNode<RoleElementManager.RoleElement> node, java.util.Map<Individual,java.util.Set<Individual>> result)
           
protected  void InstanceManager.getObjectPropertySubjects(HierarchyNode<RoleElementManager.RoleElement> node, Individual object, java.util.Set<Individual> result)
           
protected  void InstanceManager.getObjectPropertyValues(HierarchyNode<RoleElementManager.RoleElement> node, Individual subject, java.util.Set<Individual> result)
           
 boolean InstanceManager.hasObjectRoleRelationship(HierarchyNode<RoleElementManager.RoleElement> node, Individual individual1, Individual individual2)
           
protected  boolean[] InstanceManager.hasRoleSuccessor(HierarchyNode<RoleElementManager.RoleElement> node, Individual individual1, Individual individual2)