Uses of Class
org.mindswap.pellet.tableau.completion.CompletionStrategy

Packages that use CompletionStrategy
com.clarkparsia.pellet.rules   
org.mindswap.pellet   
org.mindswap.pellet.tableau.branch   
org.mindswap.pellet.tableau.completion   
org.mindswap.pellet.tableau.completion.rule   
 

Uses of CompletionStrategy in com.clarkparsia.pellet.rules
 

Subclasses of CompletionStrategy in com.clarkparsia.pellet.rules
 class ContinuousRulesStrategy
           
 class RuleStrategy
           
 

Methods in com.clarkparsia.pellet.rules with parameters of type CompletionStrategy
 boolean RuleAtomAsserter.assertAtom(RuleAtom atom, VariableBinding binding, DependencySet ds, boolean negated, ABox abox, CompletionStrategy strategy)
           
 

Uses of CompletionStrategy in org.mindswap.pellet
 

Fields in org.mindswap.pellet with type parameters of type CompletionStrategy
static java.lang.Class<? extends CompletionStrategy> PelletOptions.DEFAULT_COMPLETION_STRATEGY
          Deprecated. 
 

Uses of CompletionStrategy in org.mindswap.pellet.tableau.branch
 

Methods in org.mindswap.pellet.tableau.branch with parameters of type CompletionStrategy
 void Branch.setStrategy(CompletionStrategy strategy)
           
 

Constructors in org.mindswap.pellet.tableau.branch with parameters of type CompletionStrategy
ChooseBranch(ABox abox, CompletionStrategy completion, Node node, aterm.ATermAppl c, DependencySet ds)
           
DisjunctionBranch(ABox abox, CompletionStrategy completion, Node node, aterm.ATermAppl disjunction, DependencySet ds, aterm.ATermAppl[] disj)
           
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)
           
RuleBranch(ABox abox, CompletionStrategy completion, RuleAtomAsserter ruleAtomAsserter, java.util.List<RuleAtom> atoms, VariableBinding binding, int bodyAtomCount, DependencySet ds)
           
 

Uses of CompletionStrategy in org.mindswap.pellet.tableau.completion
 

Subclasses of CompletionStrategy in org.mindswap.pellet.tableau.completion
 class EmptySRIQStrategy
          Completion strategy for a SRIQ KB that does not have individuals in the ABox.
 class SROIQIncStrategy
          The completion strategy for incremental consistency checking.
 class SROIQStrategy
           Title:
 

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

Constructors in org.mindswap.pellet.tableau.completion.rule with parameters of type CompletionStrategy
AbstractTableauRule(CompletionStrategy strategy, NodeSelector nodeSelector, org.mindswap.pellet.tableau.completion.rule.AbstractTableauRule.BlockingType blockingType)
           
AllValuesRule(CompletionStrategy strategy)
           
ChooseRule(CompletionStrategy strategy)
           
DataCardinalityRule(CompletionStrategy strategy)
           
DataSatisfiabilityRule(CompletionStrategy strategy)
           
DisjunctionRule(CompletionStrategy strategy)
           
GuessRule(CompletionStrategy strategy)
           
MaxRule(CompletionStrategy strategy)
           
MinRule(CompletionStrategy strategy)
           
NominalRule(CompletionStrategy strategy)
           
SelfRule(CompletionStrategy strategy)
           
SimpleAllValuesRule(CompletionStrategy strategy)
           
SomeValuesRule(CompletionStrategy strategy)
           
UnfoldingRule(CompletionStrategy strategy)
           
 



Copyright © 2004 Evren Sirin. All Rights Reserved.