org.semanticweb.triple.language
Class HornAtom

java.lang.Object
  org.semanticweb.triple.language.TripleExpression
      org.semanticweb.triple.language.Formula
          org.semanticweb.triple.language.Atom
              org.semanticweb.triple.language.HornAtom

public class HornAtom

extends Atom

Constructor Summary

HornAtom()

Method Summary

GLogicFormula	builtinToGLPFormula(GLPTerm model, java.util.ArrayList additionalGlpFormulae)
java.util.ArrayList	getArgs()
java.lang.String	getPredicateSymbol()
void	putArgs(java.lang.String name)
void	putArgs(Term term)
void	putPredicateSymbol(java.lang.String predicateSymbol)
GLogicFormula	toGLP(GLPTerm model)
GLogicFormula	toGLPExternalFormula(GLPTerm model, java.util.ArrayList additionalGlpFormulae)
GLogicFormula	toGLPTrueFormula(GLPTerm model, java.util.ArrayList additionalGlpFormulae)
java.lang.String	toString(Syntax syntax)

Methods inherited from class org.semanticweb.triple.language.TripleExpression

appendModel, appendModel, getModel, putModel, toPrologString, toString, toTripleString

Methods inherited from class java.lang.Object

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

Constructor Detail

HornAtom

public HornAtom()

Method Detail

putPredicateSymbol

public void putPredicateSymbol(java.lang.String predicateSymbol)

putArgs

public void putArgs(Term term)

putArgs

public void putArgs(java.lang.String name)

getPredicateSymbol

public java.lang.String getPredicateSymbol()

getArgs

public java.util.ArrayList getArgs()

toString

public java.lang.String toString(Syntax syntax)

Specified by:

toString in class TripleExpression

toGLP

public GLogicFormula toGLP(GLPTerm model)

Specified by:

toGLP in class Formula

builtinToGLPFormula

public GLogicFormula builtinToGLPFormula(GLPTerm model,
                                         java.util.ArrayList additionalGlpFormulae)

toGLPTrueFormula

public GLogicFormula toGLPTrueFormula(GLPTerm model,
                                      java.util.ArrayList additionalGlpFormulae)

toGLPExternalFormula

public GLogicFormula toGLPExternalFormula(GLPTerm model,
                                          java.util.ArrayList additionalGlpFormulae)