Uses of Class
org.mindswap.pellet.ABox

Packages that use ABox
com.clarkparsia.pellet   
com.clarkparsia.pellet.impl   
com.clarkparsia.pellet.rules   
com.clarkparsia.pellet.rules.builtins   
com.clarkparsia.pellet.rules.rete   
org.mindswap.pellet   
org.mindswap.pellet.tableau.branch   
org.mindswap.pellet.tableau.completion   
org.mindswap.pellet.tableau.completion.queue   
 

Uses of ABox in com.clarkparsia.pellet
 

Methods in com.clarkparsia.pellet with parameters of type ABox
 IncrementalChangeTracker IncrementalChangeTracker.copy(ABox target)
          Copy change tracker for use with a new ABox (presumably as part of ABox.copy())
 

Uses of ABox in com.clarkparsia.pellet.impl
 

Methods in com.clarkparsia.pellet.impl with parameters of type ABox
 SimpleIncrementalChangeTracker SimpleIncrementalChangeTracker.copy(ABox target)
           
 

Uses of ABox in com.clarkparsia.pellet.rules
 

Methods in com.clarkparsia.pellet.rules that return ABox
 ABox VariableBinding.getABox()
           
 

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

Constructors in com.clarkparsia.pellet.rules with parameters of type ABox
AllNamedIndividualsIterator(ABox abox)
           
BindingGeneratorImpl(ABox abox, VariableBinding initialBinding, java.util.Collection<BindingHelper> helpers)
          Constructs a binding generator with the given list of helpers.
BindingGeneratorStrategyImpl(ABox abox)
           
ContinuousReteTransformer(ABox abox)
           
ContinuousRulesStrategy(ABox abox)
           
DataRangeBindingHelper(ABox abox, DataRangeAtom atom)
           
DatavaluePropertyBindingHelper(ABox abox, DatavaluedPropertyAtom pattern)
           
ObjectVariableBindingHelper(ABox abox, AtomIVariable var)
           
RulesToReteTranslator(ABox abox)
           
RuleStrategy(ABox abox)
           
TrivialSatisfactionHelpers(ABox abox)
           
VariableBinding(ABox abox)
           
 

Uses of ABox in com.clarkparsia.pellet.rules.builtins
 

Methods in com.clarkparsia.pellet.rules.builtins with parameters of type ABox
 boolean GeneralFunction.apply(ABox abox, Literal[] args)
          Apply the function against a set of arguments.
 Literal Function.apply(ABox abox, Literal expected, Literal... args)
          Apply the function against a set of arguments.
 Literal NumericAdapter.apply(ABox abox, Literal expected, Literal... args)
           
 Literal StringFunctionAdapter.apply(ABox abox, Literal expected, Literal... litArgs)
           
 

Constructors in com.clarkparsia.pellet.rules.builtins with parameters of type ABox
NumberToLiteralVisitor(ABox abox)
           
 

Uses of ABox in com.clarkparsia.pellet.rules.rete
 

Methods in com.clarkparsia.pellet.rules.rete with parameters of type ABox
 void Compiler.compileFacts(ABox abox)
           
 

Constructors in com.clarkparsia.pellet.rules.rete with parameters of type ABox
Compiler(Interpreter interp, ABox abox)
           
Interpreter(ABox abox)
           
 

Uses of ABox in org.mindswap.pellet
 

Methods in org.mindswap.pellet that return ABox
 ABox ABox.copy()
          Create a copy of this ABox with all the nodes and edges.
 ABox ABox.copy(aterm.ATermAppl extraIndividual, boolean copyIndividuals)
          Create a copy of this ABox with one more additional individual.
 ABox ABox.copy(KnowledgeBase kb)
          Create a copy of this ABox with all the nodes and edges and the given KB.
 ABox KnowledgeBase.getABox()
           
 ABox Node.getABox()
          getABox
 ABox ABox.getLastCompletion()
           
 

Methods in org.mindswap.pellet with parameters of type ABox
 Clash Clash.copyTo(ABox abox)
           
 Node Individual.copyTo(ABox abox)
           
 Node Literal.copyTo(ABox abox)
           
abstract  Node Node.copyTo(ABox abox)
           
 void ABox.setLastCompletion(ABox comp)
           
 

Constructors in org.mindswap.pellet with parameters of type ABox
ABox(KnowledgeBase kb, ABox abox, aterm.ATermAppl extraIndividual, boolean copyIndividuals)
           
IndividualIterator(ABox abox)
          Create an iterator over all the individuals in the ABox
Literal(aterm.ATermAppl name, aterm.ATermAppl term, ABox abox, DependencySet ds)
           
Literal(Literal literal, ABox abox)
           
LiteralIterator(ABox abox)
          Create an iterator over all the individuals in the ABox
LiteralIterator(ABox abox, int start, int stop)
          Create a limited iterator over the individuals in the ABox that only covers the individuals whose index in nodeList is between start ans stop indices.
 

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

Methods in org.mindswap.pellet.tableau.branch with parameters of type ABox
abstract  Branch Branch.copyTo(ABox abox)
           
 DisjunctionBranch DisjunctionBranch.copyTo(ABox abox)
           
 IndividualBranch GuessBranch.copyTo(ABox abox)
           
 IndividualBranch MaxBranch.copyTo(ABox abox)
           
 RuleBranch RuleBranch.copyTo(ABox abox)
           
 

Constructors in org.mindswap.pellet.tableau.branch with parameters of type ABox
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 ABox in org.mindswap.pellet.tableau.completion
 

Methods in org.mindswap.pellet.tableau.completion that return ABox
 ABox CompletionStrategy.getABox()
           
 

Constructors in org.mindswap.pellet.tableau.completion with parameters of type ABox
CompletionStrategy(ABox abox)
           
EmptySRIQStrategy(ABox abox)
           
SROIQIncStrategy(ABox abox)
          Constructor
SROIQStrategy(ABox abox)
           
 

Uses of ABox in org.mindswap.pellet.tableau.completion.queue
 

Methods in org.mindswap.pellet.tableau.completion.queue with parameters of type ABox
 void BasicCompletionQueue.setABox(ABox ab)
          Set the abox for the queue
 void CompletionQueue.setABox(ABox ab)
          Set the abox for the queue
 void OptimizedBasicCompletionQueue.setABox(ABox ab)
          Set the abox for the queue
 

Constructors in org.mindswap.pellet.tableau.completion.queue with parameters of type ABox
BasicCompletionQueue(ABox abox)
          Constructor - create queue
OptimizedBasicCompletionQueue(ABox abox)
          Constructor - create queue
 



Copyright © 2004 Evren Sirin. All Rights Reserved.