|
||||||||||
| 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 that return RuleAtom | |
|---|---|
RuleAtom |
ReteToRulesTranslator.translateTriple(TermTuple tuple)
Deprecated. |
| Methods in com.clarkparsia.pellet.rules that return types with arguments of type RuleAtom | |
|---|---|
java.util.Collection<RuleAtom> |
ReteToRulesTranslator.translateTriples(java.util.Collection<TermTuple> triples)
Deprecated. |
| Methods in com.clarkparsia.pellet.rules with parameters of type RuleAtom | |
|---|---|
boolean |
RuleAtomAsserter.assertAtom(RuleAtom atom,
VariableBinding binding,
DependencySet ds,
boolean negated)
|
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<P,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(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)
|
|
| 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 | |||||||||