Package com.articulate.sigma.trans

Class DB2KIF

java.lang.Object

com.articulate.sigma.trans.DB2KIF

public class DB2KIF
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
com.articulate.sigma.trans.DB2KIF.Action	action
Map<String,Map<String,Set<String>>>	badValues
static HashMap<String,String>	column2Rel
String	defaultRowType
Map<String,Map<String,Set<String>>>	goodValues
static KB	kb
static HashSet<String>	KIF
Map<String,Map<Integer,Double>>	maxValue
HashMap<String,HashMap<Integer,Double>>	minValue
static HashMap<String,String>	symbol2Term
static HashMap<String,HashMap<String,String>>	symbolMatches
static HashMap<String,String>	units

Constructor Summary

Constructors

Constructor	Description
DB2KIF()

Method Summary

Modifier and Type	Method	Description
String	clean(List<List<String>> cells)	Check values in a spreadsheet format where the columns have been mapped to relations and there is a set of good and bad values compiled for the arguments to those relations.
Set<String>	getBad(String rel, String arg)	A convenience method that gets the set of values not expected for the given argument to a relation.
Set<String>	getGood(String rel, String arg)	A convenience method that gets the set of expected values for the given argument to a relation.
Double	getMax(String rel, int arg)	A convenience method that gets the maximum expected value for the given argument to a relation.
Double	getMin(String rel, int arg)	A convenience method that gets the minimum expected value for the given argument to a relation.
static void	initSampleValues(DB2KIF dbkif)	Create some sample good and bad values for testing
static void	initValues(DB2KIF dbkif)	Take statements in SUMO and generate sets of good or bad values for relations
static void	main(String[] args)
void	provingClean()
void	toKIF(List<List<String>> cells, boolean print)

Methods inherited from class java.lang.Object

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

Field Details

column2Rel

public static HashMap<String,String> column2Rel

symbol2Term

public static HashMap<String,String> symbol2Term

symbolMatches

public static HashMap<String,HashMap<String,String>> symbolMatches

units

public static HashMap<String,String> units

badValues

public Map<String,Map<String,Set<String>>> badValues

goodValues

public Map<String,Map<String,Set<String>>> goodValues

maxValue

public Map<String,Map<Integer,Double>> maxValue

minValue

public HashMap<String,HashMap<Integer,Double>> minValue

action

public com.articulate.sigma.trans.DB2KIF.Action action

defaultRowType

public String defaultRowType

kb

public static KB kb

KIF

public static HashSet<String> KIF

Constructor Details

DB2KIF

public DB2KIF()

Method Details

getMin

public Double getMin(String rel,
 int arg)

A convenience method that gets the minimum expected value for the given argument to a relation. Return null if there is no such value specified for the relation and argument number.

getMax

public Double getMax(String rel,
 int arg)

A convenience method that gets the maximum expected value for the given argument to a relation. Return null if there is no such value specified for the relation and argument number.

getGood

public Set<String> getGood(String rel,
 String arg)

A convenience method that gets the set of expected values for the given argument to a relation. Return null if there are no such values specified for the relation and argument number.

getBad

public Set<String> getBad(String rel,
 String arg)

A convenience method that gets the set of values not expected for the given argument to a relation. Return null if there are no such values specified for the relation and argument number.

clean

public String clean(List<List<String>> cells)

Check values in a spreadsheet format where the columns have been mapped to relations and there is a set of good and bad values compiled for the arguments to those relations.

initSampleValues

public static void initSampleValues(DB2KIF dbkif)

Create some sample good and bad values for testing

initValues

public static void initValues(DB2KIF dbkif)

Take statements in SUMO and generate sets of good or bad values for relations

provingClean

public void provingClean()

toKIF

public void toKIF(List<List<String>> cells,
 boolean print)

main

public static void main(String[] args)