com.articulate.sigma

Class SUMOKBtoTPTPKB

java.lang.Object

com.articulate.sigma.SUMOKBtoTPTPKB

public class SUMOKBtoTPTPKB
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	SUMOKBtoTPTPKB.OrderedFormulae

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	filterSimpleOnly
KB	kb

Constructor Summary

Constructors

Constructor and Description
SUMOKBtoTPTPKB()

Method Summary

Modifier and Type	Method and Description
static void	addToFile(java.lang.String fileName, java.util.ArrayList<java.lang.String> axioms, java.lang.String conjecture)
static java.util.HashSet<java.lang.String>	buildExcludedPredicates() define a set of predicates which will not be used for inference
java.lang.String	copyFile(java.lang.String fileName)
static boolean	filterExcludePredicates(java.util.HashSet<java.lang.String> excludedPredicates, Formula formula) return true if the given formula is simple clause, and contains one of the excluded predicates; otherwise return true;
static void	main(java.lang.String[] args)
protected void	printVariableArityRelationContent(java.io.PrintWriter pr, java.util.TreeMap<java.lang.String,java.lang.String> relationMap, java.lang.String sanitizedKBName, int axiomIndex, boolean onlyPlainFOL)
int	tptpParse() This method translates the entire KB to TPTP format, storing the translation for each Formula in the List identified by the private member Formula.theTptpFormulas.
java.lang.String	writeTPTPFile(java.lang.String fileName, boolean onlyPlainFOL) Sets reasoner and calls writeTPTPFile() below
java.lang.String	writeTPTPFile(java.lang.String fileName, boolean onlyPlainFOL, java.lang.String reasoner) Sets conjecture and calls writeTPTPFile() below
java.lang.String	writeTPTPFile(java.lang.String fileName, Formula conjecture, boolean onlyPlainFOL, java.lang.String reasoner) Sets isQuestion and calls writeTPTPFile() below
java.lang.String	writeTPTPFile(java.lang.String fileName, Formula conjecture, boolean onlyPlainFOL, java.lang.String reasoner, boolean isQuestion) Sets pw and calls writeTPTPFile() below
java.lang.String	writeTPTPFile(java.lang.String fileName, Formula conjecture, boolean onlyPlainFOL, java.lang.String reasoner, boolean isQuestion, java.io.PrintWriter pw) Write all axioms in the KB to TPTP format.

Methods inherited from class java.lang.Object

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

Field Detail

filterSimpleOnly

public static final boolean filterSimpleOnly

See Also:

Constant Field Values

kb

public KB kb

Constructor Detail

SUMOKBtoTPTPKB

public SUMOKBtoTPTPKB()

Method Detail

tptpParse

public int tptpParse()

This method translates the entire KB to TPTP format, storing the translation for each Formula in the List identified by the private member Formula.theTptpFormulas. Use Formula.getTheTptpFormulas() to accesss the TPTP sentences (Strings) that constitute the translation for a single SUO-KIF Formula.

Returns:

An int indicating the number of Formulas that were successfully translated.

copyFile

public java.lang.String copyFile(java.lang.String fileName)

addToFile

public static void addToFile(java.lang.String fileName,
                             java.util.ArrayList<java.lang.String> axioms,
                             java.lang.String conjecture)

printVariableArityRelationContent

protected void printVariableArityRelationContent(java.io.PrintWriter pr,
                                                 java.util.TreeMap<java.lang.String,java.lang.String> relationMap,
                                                 java.lang.String sanitizedKBName,
                                                 int axiomIndex,
                                                 boolean onlyPlainFOL)

Parameters:

relationMap - is a Map of String keys and values where the key is the renamed relation and the value is the original name.

writeTPTPFile

public java.lang.String writeTPTPFile(java.lang.String fileName,
                                      boolean onlyPlainFOL)

Sets reasoner and calls writeTPTPFile() below

writeTPTPFile

public java.lang.String writeTPTPFile(java.lang.String fileName,
                                      boolean onlyPlainFOL,
                                      java.lang.String reasoner)

Sets conjecture and calls writeTPTPFile() below

writeTPTPFile

public java.lang.String writeTPTPFile(java.lang.String fileName,
                                      Formula conjecture,
                                      boolean onlyPlainFOL,
                                      java.lang.String reasoner)

Sets isQuestion and calls writeTPTPFile() below

writeTPTPFile

public java.lang.String writeTPTPFile(java.lang.String fileName,
                                      Formula conjecture,
                                      boolean onlyPlainFOL,
                                      java.lang.String reasoner,
                                      boolean isQuestion)

Sets pw and calls writeTPTPFile() below

writeTPTPFile

public java.lang.String writeTPTPFile(java.lang.String fileName,
                                      Formula conjecture,
                                      boolean onlyPlainFOL,
                                      java.lang.String reasoner,
                                      boolean isQuestion,
                                      java.io.PrintWriter pw)

Write all axioms in the KB to TPTP format.

Parameters:

fileName - - the full pathname of the file to write

buildExcludedPredicates

public static java.util.HashSet<java.lang.String> buildExcludedPredicates()

define a set of predicates which will not be used for inference

filterExcludePredicates

public static boolean filterExcludePredicates(java.util.HashSet<java.lang.String> excludedPredicates,
                                              Formula formula)

return true if the given formula is simple clause, and contains one of the excluded predicates; otherwise return true;

main

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