| Package | Description |
|---|---|
| com.clarkparsia.pellet.el | |
| com.clarkparsia.pellet.rules | |
| com.clarkparsia.pellet.rules.rete |
| Modifier and Type | Method and Description |
|---|---|
protected MultiValueMap<aterm.ATermAppl,aterm.ATermAppl> |
ReteBasedELClassifier.getSubsumers(Set<Fact> facts) |
| 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 | Field and Description |
|---|---|
static Fact |
Compiler.EMPTY_FACT |
| Modifier and Type | Field and Description |
|---|---|
Index<aterm.ATermAppl,Fact> |
Node.index |
| Modifier and Type | Method and Description |
|---|---|
List<Fact> |
BetaNode.join() |
Set<Fact> |
BetaNode.matchingFacts(TermTuple rhs,
List<Fact> facts) |
Set<Fact> |
Interpreter.run() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
AlphaNode.add(Fact fact) |
boolean |
Interpreter.addFact(Fact f) |
Collection<AlphaNode> |
AlphaIndex.match(Fact fact)
Return a list of matching alpha nodes for a given pattern
|
boolean |
AlphaNode.remove(Fact fact) |
| Modifier and Type | Method and Description |
|---|---|
Set<Fact> |
BetaNode.matchingFacts(TermTuple rhs,
List<Fact> facts) |
Copyright © 2013. All Rights Reserved.