com.clarkparsia.pellet.rules

Class RulesToATermTranslator

java.lang.Object

com.clarkparsia.pellet.rules.RulesToATermTranslator

All Implemented Interfaces:

AtomObjectVisitor, RuleAtomVisitor

public class RulesToATermTranslator
extends Object
implements RuleAtomVisitor, AtomObjectVisitor

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor and Description
RulesToATermTranslator()

Method Summary

Modifier and Type	Method and Description
aterm.ATermAppl	translate(AtomObject obj)
aterm.ATermAppl	translate(Rule rule)
aterm.ATermAppl	translate(RuleAtom ruleAtom)
void	visit(AtomDConstant constant)
void	visit(AtomDVariable variable)
void	visit(AtomIConstant constant)
void	visit(AtomIVariable variable)
void	visit(BuiltInAtom atom)
void	visit(ClassAtom atom)
void	visit(DataRangeAtom atom)
void	visit(DatavaluedPropertyAtom atom)
void	visit(DifferentIndividualsAtom atom)
void	visit(IndividualPropertyAtom atom)
void	visit(Rule rule)
void	visit(SameIndividualAtom atom)

Methods inherited from class java.lang.Object

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

Constructor Detail

RulesToATermTranslator

public RulesToATermTranslator()

Method Detail

translate

public aterm.ATermAppl translate(Rule rule)

translate

public aterm.ATermAppl translate(RuleAtom ruleAtom)

translate

public aterm.ATermAppl translate(AtomObject obj)

visit

public void visit(Rule rule)

visit

public void visit(BuiltInAtom atom)

Specified by:

visit in interface RuleAtomVisitor

visit

public void visit(ClassAtom atom)

Specified by:

visit in interface RuleAtomVisitor

visit

public void visit(DataRangeAtom atom)

Specified by:

visit in interface RuleAtomVisitor

visit

public void visit(DatavaluedPropertyAtom atom)

Specified by:

visit in interface RuleAtomVisitor

visit

public void visit(DifferentIndividualsAtom atom)

Specified by:

visit in interface RuleAtomVisitor

visit

public void visit(IndividualPropertyAtom atom)

Specified by:

visit in interface RuleAtomVisitor

visit

public void visit(SameIndividualAtom atom)

Specified by:

visit in interface RuleAtomVisitor

visit

public void visit(AtomDConstant constant)

Specified by:

visit in interface AtomObjectVisitor

visit

public void visit(AtomDVariable variable)

Specified by:

visit in interface AtomObjectVisitor

visit

public void visit(AtomIConstant constant)

Specified by:

visit in interface AtomObjectVisitor

visit

public void visit(AtomIVariable variable)

Specified by:

visit in interface AtomObjectVisitor