com.articulate.sigma

Class SUMOformulaToTPTPformula

java.lang.Object

com.articulate.sigma.SUMOformulaToTPTPformula

public class SUMOformulaToTPTPformula
extends java.lang.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(java.lang.String[] args) A test method.
static void	testTptpParse() A test method.
java.util.ArrayList<java.lang.String>	tptpParse(Formula input, boolean query, KB kb) Parse formulae into TPTP format
void	tptpParse(Formula input, boolean query, KB kb, java.util.List<Formula> preProcessedForms) Parse formulae into TPTP format Result is returned in _f.theTptpFormulas
static java.lang.String	tptpParseSUOKIFString(java.lang.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 java.lang.String tptpParseSUOKIFString(java.lang.String suoString,
                                                     boolean query)

Parse a single formula into TPTP format

tptpParse

public void tptpParse(Formula input,
                      boolean query,
                      KB kb,
                      java.util.List<Formula> preProcessedForms)
               throws java.text.ParseException,
                      java.io.IOException

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

Throws:

java.text.ParseException

java.io.IOException

tptpParse

public java.util.ArrayList<java.lang.String> tptpParse(Formula input,
                                                       boolean query,
                                                       KB kb)
                                                throws java.text.ParseException,
                                                       java.io.IOException

Parse formulae into TPTP format

Throws:

java.text.ParseException

java.io.IOException

testTptpParse

public static void testTptpParse()

A test method.

main

public static void main(java.lang.String[] args)

A test method.