|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |