com.articulate.sigma

Class TPTP2SUMO

java.lang.Object

com.articulate.sigma.TPTP2SUMO

public class TPTP2SUMO
extends Object

Constructor Summary

Constructors

Constructor and Description
TPTP2SUMO()

Method Summary

Modifier and Type	Method and Description
static String	convert(BufferedReader reader, ArrayList<Binding> answer, boolean instantiated) Convert a TPTP proof to a SUMO XML-wrapped proof
static String	convert(Reader in, ArrayList<Binding> answer, boolean instantiated) Convenience routine that calls the main convert() method below
static String	convert(Reader in, boolean instantiated) Convenience routine that calls the main convert() method below
static String	convert(String tptp, ArrayList<Binding> answer, boolean instantiated) Convenience routine that calls the main convert() method below
static String	convert(String tptp, boolean instantiated) Convenience routine that calls the main convert() method below
static StringBuffer	convertType(TPTPFormula formula, int indent, int indented) Convert a single annotated TPTP clause to a single XML-wrapped SUMO formula.
static StringBuffer	convertType(TPTPFormula formula, int indent, int indented, boolean noXML) Convert a single annotated TPTP clause to a single SUMO formula, possibly XML-wrapped.
static void	main(String[] args)
static String	transformTerm(String term) remove termSymbolPrefix and termMentionSuffix

Methods inherited from class java.lang.Object

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

Constructor Detail

TPTP2SUMO

public TPTP2SUMO()

Method Detail

convert

public static String convert(String tptp,
                             boolean instantiated)
                      throws Exception

Convenience routine that calls the main convert() method below

Throws:

Exception

convert

public static String convert(Reader in,
                             boolean instantiated)
                      throws Exception

Convenience routine that calls the main convert() method below

Throws:

Exception

convert

public static String convert(String tptp,
                             ArrayList<Binding> answer,
                             boolean instantiated)
                      throws Exception

Convenience routine that calls the main convert() method below

Throws:

Exception

convert

public static String convert(Reader in,
                             ArrayList<Binding> answer,
                             boolean instantiated)
                      throws Exception

Convenience routine that calls the main convert() method below

Throws:

Exception

convert

public static String convert(BufferedReader reader,
                             ArrayList<Binding> answer,
                             boolean instantiated)
                      throws Exception

Convert a TPTP proof to a SUMO XML-wrapped proof

Throws:

Exception

convertType

public static StringBuffer convertType(TPTPFormula formula,
                                       int indent,
                                       int indented)

Convert a single annotated TPTP clause to a single XML-wrapped SUMO formula. This is the main entry point for this class.

convertType

public static StringBuffer convertType(TPTPFormula formula,
                                       int indent,
                                       int indented,
                                       boolean noXML)

Convert a single annotated TPTP clause to a single SUMO formula, possibly XML-wrapped. This is the main entry point for this class.

transformTerm

public static String transformTerm(String term)

remove termSymbolPrefix and termMentionSuffix

main

public static void main(String[] args)