|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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<AtomicRole,RoleElementManager.RoleElement> |
RoleElementManager.m_roleToElement
|
Methods in org.semanticweb.HermiT.hierarchy that return RoleElementManager.RoleElement | |
---|---|
RoleElementManager.RoleElement |
RoleElementManager.getRoleElement(AtomicRole role)
|
Methods in org.semanticweb.HermiT.hierarchy that return types with arguments of type RoleElementManager.RoleElement | |
---|---|
protected Hierarchy<RoleElementManager.RoleElement> |
InstanceManager.buildTransitivelyReducedRoleHierarchy(Graph<Role> knownSubsumptions)
|
protected 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 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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |