com.clarkparsia.pellet.rules

Class ContinuousReteTransformer

java.lang.Object

com.clarkparsia.pellet.rules.ContinuousReteTransformer

public class ContinuousReteTransformer
extends 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

Fields

Modifier and Type	Field and Description
static aterm.ATermAppl	VARBINDING

Constructor Summary

Constructors

Constructor and Description
ContinuousReteTransformer(ABox abox)

Method Summary

Methods

Modifier and Type	Method and Description
protected aterm.ATermAppl	getRuleID(Rule rule)
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

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

VARBINDING

public static final aterm.ATermAppl VARBINDING

Constructor Detail

ContinuousReteTransformer

public ContinuousReteTransformer(ABox abox)

Method Detail

getRuleID

protected aterm.ATermAppl getRuleID(Rule rule)

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.