com.articulate.sigma

Class KIF

java.lang.Object

com.articulate.sigma.KIF

public class KIF
extends Object

A class designed to read a file in SUO-KIF format into memory. See for a language specification. readFile() and writeFile() are the primary entry points and parse() does all the real work.

Author:

Adam Pease

Field Summary

Fields

Modifier and Type	Field and Description
static int	count
HashMap<String,Formula>	formulaMap A HashMap of String keys representing the formula, and Formula values.
HashMap<String,ArrayList<String>>	formulas A HashMap of ArrayLists of Formulas.
static int	NORMAL_PARSE_MODE A numeric constant denoting normal parse mode, in which syntax constraints are enforced.
static int	RELAXED_PARSE_MODE A numeric constant denoting relaxed parse mode, in which fewer syntax constraints are enforced than in NORMAL_PARSE_MODE.
TreeSet<String>	terms The set of all terms in the knowledge base.
TreeSet<String>	warningSet warnings generated during parsing

Constructor Summary

Constructors

Constructor and Description
KIF()

Method Summary

Modifier and Type	Method and Description
int	getParseMode() public String getFilename() { return this.filename; } /** *************************************************************** public void setFilename(String canonicalPath) { this.filename = canonicalPath; return; } /** ***************************************************************
static void	main(String[] args) Test method for this class.
protected TreeSet<String>	parse(Reader r) This method has the side effect of setting the contents of formulaMap and formulas as it parses the file.
String	parseStatement(String formula) Parse a single formula.
void	readFile(String fname) Read a KIF file.
void	setParseMode(int mode) Sets the current parse mode to the input value mode.
static void	setupStreamTokenizer(StreamTokenizer_s st) This routine sets up the StreamTokenizer_s so that it parses SUO-KIF.
static void	tptpOutputTest(String filename) Writes the TPTP output to a file.
void	writeFile(String fname) Write a KIF file.

Methods inherited from class java.lang.Object

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

Field Detail

NORMAL_PARSE_MODE

public static final int NORMAL_PARSE_MODE

A numeric constant denoting normal parse mode, in which syntax constraints are enforced.

See Also:

Constant Field Values

count

public static int count

RELAXED_PARSE_MODE

public static final int RELAXED_PARSE_MODE

A numeric constant denoting relaxed parse mode, in which fewer syntax constraints are enforced than in NORMAL_PARSE_MODE.

See Also:

Constant Field Values

terms

public TreeSet<String> terms

The set of all terms in the knowledge base. This is a set of Strings.

formulas

public HashMap<String,ArrayList<String>> formulas

A HashMap of ArrayLists of Formulas. Each String key points to a list of String formulas that correspond to that key. For example, "arg-1-Foo" would be one of several keys for "(instance Foo Bar)".

See Also:

for key format.

formulaMap

public HashMap<String,Formula> formulaMap

A HashMap of String keys representing the formula, and Formula values. For example, "(instance Foo Bar)" is a String key that might point to a Formula that is that string, along with information about at what line number and in what file it appears.

warningSet

public TreeSet<String> warningSet

warnings generated during parsing

Constructor Detail

KIF

public KIF()

Method Detail

getParseMode

public int getParseMode()

public String getFilename() { return this.filename; } /** *************************************************************** public void setFilename(String canonicalPath) { this.filename = canonicalPath; return; } /** ***************************************************************

Returns:

int Returns an integer value denoting the current parse mode.

setParseMode

public void setParseMode(int mode)

Sets the current parse mode to the input value mode.

Parameters:

mode - An integer value denoting a parsing mode.

setupStreamTokenizer

public static void setupStreamTokenizer(StreamTokenizer_s st)

This routine sets up the StreamTokenizer_s so that it parses SUO-KIF. = < > are treated as word characters, as are normal alphanumerics. ; is the line comment character and " is the quote character.

parse

protected TreeSet<String> parse(Reader r)

This method has the side effect of setting the contents of formulaMap and formulas as it parses the file. It throws a ParseException with file line numbers if fatal errors are encountered during parsing. Keys in variable "formulas" include the string representation of the formula.

Returns:

a Set of warnings that may indicate syntax errors, but not fatal parse errors.

readFile

public void readFile(String fname)
              throws Exception

Read a KIF file.

Parameters:

fname - - the full pathname of the file.

Throws:

Exception

writeFile

public void writeFile(String fname)

Write a KIF file.

Parameters:

fname - - the name of the file to write, including full path.

parseStatement

public String parseStatement(String formula)

Parse a single formula.

tptpOutputTest

public static void tptpOutputTest(String filename)
                           throws IOException

Writes the TPTP output to a file.

Throws:

IOException

main

public static void main(String[] args)
                 throws IOException

Test method for this class.

Throws:

IOException