|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Rule | |
---|---|
com.clarkparsia.pellet.rules | |
org.mindswap.pellet |
Uses of Rule in com.clarkparsia.pellet.rules |
---|
Methods in com.clarkparsia.pellet.rules that return types with arguments of type Rule | |
---|---|
Pair<Rule,VariableBinding> |
ContinuousReteTransformer.translateFact(Fact fact)
Translate inferred rule binding into a Rule-VariableBinding pair. |
Methods in com.clarkparsia.pellet.rules with parameters of type Rule | |
---|---|
BindingGenerator |
BindingGeneratorStrategy.createGenerator(Rule rule)
Creates a BindingGenerator for a single rule. |
BindingGenerator |
BindingGeneratorStrategyImpl.createGenerator(Rule rule)
|
BindingGenerator |
BindingGeneratorStrategy.createGenerator(Rule rule,
VariableBinding initialBinding)
|
BindingGenerator |
BindingGeneratorStrategyImpl.createGenerator(Rule rule,
VariableBinding initialBinding)
|
static java.lang.String |
UsableRuleFilter.explainNotUsable(Rule rule)
Returns a string explaining why a rule cannot be used for reasoning, or null if the rule can be used for reasoning |
java.util.Collection<BindingHelper> |
TrivialSatisfactionHelpers.getHelpers(Rule rule)
|
static boolean |
UsableRuleFilter.isUsable(Rule rule)
Checks if a rule can be used for reasoning. |
Rule |
ContinuousReteTransformer.transformRule(Rule rule)
Transform the rule as follows: |
aterm.ATermAppl |
RulesToATermTranslator.translate(Rule rule)
|
Rule |
RulesToReteTranslator.translateRule(Rule rule)
Translates a rule.Rule to a rete.Rule. |
void |
RulesToATermTranslator.visit(Rule rule)
|
Uses of Rule in org.mindswap.pellet |
---|
Methods in org.mindswap.pellet that return types with arguments of type Rule | |
---|---|
java.util.Map<Rule,Rule> |
KnowledgeBase.getNormalizedRules()
Return the asserted rules with their normalized form. |
java.util.Map<Rule,Rule> |
KnowledgeBase.getNormalizedRules()
Return the asserted rules with their normalized form. |
java.util.Set<Rule> |
KnowledgeBase.getRules()
Return all the asserted rules. |
Methods in org.mindswap.pellet with parameters of type Rule | |
---|---|
boolean |
KnowledgeBase.addRule(Rule rule)
Add a rule to the KB. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |