Package openllet.core.rules

Class RulesToATermTranslator

java.lang.Object

openllet.core.rules.RulesToATermTranslator

All Implemented Interfaces:

AtomObjectVisitor, RuleAtomVisitor

public class RulesToATermTranslator
extends java.lang.Object
implements RuleAtomVisitor, AtomObjectVisitor

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor	Description
RulesToATermTranslator()

Method Summary

Modifier and Type	Method	Description
openllet.aterm.ATermAppl	translate(AtomObject obj)
openllet.aterm.ATermAppl	translate(Rule rule)
openllet.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

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

Constructor Detail

RulesToATermTranslator

public RulesToATermTranslator()

Method Detail

translate

public openllet.aterm.ATermAppl translate(Rule rule)

translate

public openllet.aterm.ATermAppl translate(RuleAtom ruleAtom)

translate

public openllet.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