| Package | Description |
|---|---|
| com.clarkparsia.pellet.rules | |
| org.mindswap.pellet |
| Modifier and Type | Method and Description |
|---|---|
Pair<Rule,VariableBinding> |
ContinuousReteTransformer.translateFact(Fact fact)
Translate inferred rule binding into a Rule-VariableBinding pair.
|
| Modifier and Type | Method and Description |
|---|---|
BindingGenerator |
BindingGeneratorStrategyImpl.createGenerator(Rule rule) |
BindingGenerator |
BindingGeneratorStrategy.createGenerator(Rule rule)
Creates a
BindingGenerator for a single rule. |
BindingGenerator |
BindingGeneratorStrategyImpl.createGenerator(Rule rule,
VariableBinding initialBinding) |
BindingGenerator |
BindingGeneratorStrategy.createGenerator(Rule rule,
VariableBinding initialBinding) |
static 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 |
Collection<BindingHelper> |
TrivialSatisfactionHelpers.getHelpers(Rule rule) |
protected aterm.ATermAppl |
ContinuousReteTransformer.getRuleID(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) |
| Modifier and Type | Method and Description |
|---|---|
Map<Rule,Rule> |
KnowledgeBase.getNormalizedRules()
Return the asserted rules with their normalized form.
|
Map<Rule,Rule> |
KnowledgeBase.getNormalizedRules()
Return the asserted rules with their normalized form.
|
Set<Rule> |
KnowledgeBase.getRules()
Return all the asserted rules.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
KnowledgeBase.addRule(Rule rule)
Add a rule to the KB.
|
Copyright © 2013. All Rights Reserved.