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

Packages that use Role

Package	Description
org.semanticweb.HermiT.hierarchy
org.semanticweb.HermiT.model
org.semanticweb.HermiT.tableau

Uses of Role in org.semanticweb.HermiT.hierarchy

Method parameters in org.semanticweb.HermiT.hierarchy with type arguments of type Role

Modifier and Type	Method and Description
void	HierarchyDumperFSS.printObjectPropertyHierarchy(Hierarchy<Role> objectRoleHierarchy)
void	HierarchyPrinterFSS.printRoleHierarchy(Hierarchy<? extends Role> roleHierarchy, boolean objectProperties)
void	InstanceManager.setToClassifiedRoleHierarchy(Hierarchy<Role> roleHierarchy)

Constructor parameters in org.semanticweb.HermiT.hierarchy with type arguments of type Role

Constructor and Description
InstanceManager(InterruptFlag interruptFlag, Reasoner reasoner, Hierarchy<AtomicConcept> atomicConceptHierarchy, Hierarchy<Role> objectRoleHierarchy)
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements, boolean hasInverses, Map<Role,AtomicConcept> conceptsForRoles, Map<AtomicConcept,Role> rolesForConcepts)
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements, boolean hasInverses, Map<Role,AtomicConcept> conceptsForRoles, Map<AtomicConcept,Role> rolesForConcepts)

Uses of Role in org.semanticweb.HermiT.model

Subclasses of Role in org.semanticweb.HermiT.model

Modifier and Type	Class and Description
class	AtomicRole Represents an atomic role.
class	InverseRole Represents an inverse role.

Methods in org.semanticweb.HermiT.model that return Role

Modifier and Type	Method and Description
abstract Role	Role.getInverse()
Role	AtomicRole.getInverse()
Role	InverseRole.getInverse()
Role	AtLeast.getOnRole()
Role	AnnotatedEquality.getOnRole()

Methods in org.semanticweb.HermiT.model that return types with arguments of type Role

Modifier and Type	Method and Description
Set<Role>	DLOntology.getAllComplexObjectRoles()

Methods in org.semanticweb.HermiT.model with parameters of type Role

Modifier and Type	Method and Description
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)

Constructor parameters in org.semanticweb.HermiT.model with type arguments of type Role

Constructor and Description

DLOntology(String ontologyIRI, Collection<DLClause> dlClauses, Set<Atom> positiveFacts, Set<Atom> negativeFacts, Set<AtomicConcept> atomicConcepts, Set<AtomicRole> atomicObjectRoles, Set<Role> allComplexObjectRoles, Set<AtomicRole> atomicDataRoles, Set<DatatypeRestriction> allUnknownDatatypeRestrictions, Set<String> definedDatatypeIRIs, Set<Individual> individuals, boolean hasInverseRoles, boolean hasAtMostRestrictions, boolean hasNominals, boolean hasDatatypes)

Uses of Role in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau with parameters of type Role

Modifier and Type	Method and Description
boolean	ExtensionManager.addRoleAssertion(Role role, Node nodeFrom, Node nodeTo, DependencySet dependencySet, boolean isCore)
boolean	ExtensionManager.containsRoleAssertion(Role role, Node nodeFrom, Node nodeTo)
DependencySet	ExtensionManager.getRoleAssertionDependencySet(Role role, Node nodeFrom, Node nodeTo)