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

Packages that use CompletionStrategy

Package	Description
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

Modifier and Type	Class and Description
class	ContinuousRulesStrategy

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

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

Modifier and Type	Field and Description
static Class<? extends CompletionStrategy>	PelletOptions.DEFAULT_COMPLETION_STRATEGY Deprecated.

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

Fields in org.mindswap.pellet.tableau.branch declared as CompletionStrategy

Modifier and Type	Field and Description
protected CompletionStrategy	Branch.strategy

Methods in org.mindswap.pellet.tableau.branch with parameters of type CompletionStrategy

Modifier and Type	Method and Description
void	Branch.setStrategy(CompletionStrategy strategy)

Constructors in org.mindswap.pellet.tableau.branch with parameters of type CompletionStrategy

Constructor and Description
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)
IndividualBranch(ABox abox, CompletionStrategy strategy, Individual x, DependencySet ds, int n)
MaxBranch(ABox abox, CompletionStrategy strategy, Individual x, Role r, int n, aterm.ATermAppl qualification, List<NodeMerge> mergePairs, DependencySet ds)
RuleBranch(ABox abox, CompletionStrategy completion, RuleAtomAsserter ruleAtomAsserter, 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

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

Fields in org.mindswap.pellet.tableau.completion.rule declared as CompletionStrategy

Modifier and Type	Field and Description
protected CompletionStrategy	AbstractTableauRule.strategy

Constructors in org.mindswap.pellet.tableau.completion.rule with parameters of type CompletionStrategy

Constructor and Description
AbstractTableauRule(CompletionStrategy strategy, NodeSelector nodeSelector, 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)