Uses of Class
org.mindswap.pellet.Role

Packages that use Role

Package	Description
com.clarkparsia.pellet.rules
com.clarkparsia.pellet.rules.rete
org.mindswap.pellet
org.mindswap.pellet.tableau.blocking
org.mindswap.pellet.tableau.branch
org.mindswap.pellet.tableau.cache
org.mindswap.pellet.tableau.completion
org.mindswap.pellet.tableau.completion.rule
org.mindswap.pellet.utils

Uses of Role in com.clarkparsia.pellet.rules

Methods in com.clarkparsia.pellet.rules with parameters of type Role

Modifier and Type	Method and Description
Edge	ContinuousRulesStrategy.addEdge(Individual subj, Role pred, Node obj, DependencySet ds)

Uses of Role in com.clarkparsia.pellet.rules.rete

Fields in com.clarkparsia.pellet.rules.rete declared as Role

Modifier and Type	Field and Description
protected Role	AlphaEdgeNode.role

Methods in com.clarkparsia.pellet.rules.rete that return Role

Modifier and Type	Method and Description
Role	AlphaEdgeNode.getRole()

Methods in com.clarkparsia.pellet.rules.rete with parameters of type Role

Modifier and Type	Method and Description
protected Iterator<WME>	AlphaEdgeNode.getMatches(Individual s, Role r, Node o)

Constructors in com.clarkparsia.pellet.rules.rete with parameters of type Role

Constructor and Description
AlphaEdgeNode(ABox abox, Role role)
AlphaFixedEdgeNode(ABox abox, Role role, aterm.ATermAppl subjectName)
AlphaFixedObjectEdgeNode(ABox abox, Role role, aterm.ATermAppl object)
AlphaFixedSubjectEdgeNode(ABox abox, Role role, aterm.ATermAppl subjectName)
AlphaNoVarEdgeNode(ABox abox, Role role, aterm.ATermAppl subjectName, aterm.ATermAppl objectName)
AlphaReflexiveEdgeNode(ABox abox, Role role)
Edge(ContinuousRulesStrategy strategy, Set<aterm.ATermAppl> explain, NodeProvider subject, Role role, NodeProvider object)

Uses of Role in org.mindswap.pellet

Fields in org.mindswap.pellet declared as Role

Modifier and Type	Field and Description
protected Role	RoleTaxonomyBuilder.bottomRole
protected Role	RoleTaxonomyBuilder.topRole

Fields in org.mindswap.pellet with type parameters of type Role

Modifier and Type	Field and Description
protected Collection<Role>	RoleTaxonomyBuilder.properties

Methods in org.mindswap.pellet that return Role

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

Modifier and Type	Method and Description
Set<Role>	Role.getDisjointRoles()
Set<Role>	Role.getEquivalentProperties()
TransitionGraph<Role>	Role.getFSM()
Set<Role>	Role.getFunctionalSupers()
Set<Role>	Role.getProperSubRoles()
Set<Role>	RBox.getReflexiveRoles()
Set<Role>	EdgeList.getRoles()
Collection<Role>	RBox.getRoles() getRoles
Set<Role>	Role.getSubRoles()
Set<Role>	Role.getSuperRoles()
Set<Role>	Role.getTransitiveSubRoles()

Methods in org.mindswap.pellet with parameters of type Role

Modifier and Type	Method and Description
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)
Iterator<aterm.ATermAppl>	RBox.getAssertedDomains(Role r)
Iterator<aterm.ATermAppl>	RBox.getAssertedRanges(Role r)
List<aterm.ATermAppl>	ABox.getDataPropertyValues(aterm.ATermAppl s, Role role, aterm.ATermAppl datatype)
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, Set<aterm.ATermAppl> knowns, Set<aterm.ATermAppl> unknowns, boolean getSames)
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
Set<Node>	Individual.getRNeighbors(Role r)
EdgeList	Individual.getRPredecessorEdges(Role r)
EdgeList	Individual.getRSuccessorEdges(Role r)
Set<Node>	Individual.getRSuccessors(Role r, aterm.ATermAppl c)
Bool	Individual.hasDataPropertyValue(Role r, 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

Modifier and Type	Method and Description
void	Role.setFSM(TransitionGraph<Role> tg)
void	Role.setSubRolesAndChains(Set<Role> subRoles, Set<aterm.ATermList> subRoleChains, Map<aterm.ATerm,DependencySet> dependencies)
void	Role.setSuperRoles(Set<Role> superRoles)

Constructors in org.mindswap.pellet with parameters of type Role

Constructor and Description
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 that return types with arguments of type Role

Modifier and Type	Method and Description
protected Set<Role>	BlockingContext.getIncomingRoles() Returns the roles that points to the blocked candidate from its parent and cache the result for future use.
protected static Set<Role>	BlockingContext.getIncomingRoles(Individual ind) Returns the roles that points to the given individual from its parent.

Methods in org.mindswap.pellet.tableau.blocking with parameters of type Role

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

Constructor and Description
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, List<NodeMerge> mergePairs, DependencySet ds)

Uses of Role in org.mindswap.pellet.tableau.cache

Methods in org.mindswap.pellet.tableau.cache that return Role

Modifier and Type	Method and Description
Role	CachedEdge.getRole()

Methods in org.mindswap.pellet.tableau.cache with parameters of type Role

Modifier and Type	Method and Description
protected boolean	CacheSafetyDynamic.hasAnonInverse(Role role)
boolean	CachedNode.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	CachedConceptNode.hasRNeighbor(Role role) Checks if this node is connected to another node with the given role (or one of its subproperties).
protected boolean	CacheSafetyDynamic.interactsWithInverses(KnowledgeBase kb, Role role)
protected boolean	CacheSafetyDynamic.interactsWithInversesComplex(KnowledgeBase kb, Role role)
protected boolean	CacheSafetyDynamic.interactsWithInversesSimple(Role role)

Constructors in org.mindswap.pellet.tableau.cache with parameters of type Role

Constructor and Description
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

Modifier and Type	Method and Description
Edge	CompletionStrategy.addEdge(Individual subj, Role pred, Node obj, DependencySet ds)
protected void	CompletionStrategy.applyFunctionalMaxRule(Literal x, Role r, DependencySet ds)
protected void	CompletionStrategy.updateQueueAddEdge(Individual subj, Role pred, Node obj) This method updates the queue in the event that there is an edge added between two nodes.

Uses of Role in org.mindswap.pellet.tableau.completion.rule

Methods in org.mindswap.pellet.tableau.completion.rule with parameters of type Role

Modifier and Type	Method and Description
protected void	AllValuesRule.applyAllValues(Individual subj, Role pred, Node obj, aterm.ATermAppl c, DependencySet ds)
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)
protected boolean	MaxRule.applyMaxRule(Individual x, Role r, aterm.ATermAppl c, int k, DependencySet ds) applyMaxRule

Uses of Role in org.mindswap.pellet.utils

Methods in org.mindswap.pellet.utils with parameters of type Role

Modifier and Type	Method and Description
static aterm.ATermAppl	ATermUtils.getTop(Role r)