|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.clarkparsia.pellet.rules.ContinuousReteTransformer
public class ContinuousReteTransformer
Title: Rules To Continuous Rete Transformer
Description: Transforms rules for use with continuous rete.
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
Field Summary | |
---|---|
static aterm.ATermAppl |
VARBINDING
|
Constructor Summary | |
---|---|
ContinuousReteTransformer(ABox abox)
|
Method Summary | |
---|---|
Rule |
transformRule(Rule rule)
Transform the rule as follows: |
Pair<Rule,VariableBinding> |
translateFact(Fact fact)
Translate inferred rule binding into a Rule-VariableBinding pair. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final aterm.ATermAppl VARBINDING
Constructor Detail |
---|
public ContinuousReteTransformer(ABox abox)
Method Detail |
---|
public Rule transformRule(Rule rule)
Transform the rule as follows:
public Pair<Rule,VariableBinding> translateFact(Fact fact)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |