|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Role in com.clarkparsia.pellet.rules |
---|
Methods in com.clarkparsia.pellet.rules with parameters of type Role | |
---|---|
void |
ContinuousRulesStrategy.addEdge(Individual subj,
Role pred,
Node obj,
DependencySet ds)
|
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.addObjectRole(aterm.ATermAppl r)
|
Role |
RBox.addOntologyRole(aterm.ATermAppl r)
Deprecated. |
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 |
DefaultEdge.getRole()
|
Role |
Edge.getRole()
|
Role |
ABox.getRole(aterm.ATerm r)
Convenience function to get the named role. |
Role |
KnowledgeBase.getRole(aterm.ATerm term)
|
Role |
RBox.getRole(aterm.ATerm r)
Return the role with the given name |
Methods in org.mindswap.pellet that return types with arguments of type Role | |
---|---|
java.util.Set<Role> |
Role.getDisjointRoles()
|
java.util.Set<Role> |
Role.getEquivalentProperties()
|
TransitionGraph<Role> |
Role.getFSM()
|
java.util.Set<Role> |
Role.getFunctionalSupers()
|
java.util.Set<Role> |
Role.getProperSubRoles()
|
java.util.Set<Role> |
RBox.getReflexiveRoles()
|
java.util.Set<Role> |
EdgeList.getRoles()
|
java.util.Collection<Role> |
RBox.getRoles()
getRoles |
java.util.Set<Role> |
Role.getSubRoles()
|
java.util.Set<Role> |
Role.getSuperRoles()
|
java.util.Set<Role> |
Role.getTransitiveSubRoles()
|
Methods in org.mindswap.pellet with parameters of type Role | |
---|---|
void |
Role.addDisjointRole(Role r,
DependencySet ds)
|
Edge |
Individual.addEdge(Role r,
Node x,
DependencySet ds)
|
void |
Role.addFunctionalSuper(Role r)
|
void |
Role.addSubRole(Role r)
r is subrole of this role |
void |
Role.addSubRole(Role r,
DependencySet ds)
Add sub role with depedency set. |
void |
Role.addSuperRole(Role r)
r is superrole of this role |
void |
Role.addSuperRole(Role r,
DependencySet ds)
|
void |
Role.addTransitiveSubRole(Role r)
|
boolean |
FSMBuilder.build(Role s)
|
java.util.Iterator<aterm.ATermAppl> |
RBox.getAssertedDomains(Role r)
|
java.util.Iterator<aterm.ATermAppl> |
RBox.getAssertedRanges(Role r)
|
java.util.List<aterm.ATermAppl> |
ABox.getDataPropertyValues(aterm.ATermAppl s,
Role role,
aterm.ATermAppl datatype)
|
java.util.List<aterm.ATermAppl> |
ABox.getDataPropertyValues(aterm.ATermAppl s,
Role role,
aterm.ATermAppl datatype,
boolean onlyObvious)
|
EdgeList |
EdgeList.getEdges(Role role)
|
EdgeList |
EdgeList.getEdgesFrom(Individual from,
Role r)
|
EdgeList |
Individual.getEdgesTo(Node x,
Role r)
|
EdgeList |
EdgeList.getEdgesTo(Role r,
Node to)
|
Edge |
EdgeList.getExactEdge(Individual from,
Role role,
Node to)
|
DependencySet |
Role.getExplainDisjointRole(Role role)
|
DependencySet |
Role.getExplainSubOrInv(Role r)
|
int |
Individual.getMaxCard(Role r)
|
int |
Individual.getMinCard(Role r,
aterm.ATermAppl c)
|
void |
ABox.getObjectPropertyValues(aterm.ATermAppl s,
Role role,
java.util.Set<aterm.ATermAppl> knowns,
java.util.Set<aterm.ATermAppl> unknowns,
boolean getSames)
|
java.util.List<aterm.ATermAppl> |
ABox.getObviousDataPropertyValues(aterm.ATermAppl s,
Role prop,
aterm.ATermAppl datatype)
|
EdgeList |
Individual.getRNeighborEdges(Role r)
|
EdgeList |
Individual.getRNeighborEdges(Role r,
Node node)
Get neighbor edges to a specific node |
java.util.Set<Node> |
Individual.getRNeighbors(Role r)
|
EdgeList |
Individual.getRPredecessorEdges(Role r)
|
EdgeList |
Individual.getRSuccessorEdges(Role r)
|
java.util.Set<Node> |
Individual.getRSuccessors(Role r,
aterm.ATermAppl c)
|
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. |
DependencySet |
Individual.hasDistinctRNeighborsForMax(Role r,
int n,
aterm.ATermAppl c)
Checks if this individual has at least n distinct r-neighbors that has a specific type. |
boolean |
Individual.hasDistinctRNeighborsForMin(Role r,
int n,
aterm.ATermAppl c)
|
boolean |
Individual.hasDistinctRNeighborsForMin(Role r,
int n,
aterm.ATermAppl c,
boolean onlyNominals)
Returns true if this individual has at least n distinct r-neighbors. |
boolean |
EdgeList.hasEdge(Individual from,
Role role,
Node to)
Checks if this list contains an edge matching the given subject, predicate and object. |
boolean |
EdgeList.hasEdge(Role role)
|
boolean |
EdgeList.hasEdgeFrom(Individual from,
Role role)
|
boolean |
EdgeList.hasEdgeTo(Role role,
Node to)
|
boolean |
EdgeList.hasExactEdge(Individual from,
Role role,
Node to)
Similar to EdgeList.hasEdge(Individual, Role, Node) but does not
consider subproperty hierarchy for matching so only exact predicate
matches are considered. |
DependencySet |
Individual.hasMax1(Role r)
|
boolean |
Individual.hasRNeighbor(Role r)
|
boolean |
Individual.hasRNeighbor(Role r,
Node x)
|
boolean |
Individual.hasRSuccessor(Role r)
|
boolean |
Individual.hasRSuccessor(Role r,
Node x)
|
boolean |
Role.isEquivalent(Role r)
|
boolean |
Role.isSubRoleOf(Role r)
|
boolean |
Role.isSuperRoleOf(Role r)
|
void |
Role.removeSubRole(Role r)
|
void |
Role.setInverse(Role term)
|
Method parameters in org.mindswap.pellet with type arguments of type Role | |
---|---|
void |
Role.setFSM(TransitionGraph<Role> tg)
|
void |
Role.setSubRolesAndChains(java.util.Set<Role> subRoles,
java.util.Set<aterm.ATermList> subRoleChains,
java.util.Map<aterm.ATerm,DependencySet> dependencies)
|
void |
Role.setSuperRoles(java.util.Set<Role> superRoles)
|
Constructors in org.mindswap.pellet with parameters of type Role | |
---|---|
DefaultEdge(Role name,
Individual from,
Node to)
|
|
DefaultEdge(Role name,
Individual from,
Node to,
DependencySet d)
|
Uses of Role in org.mindswap.pellet.tableau.blocking |
---|
Methods in org.mindswap.pellet.tableau.blocking with parameters of type Role | |
---|---|
boolean |
BlockingContext.isRSuccessor(Role r)
Returns if the blocked node is an r-successor of its parent. |
Uses of Role in org.mindswap.pellet.tableau.branch |
---|
Constructors in org.mindswap.pellet.tableau.branch with parameters of type Role | |
---|---|
GuessBranch(ABox abox,
CompletionStrategy strategy,
Individual x,
Role r,
int minGuess,
int maxGuess,
aterm.ATermAppl q,
DependencySet ds)
|
|
MaxBranch(ABox abox,
CompletionStrategy strategy,
Individual x,
Role r,
int n,
aterm.ATermAppl qualification,
java.util.List<NodeMerge> mergePairs,
DependencySet ds)
|
Uses of Role in org.mindswap.pellet.tableau.cache |
---|
Methods in org.mindswap.pellet.tableau.cache that return Role | |
---|---|
Role |
CachedEdge.getRole()
|
Methods in org.mindswap.pellet.tableau.cache with parameters of type Role | |
---|---|
boolean |
CachedConceptNode.hasRNeighbor(Role role)
Checks if this node is connected to another node with the given role (or one of its subproperties). |
boolean |
CachedConstantNode.hasRNeighbor(Role role)
Checks if this node is connected to another node with the given role (or one of its subproperties). |
boolean |
CachedNode.hasRNeighbor(Role role)
Checks if this node is connected to another node with the given role (or one of its subproperties). |
Constructors in org.mindswap.pellet.tableau.cache with parameters of type Role | |
---|---|
CachedEdge(Role role,
aterm.ATermAppl neighbor,
DependencySet ds)
|
|
CachedInEdge(Role role,
aterm.ATermAppl from,
DependencySet ds)
|
|
CachedOutEdge(Role role,
aterm.ATermAppl to,
DependencySet ds)
|
Uses of Role in org.mindswap.pellet.tableau.completion |
---|
Methods in org.mindswap.pellet.tableau.completion with parameters of type Role | |
---|---|
void |
CompletionStrategy.addEdge(Individual subj,
Role pred,
Node obj,
DependencySet ds)
|
Uses of Role in org.mindswap.pellet.tableau.completion.rule |
---|
Methods in org.mindswap.pellet.tableau.completion.rule with parameters of type Role | |
---|---|
void |
AllValuesRule.applyAllValues(Individual subj,
Role pred,
Node obj,
DependencySet ds)
|
void |
SimpleAllValuesRule.applyAllValues(Individual subj,
Role pred,
Node obj,
DependencySet ds)
|
void |
MaxRule.applyFunctionalMaxRule(Individual x,
Role s,
aterm.ATermAppl c,
DependencySet ds)
|
Uses of Role in org.mindswap.pellet.utils |
---|
Methods in org.mindswap.pellet.utils with parameters of type Role | |
---|---|
static aterm.ATermAppl |
ATermUtils.getTop(Role r)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |