Package com.articulate.sigma.trans

Class TPTP2SUMO

java.lang.Object

com.articulate.sigma.trans.TPTP2SUMO

public class TPTP2SUMO
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static boolean	debug

Constructor Summary

Constructors

Constructor	Description
TPTP2SUMO()

Method Summary

Modifier and Type	Method	Description
static Formula	collapseConnectives(Formula form)	Remove binary cascading or's, xor's and and's and consolidate as single connectives with more arguments.
static String	formToSUMO(String clause)	Convert a TPTP formula (without metadata) to SUMO, by wrapping it with dummy metadata
static void	main(String[] args)
static void	showHelp()
static String	toSUMO(String clause)	Convert a TPTP formula (with metadata) to SUMO
static String	transformTerm(String term)	remove TERM_SYMBOL_PREFIX and TERM_MENTION_SUFFIX

Methods inherited from class java.lang.Object

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

Field Details

debug

public static boolean debug

Constructor Details

TPTP2SUMO

public TPTP2SUMO()

Method Details

collapseConnectives

public static Formula collapseConnectives(Formula form)

Remove binary cascading or's, xor's and and's and consolidate as single connectives with more arguments. For example (and (and A B) C) becomes (and A B C)

transformTerm

public static String transformTerm(String term)

remove TERM_SYMBOL_PREFIX and TERM_MENTION_SUFFIX

formToSUMO

public static String formToSUMO(String clause)

Convert a TPTP formula (without metadata) to SUMO, by wrapping it with dummy metadata

toSUMO

public static String toSUMO(String clause)

Convert a TPTP formula (with metadata) to SUMO

showHelp

public static void showHelp()

main

public static void main(String[] args)