com.clarkparsia.pellet.rules

Class RulesToReteTranslator

java.lang.Object

com.clarkparsia.pellet.rules.RulesToReteTranslator

public class RulesToReteTranslator
extends Object

Title: Rules To Rete Translator

Description: Translates from the rules package rule objects to the rete package rules.

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Ron Alford

Constructor Summary

Constructors

Constructor and Description
RulesToReteTranslator(ABox abox)

Method Summary

Methods

Modifier and Type	Method and Description
TermTuple	translateAtom(RuleAtom atom, DependencySet ds) Translates a rule atom into a rete triple.
Pair<aterm.ATermAppl,DependencySet>	translateAtomObject(AtomObject obj) Return a pair of a term, and a dependency set.
List<TermTuple>	translateAtoms(Collection<? extends RuleAtom> atoms, DependencySet ds) Translates a list of rule atoms into rete triples.
Rule	translateRule(Rule rule) Translates a rule.Rule to a rete.Rule.

Methods inherited from class java.lang.Object

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

Constructor Detail

RulesToReteTranslator

public RulesToReteTranslator(ABox abox)

Method Detail

translateAtom

public TermTuple translateAtom(RuleAtom atom,
                      DependencySet ds)

Translates a rule atom into a rete triple. Returns null if the atom can't be translated.

translateAtomObject

public Pair<aterm.ATermAppl,DependencySet> translateAtomObject(AtomObject obj)

Return a pair of a term, and a dependency set. The dependency set will be non-null if the atom object represented a constant which was merged to another node.

translateAtoms

public List<TermTuple> translateAtoms(Collection<? extends RuleAtom> atoms,
                             DependencySet ds)

Translates a list of rule atoms into rete triples. Returns null if an atom can't be translated.

translateRule

public Rule translateRule(Rule rule)

Translates a rule.Rule to a rete.Rule. Returns null if the rule cannot be translated.