|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Role | |
---|---|
org.mindswap.pellet |
Uses of Role in org.mindswap.pellet |
---|
Methods in org.mindswap.pellet that return Role | |
---|---|
Role |
RBox.addAnnotationRole(aterm.ATermAppl r)
|
Role |
RBox.addDatatypeRole(aterm.ATermAppl r)
|
Role |
RBox.addLinkRole(aterm.ATermAppl r)
|
Role |
RBox.addObjectRole(aterm.ATermAppl r)
|
Role |
RBox.addOntologyRole(aterm.ATermAppl r)
|
Role |
RBox.addRole(aterm.ATermAppl r)
|
Role |
RBox.getDefinedRole(aterm.ATerm r)
Return the role with the given name and throw and exception if it is not found. |
Role |
Role.getInverse()
|
Role |
KnowledgeBase.getProperty(aterm.ATerm r)
|
Role |
Edge.getRole()
|
Role |
RBox.getRole(aterm.ATerm r)
Return the role with the given name |
Role |
ABox.getRole(aterm.ATerm r)
Convenience function to get the named role. |
Methods in org.mindswap.pellet with parameters of type Role | |
---|---|
void |
SHOINStrategy.addEdge(Individual subj,
Role pred,
Node obj,
DependencySet ds)
|
void |
CompletionStrategy.addEdge(Individual subj,
Role pred,
Node obj,
DependencySet ds)
|
Edge |
Individual.addEdge(Role r,
Node x,
DependencySet ds)
|
void |
Role.addFunctionalSuper(Role r)
|
void |
EconnectedKB.addInverseLink(Role roleS,
Role roleR)
|
void |
Role.addSubRole(Role r)
r is subrole of this role |
void |
Role.addSuperRole(Role r)
r is superrole of this role |
void |
Role.addTransitiveSubRole(Role r)
|
EdgeList |
EdgeList.getEdges(Role role)
|
EdgeList |
Individual.getEdgesTo(Node x,
Role r)
|
int |
Individual.getMaxCard(Role r)
|
int |
Individual.getMinCard(Role r)
|
void |
ABox.getObjectPropertyValues(aterm.ATermAppl s,
Role role,
java.util.Set knowns,
java.util.Set unknowns)
|
java.util.List |
ABox.getObviousDataPropertyValues(aterm.ATermAppl s,
Role prop,
Datatype datatype)
|
EdgeList |
Individual.getRNeighborEdges(Role r)
|
java.util.Set |
Individual.getRNeighborNames(Role r)
|
java.util.Set |
Individual.getRNeighbors(Role r)
|
EdgeList |
Individual.getRPredecessorEdges(Role r)
|
EdgeList |
Individual.getRSuccessorEdges(Role r)
|
java.util.Set |
Individual.getRSuccessors(Role r)
|
Bool |
Individual.hasDataPropertyValue(Role r,
java.lang.Object value)
Check the property assertions to see if it is possible for this individual to have the value for the given datatype property. |
boolean |
EdgeList.hasEdge(Individual from,
Role role,
Node to)
|
boolean |
EdgeList.hasEdge(Role role)
|
boolean |
Individual.hasEdge(Role r,
Node x)
|
boolean |
EdgeList.hasEdgeFrom(Individual from,
Role role)
|
boolean |
EdgeList.hasEdgeTo(Role role,
Node to)
|
DependencySet |
Individual.hasMax1(Role maxR)
|
Bool |
Individual.hasObjectPropertyValue(Role r,
Individual value)
Check the property assertions to see if it is possible for this individual to have the value for the given object property. |
boolean |
Individual.hasRNeighbor(Role r)
|
boolean |
Individual.hasRSuccessor(Role r)
|
boolean |
Role.isSubRoleOf(Role r)
|
boolean |
Role.isSuperRoleOf(Role r)
|
void |
Role.setInverse(Role term)
|
Constructors in org.mindswap.pellet with parameters of type Role | |
---|---|
Edge(Role name,
Individual from,
Node to)
|
|
Edge(Role name,
Individual from,
Node to,
DependencySet d)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |