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