Uses of Class
org.semanticweb.HermiT.model.Role

Packages that use Role
org.semanticweb.HermiT   
org.semanticweb.HermiT.debugger   
org.semanticweb.HermiT.hierarchy   
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.structural   
org.semanticweb.HermiT.tableau   
 

Uses of Role in org.semanticweb.HermiT
 

Fields in org.semanticweb.HermiT with type parameters of type Role
protected  java.util.Map<Role,java.util.Set<HierarchyNode<AtomicConcept>>> Reasoner.m_directObjectRoleDomains
           
protected  java.util.Map<Role,java.util.Set<HierarchyNode<AtomicConcept>>> Reasoner.m_directObjectRoleRanges
           
protected  Hierarchy<Role> Reasoner.m_objectRoleHierarchy
           
 

Methods in org.semanticweb.HermiT that return Role
protected static Role Reasoner.H(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataPropertyExpression)
           
protected static Role Reasoner.H(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression)
           
 

Methods in org.semanticweb.HermiT that return types with arguments of type Role
protected  HierarchyNode<Role> Reasoner.getHierarchyNode(org.semanticweb.owlapi.model.OWLObjectPropertyExpression propertyExpression)
           
 

Method parameters in org.semanticweb.HermiT with type arguments of type Role
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)
           
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)
           
protected  org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> Reasoner.objectPropertyHierarchyNodesToNodeSet(java.util.Collection<HierarchyNode<Role>> hierarchyNodes)
           
protected  org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> Reasoner.objectPropertyHierarchyNodeToNode(HierarchyNode<Role> hierarchyNode)
           
 

Uses of Role in org.semanticweb.HermiT.debugger
 

Methods in org.semanticweb.HermiT.debugger with parameters of type Role
 int Printing.RoleComparator.compare(Role ar1, Role ar2)
           
protected  int Printing.RoleComparator.getRoleType(Role ar)
           
 

Uses of Role in org.semanticweb.HermiT.hierarchy
 

Fields in org.semanticweb.HermiT.hierarchy declared as Role
protected  Role RoleElementManager.RoleElement.m_role
           
 

Fields in org.semanticweb.HermiT.hierarchy with type parameters of type Role
protected  java.util.Map<Role,AtomicConcept> QuasiOrderClassificationForRoles.m_conceptsForRoles
           
protected  Hierarchy<Role> HierarchyPrinterFSS.RolePrinter.m_hierarchy
           
protected  java.util.Map<AtomicConcept,Role> QuasiOrderClassificationForRoles.m_rolesForConcepts
           
protected  java.util.Map<Role,RoleElementManager.RoleElement> RoleElementManager.m_roleToElement
           
 

Methods in org.semanticweb.HermiT.hierarchy that return Role
 Role RoleElementManager.RoleElement.getRole()
           
 

Methods in org.semanticweb.HermiT.hierarchy that return types with arguments of type Role
protected  Hierarchy<Role> InstanceManager.removeInverses(Hierarchy<Role> hierarchy)
           
 

Methods in org.semanticweb.HermiT.hierarchy with parameters of type Role
protected  void InstanceManager.addKnownRoleSubsumption(Graph<Role> knownSubsumptions, Role subRole, Role superRole)
           
 int HierarchyPrinterFSS.RoleComparator.compare(Role role1, Role role2)
           
 int HierarchyDumperFSS.ObjectRoleComparator.compare(Role role1, Role role2)
           
protected  AtomicRole HierarchyPrinterFSS.RoleComparator.getInnerAtomicRole(Role role)
           
protected  AtomicRole HierarchyDumperFSS.ObjectRoleComparator.getInnerAtomicRole(Role role)
           
 java.util.Set<Individual> InstanceManager.getObjectPropertyValues(Role role, Individual individual)
           
protected  int HierarchyPrinterFSS.RoleComparator.getRoleClass(Role role)
           
protected  int HierarchyDumperFSS.ObjectRoleComparator.getRoleClass(Role role)
           
protected  int HierarchyPrinterFSS.RoleComparator.getRoleDirection(Role role)
           
protected  int HierarchyDumperFSS.ObjectRoleComparator.getRoleDirection(Role role)
           
 RoleElementManager.RoleElement RoleElementManager.getRoleElement(Role Role)
           
protected  boolean InstanceManager.isRoleInstance(Role role, Individual individual1, Individual individual2)
           
protected  boolean HierarchyPrinterFSS.RolePrinter.needsDeclaration(Role role)
           
protected  void HierarchyPrinterFSS.RolePrinter.print(Role role)
           
protected  void HierarchyDumperFSS.print(Role role)
           
 

Method parameters in org.semanticweb.HermiT.hierarchy with type arguments of type Role
protected  void InstanceManager.addKnownRoleSubsumption(Graph<Role> knownSubsumptions, Role subRole, Role superRole)
           
protected  Hierarchy<RoleElementManager.RoleElement> InstanceManager.buildTransitivelyReducedRoleHierarchy(Graph<Role> knownSubsumptions)
           
protected  void InstanceManager.findNextHierarchyNodeWithAtomic(java.util.Set<Role> atomicRepresentatives, HierarchyNode<Role> current)
           
protected  void InstanceManager.findNextHierarchyNodeWithAtomic(java.util.Set<Role> atomicRepresentatives, HierarchyNode<Role> current)
           
 void HierarchyPrinterFSS.RolePrinter.printNode(int level, HierarchyNode<Role> node, HierarchyNode<Role> parentNode, boolean firstVisit)
           
 void HierarchyPrinterFSS.RolePrinter.printNode(int level, HierarchyNode<Role> node, HierarchyNode<Role> parentNode, boolean firstVisit)
           
 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.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  void InstanceManager.updateKnownSubsumptionsUsingToldSubsumers(java.util.Set<DLClause> dlClauses, Graph<AtomicConcept> knownConceptSubsumptions, java.util.Set<AtomicConcept> concepts, Graph<Role> knownRoleSubsumptions, java.util.Set<Role> roles)
           
