|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use CompletionStrategy | |
|---|---|
| com.clarkparsia.pellet.rules | |
| org.mindswap.pellet | |
| org.mindswap.pellet.tableau.branch | |
| org.mindswap.pellet.tableau.completion | |
| Uses of CompletionStrategy in com.clarkparsia.pellet.rules |
|---|
| Subclasses of CompletionStrategy in com.clarkparsia.pellet.rules | |
|---|---|
class |
ContinuousRulesStrategy
|
class |
RuleStrategy
|
| Constructors in com.clarkparsia.pellet.rules with parameters of type CompletionStrategy | |
|---|---|
RuleAtomAsserter(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
The default strategy used for ABox completion. |
| 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,
Individual x,
aterm.ATermAppl c,
DependencySet ds)
|
|
DisjunctionBranch(ABox abox,
CompletionStrategy completion,
Individual x,
aterm.ATermAppl disjunction,
DependencySet ds,
aterm.ATermAppl[] disj)
|
|
GuessBranch(ABox abox,
CompletionStrategy strategy,
Individual x,
Role r,
int minGuess,
int maxGuess,
DependencySet ds)
|
|
LiteralValueBranch(ABox abox,
CompletionStrategy strategy,
Literal lit,
Datatype datatype)
|
|
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 |
EmptySHNStrategy
Completion strategy for a SHN KB that does not have individuals in the ABox. |
class |
SHINStrategy
Completion strategy for SHIN ontologies (simply uses SHOINStartegy but with optimized double blocking) |
class |
SHNStrategy
Completion strategy for SHN ontologies (simply uses SHONStartegy but without nominal rule) |
class |
SHOINStrategy
|
class |
SHOIQStrategy
Title: |
class |
SHONStrategy
Completion strategy for SHON ontologies (simply uses SHOINStartegy but with subset blocking) |
class |
SROIQIncStrategy
The completion strategy for incremental consistency checking. |
class |
SROIQStrategy
Title: |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||