com.articulate.sigma

Class SUMOformulaToTPTPformula

java.lang.Object

com.articulate.sigma.SUMOformulaToTPTPformula

public class SUMOformulaToTPTPformula
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
Formula	_f

Constructor Summary

Constructors

Constructor and Description
SUMOformulaToTPTPformula()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args) A test method.
static void	testTptpParse() A test method.
ArrayList<String>	tptpParse(Formula input, boolean query, KB kb) Parse formulae into TPTP format
void	tptpParse(Formula input, boolean query, KB kb, List<Formula> preProcessedForms) Parse formulae into TPTP format Result is returned in _f.theTptpFormulas
static String	tptpParseSUOKIFString(String suoString, boolean query) Parse a single formula into TPTP format

Methods inherited from class java.lang.Object

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

Field Detail

_f

public Formula _f

Constructor Detail

SUMOformulaToTPTPformula

public SUMOformulaToTPTPformula()

Method Detail

tptpParseSUOKIFString

public static String tptpParseSUOKIFString(String suoString,
                                           boolean query)

Parse a single formula into TPTP format

tptpParse

public void tptpParse(Formula input,
                      boolean query,
                      KB kb,
                      List<Formula> preProcessedForms)
               throws ParseException,
                      IOException

Parse formulae into TPTP format Result is returned in _f.theTptpFormulas

Throws:

ParseException

IOException

tptpParse

public ArrayList<String> tptpParse(Formula input,
                                   boolean query,
                                   KB kb)
                            throws ParseException,
                                   IOException

Parse formulae into TPTP format

Throws:

ParseException

IOException

testTptpParse

public static void testTptpParse()

A test method.

main

public static void main(String[] args)

A test method.