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   
 

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:
 



Copyright © 2004 Evren Sirin. All Rights Reserved.