protected  void InstanceManager.updateKnownSubsumptionsUsingToldSubsumers(java.util.Set<DLClause> dlClauses, Graph<AtomicConcept> knownConceptSubsumptions, java.util.Set<AtomicConcept> concepts, Graph<Role> knownRoleSubsumptions, java.util.Set<Role> roles)
           
 void HierarchyPrinterFSS.RolePrinter.visit(int level, HierarchyNode<Role> node, HierarchyNode<Role> parentNode, boolean firstVisit)
           
 void HierarchyPrinterFSS.RolePrinter.visit(int level, HierarchyNode<Role> node, HierarchyNode<Role> parentNode, boolean firstVisit)
           
 

Constructors in org.semanticweb.HermiT.hierarchy with parameters of type Role
RoleElementManager.RoleElement(Role Role)
           
 

Constructor parameters in org.semanticweb.HermiT.hierarchy with type arguments of type Role
HierarchyPrinterFSS.RolePrinter(Hierarchy<Role> hierarchy, boolean objectProperties)
           
InstanceManager(InterruptFlag interruptFlag, Reasoner reasoner, Tableau tableau, Hierarchy<AtomicConcept> atomicConceptHierarchy, Hierarchy<Role> objectRoleHierarchy)
           
QuasiOrderClassificationForRoles(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)
           
QuasiOrderClassificationForRoles(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)
           
 

Uses of Role in org.semanticweb.HermiT.model
 

Subclasses of Role in org.semanticweb.HermiT.model
 class AtomicRole
          Represents an atomic role.
 class InverseRole
          Represents an inverse role.
 

Fields in org.semanticweb.HermiT.model declared as Role
protected  Role AtLeast.m_onRole
           
protected  Role AnnotatedEquality.m_onRole
           
 

Fields in org.semanticweb.HermiT.model with type parameters of type Role
protected  java.util.Set<Role> DLOntology.m_allComplexObjectRoles
           
 

Methods in org.semanticweb.HermiT.model that return Role
abstract  Role Role.getInverse()
           
 Role InverseRole.getInverse()
           
 Role AtomicRole.getInverse()
           
 Role AtLeast.getOnRole()
           
 Role AnnotatedEquality.getOnRole()
           
 

Methods in org.semanticweb.HermiT.model that return types with arguments of type Role
 java.util.Set<Role> DLOntology.getAllComplexObjectRoles()
           
 

Methods in org.semanticweb.HermiT.model with parameters of type Role
static AtLeastConcept AtLeastConcept.create(int number, Role onRole, LiteralConcept toConcept)
           
static AnnotatedEquality AnnotatedEquality.create(int cardinality, Role onRole, LiteralConcept toConcept)
           
static AtLeastDataRange AtLeastDataRange.create(int number, Role onRole, LiteralDataRange toDataRange)
           
 boolean DLOntology.isComplexObjectRole(Role role)
           
 

Constructors in org.semanticweb.HermiT.model with parameters of type Role
AnnotatedEquality(int cardinality, Role onRole, LiteralConcept toConcept)
           
AtLeast(int number, Role onRole)
           
AtLeastConcept(int number, Role onRole, LiteralConcept toConcept)
           
AtLeastDataRange(int number, Role onRole, LiteralDataRange toConcept)
           
 

Constructor parameters in org.semanticweb.HermiT.model with type arguments of type Role
DLOntology(java.lang.String ontologyIRI, java.util.Set<DLClause> dlClauses, java.util.Set<Atom> positiveFacts, java.util.Set<Atom> negativeFacts, java.util.Set<AtomicConcept> atomicConcepts, java.util.Set<AtomicRole> atomicObjectRoles, java.util.Set<Role> allComplexObjectRoles, java.util.Set<AtomicRole> atomicDataRoles, java.util.Set<DatatypeRestriction> allUnknownDatatypeRestrictions, java.util.Set<java.lang.String> definedDatatypeIRIs, java.util.Set<Individual> individuals, boolean hasInverseRoles, boolean hasAtMostRestrictions, boolean hasNominals, boolean hasDatatypes)
           
 

Uses of Role in org.semanticweb.HermiT.structural
 

Methods in org.semanticweb.HermiT.structural that return Role
protected static Role OWLClausification.getRole(org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectPropertyExpression)
           
 

Uses of Role in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau with type parameters of type Role
protected  java.util.Map<Role,Role[]> ExistentialExpansionManager.m_functionalRoles
           
 

Methods in org.semanticweb.HermiT.tableau with parameters of type Role
 boolean ExtensionManager.addRoleAssertion(Role role, Node nodeFrom, Node nodeTo, DependencySet dependencySet, boolean isCore)
           
 boolean ExtensionManager.containsRoleAssertion(Role role, Node nodeFrom, Node nodeTo)
           
protected  boolean ExistentialExpansionManager.getFunctionalExpansionNode(Role role, Node forNode, java.lang.Object[] result)
           
 DependencySet ExtensionManager.getRoleAssertionDependencySet(Role role, Node nodeFrom, Node nodeTo)
           
 

Method parameters in org.semanticweb.HermiT.tableau with type arguments of type Role
protected  void ExistentialExpansionManager.loadDLClausesIntoGraph(java.util.Set<DLClause> dlClauses, Graph<Role> superRoleGraph, java.util.Set<Role> functionalRoles)
           
protected  void ExistentialExpansionManager.loadDLClausesIntoGraph(java.util.Set<DLClause> dlClauses, Graph<Role> superRoleGraph, java.util.Set<Role> functionalRoles)