| Package | Description |
|---|---|
| com.clarkparsia.pellet.rules | |
| com.clarkparsia.pellet.rules.rete | |
| org.mindswap.pellet |
| Modifier and Type | Method and Description |
|---|---|
void |
ContinuousRulesStrategy.addUnsafeRule(Rule rule,
Set<aterm.ATermAppl> explain) |
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 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) |
static boolean |
UsableRuleFilter.isUsable(Rule rule)
Checks if a rule can be used for reasoning.
|
aterm.ATermAppl |
RulesToATermTranslator.translate(Rule rule) |
void |
RulesToATermTranslator.visit(Rule rule) |
| Constructor and Description |
|---|
PartialBinding(Rule rule,
VariableBinding binding,
DependencySet ds) |
| Modifier and Type | Method and Description |
|---|---|
void |
Compiler.compile(Rule rule,
Set<aterm.ATermAppl> explain) |
| Constructor and Description |
|---|
ProduceBinding(ContinuousRulesStrategy strategy,
Set<aterm.ATermAppl> explain,
Rule rule,
Map<AtomVariable,NodeProvider> args) |
| 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 © 2019. All rights reserved.