com.clarkparsia.pellet.rules
Class RulesToReteTranslator

java.lang.Object
  extended by com.clarkparsia.pellet.rules.RulesToReteTranslator

public class RulesToReteTranslator
extends java.lang.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
RulesToReteTranslator(ABox abox)
           
 
Method Summary
 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.
 java.util.List<TermTuple> translateAtoms(java.util.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
equals, 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 java.util.List<TermTuple> translateAtoms(java.util.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.



Copyright © 2004 Evren Sirin. All Rights Reserved.