|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Individual in com.clarkparsia.pellet |
---|
Methods in com.clarkparsia.pellet that return types with arguments of type Individual | |
---|---|
java.util.Iterator<Individual> |
IncrementalChangeTracker.newIndividuals()
Iterate over all individuals added (see IncrementalChangeTracker.addNewIndividual(Individual) ) since the previous
IncrementalChangeTracker.clear() |
java.util.Iterator<Individual> |
IncrementalChangeTracker.updatedIndividuals()
Iterate over all individuals updated (see IncrementalChangeTracker.addUpdatedIndividual(Individual) ) since the previous
IncrementalChangeTracker.clear() |
Methods in com.clarkparsia.pellet with parameters of type Individual | |
---|---|
boolean |
IncrementalChangeTracker.addNewIndividual(Individual i)
Record that a new individual has been added to the ABox |
boolean |
IncrementalChangeTracker.addUpdatedIndividual(Individual i)
Record that an individual has been updated |
Uses of Individual in com.clarkparsia.pellet.impl |
---|
Methods in com.clarkparsia.pellet.impl that return types with arguments of type Individual | |
---|---|
java.util.Iterator<Individual> |
SimpleIncrementalChangeTracker.newIndividuals()
|
java.util.Iterator<Individual> |
SimpleIncrementalChangeTracker.updatedIndividuals()
|
Methods in com.clarkparsia.pellet.impl with parameters of type Individual | |
---|---|
boolean |
SimpleIncrementalChangeTracker.addNewIndividual(Individual i)
|
boolean |
SimpleIncrementalChangeTracker.addUpdatedIndividual(Individual i)
|
Uses of Individual in com.clarkparsia.pellet.rules |
---|
Methods in com.clarkparsia.pellet.rules that return Individual | |
---|---|
Individual |
VariableBinding.get(AtomIObject key)
If the key is a variable, return the individual associated with it in the map. |
Individual |
AllNamedIndividualsIterator.next()
|
Individual |
VariableBinding.set(AtomIObject key,
Individual value)
If the key is an instance variable, set the value. |
Individual |
VariableBinding.set(AtomIVariable key,
aterm.ATermAppl value)
|
Methods in com.clarkparsia.pellet.rules with parameters of type Individual | |
---|---|
void |
ContinuousRulesStrategy.addEdge(Individual subj,
Role pred,
Node obj,
DependencySet ds)
|
void |
ContinuousRulesStrategy.restoreLocal(Individual ind,
Branch branch)
|
void |
RuleStrategy.restoreLocal(Individual ind,
Branch br)
|
Individual |
VariableBinding.set(AtomIObject key,
Individual value)
If the key is an instance variable, set the value. |
Uses of Individual in com.clarkparsia.pellet.rules.rete |
---|
Methods in com.clarkparsia.pellet.rules.rete with parameters of type Individual | |
---|---|
boolean |
Compiler.addDifferents(Individual individual)
Add different assertions as facts to rete. |
boolean |
Compiler.addFact(Individual individual,
aterm.ATermAppl type,
DependencySet ds)
Add concept assertion as a fact to rete (if relevant). |
boolean |
Compiler.processIndividual(Individual ind)
|
Uses of Individual in org.mindswap.pellet |
---|
Methods in org.mindswap.pellet that return Individual | |
---|---|
Individual |
ABox.addFreshIndividual(Individual parent,
DependencySet ds)
|
Individual |
KnowledgeBase.addIndividual(aterm.ATermAppl i)
|
Individual |
ABox.addIndividual(aterm.ATermAppl x,
DependencySet ds)
|
Individual |
DefaultEdge.getFrom()
|
Individual |
Edge.getFrom()
|
Individual |
ABox.getIndividual(aterm.ATerm x)
|
Individual |
Individual.getParent()
|
Individual |
Individual.getSame()
|
Individual |
IndividualIterator.next()
|
Methods in org.mindswap.pellet with parameters of type Individual | |
---|---|
Individual |
ABox.addFreshIndividual(Individual parent,
DependencySet ds)
|
EdgeList |
EdgeList.getEdgesFrom(Individual from)
|
EdgeList |
EdgeList.getEdgesFrom(Individual from,
Role r)
|
EdgeList |
EdgeList.getEdgesFromTo(Individual from,
Node to)
|
Edge |
EdgeList.getExactEdge(Individual from,
Role role,
Node to)
|
java.util.Set<Node> |
EdgeList.getFilteredNeighbors(Individual node,
aterm.ATermAppl c)
Find the neighbors of a node that has a certain type. |
void |
ABox.getSames(Individual ind,
java.util.Set<aterm.ATermAppl> knowns,
java.util.Set<aterm.ATermAppl> unknowns)
|
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.hasEdgeFrom(Individual from)
|
boolean |
EdgeList.hasEdgeFrom(Individual from,
Role role)
|
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. |
Bool |
ABox.isKnownType(Individual pNode,
aterm.ATermAppl concept,
java.util.Collection<aterm.ATermAppl> subs)
|
Constructors in org.mindswap.pellet with parameters of type Individual | |
---|---|
DefaultEdge(Role name,
Individual from,
Node to)
|
|
DefaultEdge(Role name,
Individual from,
Node to,
DependencySet d)
|
Uses of Individual in org.mindswap.pellet.tableau.blocking |
---|
Methods in org.mindswap.pellet.tableau.blocking with parameters of type Individual | |
---|---|
boolean |
Blocking.isBlocked(Individual blocked)
|
boolean |
Blocking.isDirectlyBlocked(Individual blocked)
|
boolean |
Blocking.isIndirectlyBlocked(Individual blocked)
|
Constructors in org.mindswap.pellet.tableau.blocking with parameters of type Individual | |
---|---|
BlockingContext(Individual blocked)
|
Uses of Individual in org.mindswap.pellet.tableau.branch |
---|
Constructors in org.mindswap.pellet.tableau.branch with parameters of type Individual | |
---|---|
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 Individual in org.mindswap.pellet.tableau.cache |
---|
Methods in org.mindswap.pellet.tableau.cache that return Individual | |
---|---|
Individual |
CachedEdge.getFrom()
|
Methods in org.mindswap.pellet.tableau.cache with parameters of type Individual | |
---|---|
static CachedNode |
CachedNodeFactory.createNode(aterm.ATermAppl name,
Individual node)
|
boolean |
CacheSafety.isSafe(aterm.ATermAppl c,
Individual ind)
Returns if a previously cached satisfiability result is safe to reuse for a given concept and node in the completion graph. |
boolean |
CacheSafetyAlwaysSafe.isSafe(aterm.ATermAppl c,
Individual ind)
Returns if a previously cached satisfiability result is safe to reuse for a given concept and node in the completion graph. |
boolean |
CacheSafetyDynamic.isSafe(aterm.ATermAppl c,
Individual ind)
Returns if a previously cached satisfiability result is safe to reuse for a given concept and node in the completion graph. |
boolean |
CacheSafetyNeverSafe.isSafe(aterm.ATermAppl c,
Individual ind)
Returns if a previously cached satisfiability result is safe to reuse for a given concept and node in the completion graph. |
Constructors in org.mindswap.pellet.tableau.cache with parameters of type Individual | |
---|---|
CachedConceptNode(aterm.ATermAppl name,
Individual node)
|
Uses of Individual in org.mindswap.pellet.tableau.completion |
---|
Methods in org.mindswap.pellet.tableau.completion that return Individual | |
---|---|
Individual |
CompletionStrategy.createFreshIndividual(Individual parent,
DependencySet ds)
|
Methods in org.mindswap.pellet.tableau.completion that return types with arguments of type Individual | |
---|---|
java.util.Iterator<Individual> |
CompletionStrategy.getInitializeIterator()
Return individuals to which we need to apply the initialization rules |
java.util.Iterator<Individual> |
SROIQIncStrategy.getInitializeIterator()
Return individuals to which we need to apply the initialization rules |
java.util.Iterator<Individual> |
SROIQIncStrategy.getNewIterator()
Return individuals that were newly added |
Methods in org.mindswap.pellet.tableau.completion with parameters of type Individual | |
---|---|
void |
CompletionStrategy.addEdge(Individual subj,
Role pred,
Node obj,
DependencySet ds)
|
Individual |
CompletionStrategy.createFreshIndividual(Individual parent,
DependencySet ds)
|
void |
CompletionStrategy.restoreLocal(Individual ind,
Branch br)
|
void |
EmptySRIQStrategy.restoreLocal(Individual ind,
Branch br)
|
Uses of Individual in org.mindswap.pellet.tableau.completion.queue |
---|
Methods in org.mindswap.pellet.tableau.completion.queue that return Individual | |
---|---|
Individual |
BasicCompletionQueue.next()
Get the next element of a queue of a given type |
Individual |
OptimizedBasicCompletionQueue.next()
Get the next element of a queue of a given type |
Uses of Individual in org.mindswap.pellet.tableau.completion.rule |
---|
Methods in org.mindswap.pellet.tableau.completion.rule with parameters of type Individual | |
---|---|
void |
AllValuesRule.apply(Individual x)
|
void |
ChooseRule.apply(Individual x)
|
void |
DataCardinalityRule.apply(Individual x)
|
void |
DataSatisfiabilityRule.apply(Individual ind)
|
void |
DisjunctionRule.apply(Individual node)
|
void |
GuessRule.apply(Individual x)
|
void |
MaxRule.apply(Individual x)
Apply max rule to the individual. |
void |
MinRule.apply(Individual x)
|
void |
NominalRule.apply(Individual y)
|
void |
SelfRule.apply(Individual node)
|
void |
SomeValuesRule.apply(Individual x)
|
void |
TableauRule.apply(Individual ind)
|
void |
UnfoldingRule.apply(Individual node)
|
void |
AllValuesRule.applyAllValues(Individual x,
aterm.ATermAppl av,
DependencySet ds)
Apply the allValues rule for the given type with the given dependency. |
void |
SimpleAllValuesRule.applyAllValues(Individual x,
aterm.ATermAppl av,
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |