|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use RuleAtom | |
---|---|
com.clarkparsia.pellet.rules | |
com.clarkparsia.pellet.rules.model | |
org.mindswap.pellet.tableau.branch |
Uses of RuleAtom in com.clarkparsia.pellet.rules |
---|
Methods in com.clarkparsia.pellet.rules with parameters of type RuleAtom | |
---|---|
boolean |
RuleAtomAsserter.assertAtom(RuleAtom atom,
VariableBinding binding,
DependencySet ds,
boolean negated,
ABox abox,
CompletionStrategy strategy)
|
static java.util.Collection<AtomDVariable> |
VariableUtils.getDVars(RuleAtom atom)
Static convenience function to return the instance variables used in the given atom. |
static java.util.Collection<AtomIVariable> |
VariableUtils.getIVars(RuleAtom atom)
Static convenience function to return the instance variables used in the given atom. |
static java.util.Collection<AtomVariable> |
VariableUtils.getVars(RuleAtom atom)
Static convenience function to return the variables used in the given atom. |
DependencySet |
TrivialSatisfactionHelpers.isAtomTrue(RuleAtom atom,
VariableBinding binding)
|
aterm.ATermAppl |
RulesToATermTranslator.translate(RuleAtom ruleAtom)
|
TermTuple |
RulesToReteTranslator.translateAtom(RuleAtom atom,
DependencySet ds)
Translates a rule atom into a rete triple. |
Method parameters in com.clarkparsia.pellet.rules with type arguments of type RuleAtom | |
---|---|
java.util.List<TermTuple> |
RulesToReteTranslator.translateAtoms(java.util.Collection<? extends RuleAtom> atoms,
DependencySet ds)
Translates a list of rule atoms into rete triples. |
Uses of RuleAtom in com.clarkparsia.pellet.rules.model |
---|
Classes in com.clarkparsia.pellet.rules.model that implement RuleAtom | |
---|---|
class |
BinaryAtom<P,A extends AtomObject,B extends AtomObject>
Title: Property Atom |
class |
BuiltInAtom
Title: Built-In Atom |
class |
ClassAtom
Title: Class Atom |
class |
DataRangeAtom
Title: Data Range Atom |
class |
DatavaluedPropertyAtom
Title: Datavalued Property Atom |
class |
DifferentIndividualsAtom
Title: Different Individuals Atom |
class |
IndividualPropertyAtom
Title: Individual Property Atom |
class |
RuleAtomImpl<P>
Title: Rule Atom Implementation |
class |
SameIndividualAtom
Title: Same Individual Atom |
class |
UnaryAtom<A extends AtomObject>
Title: Unary Atom |
Methods in com.clarkparsia.pellet.rules.model that return types with arguments of type RuleAtom | |
---|---|
java.util.Collection<? extends RuleAtom> |
Rule.getBody()
|
java.util.Collection<? extends RuleAtom> |
Rule.getHead()
|
Constructor parameters in com.clarkparsia.pellet.rules.model with type arguments of type RuleAtom | |
---|---|
Rule(aterm.ATermAppl name,
java.util.Collection<? extends RuleAtom> head,
java.util.Collection<? extends RuleAtom> body)
|
|
Rule(aterm.ATermAppl name,
java.util.Collection<? extends RuleAtom> head,
java.util.Collection<? extends RuleAtom> body)
|
|
Rule(aterm.ATermAppl name,
java.util.Collection<? extends RuleAtom> head,
java.util.Collection<? extends RuleAtom> body,
java.util.Set<aterm.ATermAppl> explanation)
|
|
Rule(aterm.ATermAppl name,
java.util.Collection<? extends RuleAtom> head,
java.util.Collection<? extends RuleAtom> body,
java.util.Set<aterm.ATermAppl> explanation)
|
|
Rule(java.util.Collection<? extends RuleAtom> head,
java.util.Collection<? extends RuleAtom> body)
|
|
Rule(java.util.Collection<? extends RuleAtom> head,
java.util.Collection<? extends RuleAtom> body)
|
|
Rule(java.util.Collection<? extends RuleAtom> head,
java.util.Collection<? extends RuleAtom> body,
java.util.Set<aterm.ATermAppl> explanation)
|
|
Rule(java.util.Collection<? extends RuleAtom> head,
java.util.Collection<? extends RuleAtom> body,
java.util.Set<aterm.ATermAppl> explanation)
|
Uses of RuleAtom in org.mindswap.pellet.tableau.branch |
---|
Constructor parameters in org.mindswap.pellet.tableau.branch with type arguments of type RuleAtom | |
---|---|
RuleBranch(ABox abox,
CompletionStrategy completion,
RuleAtomAsserter ruleAtomAsserter,
java.util.List<RuleAtom> atoms,
VariableBinding binding,
int bodyAtomCount,
DependencySet ds)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |