Uses of Class
org.mindswap.pellet.Individual

Packages that use Individual
com.clarkparsia.pellet   
com.clarkparsia.pellet.impl   
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.queue   
org.mindswap.pellet.tableau.completion.rule   
 

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)
           
 



Copyright © 2004 Evren Sirin. All Rights Reserved.