Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## org.mindswap.pellet.rules
Class ContinuousReteTransformer

    java.lang.Object
      org.mindswap.pellet.rules.ContinuousReteTransformer

    public class ContinuousReteTransformer

extends java.lang.Object

Title: Rules To Continuous Rete Transformer

Description: Transforms rules for use with continuous rete.

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:
  Ron Alford

Field Summary
`static Constant` | `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

### VARBINDING

    public static final Constant VARBINDING

Constructor Detail

### ContinuousReteTransformer

    public ContinuousReteTransformer(ABox abox)

Method Detail

### transformRule

    public Rule transformRule(Rule rule)

  Transform the rule as follows:

  - The body is reduced to relations (may become empty)
  - The head is reduced to a reference to the rule, followed by the variables left in body in the naturally sorted order.

### translateFact

    public Pair<Rule,VariableBinding> translateFact(Fact fact)

  Translate inferred rule binding into a Rule-VariableBinding pair.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

Copyright © 2004 Evren Sirin. All Rights Reserved.