org.semanticweb.triple.parser
Class TripleTransform

java.lang.Object
  org.semanticweb.triple.parser.TripleTransform

public class TripleTransform

extends java.lang.Object

Translates LTerm program into a Triple program, on a clause-by-clause basis to allow streaming Triple program is org.semanicweb.triple.language

Version:

Author:

sintek

Constructor Summary

TripleTransform()

Method Summary

static Clause	transformClause(java.util.ArrayList variables, LTerm headAndBody, java.util.ArrayList mvariables, LTerm lmodel)
static Clause	transformClause(LTerm lclause, LTerm lmodel)
static Formula	transformFormula(LTerm lformula, boolean isHead)
static Formula	transformHornAtom(LTerm latom, boolean isHead)
static Term	transformTerm(LTerm lterm, boolean isHead)

Methods inherited from class java.lang.Object

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

Constructor Detail

TripleTransform

public TripleTransform()

Method Detail

transformClause

public static Clause transformClause(LTerm lclause,
                                     LTerm lmodel)
                              throws java.lang.Exception

Throws:

java.lang.Exception

transformClause

public static Clause transformClause(java.util.ArrayList variables,
                                     LTerm headAndBody,
                                     java.util.ArrayList mvariables,
                                     LTerm lmodel)
                              throws java.lang.Exception

Throws:

java.lang.Exception

transformFormula

public static Formula transformFormula(LTerm lformula,
                                       boolean isHead)
                                throws java.lang.Exception

Throws:

java.lang.Exception

transformHornAtom

public static Formula transformHornAtom(LTerm latom,
                                        boolean isHead)
                                 throws java.lang.Exception

Throws:

java.lang.Exception

transformTerm

public static Term transformTerm(LTerm lterm,
                                 boolean isHead)
                          throws java.lang.Exception

Throws:

java.lang.Exception