|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |