|
||||||||||
| 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()
|
| 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)
|
|
ReteToRulesTranslator(ABox abox)
Deprecated. |
|
RuleAtomAsserter(ABox abox,
CompletionStrategy strategy)
|
|
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 |
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(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)
|
IndividualBranch |
DisjunctionBranch.copyTo(ABox abox)
|
IndividualBranch |
GuessBranch.copyTo(ABox abox)
|
Branch |
LiteralValueBranch.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,
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 ABox in org.mindswap.pellet.tableau.completion |
|---|
| Constructors in org.mindswap.pellet.tableau.completion with parameters of type ABox | |
|---|---|
CompletionStrategy(ABox abox,
Blocking blocking)
|
|
EmptySHNStrategy(ABox abox)
|
|
SHINStrategy(ABox abox)
|
|
SHNStrategy(ABox abox)
|
|
SHOINStrategy(ABox abox)
|
|
SHOIQStrategy(ABox abox)
|
|
SHONStrategy(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 | |||||||||