Serialized Form

Package com.articulate.sigma

Class com.articulate.sigma.utils.AVPair extends java.lang.Object implements Serializable

Serialized Fields

attribute

java.lang.String attribute

value

java.lang.String value

Class com.articulate.sigma.Formula extends java.lang.Object implements Serializable

Serialized Fields

sourceFile

java.lang.String sourceFile

The source file in which the formula appears.

startLine

int startLine

The line in the file on which the formula starts.

endLine

int endLine

The line in the file on which the formula ends.

endFilePosition

long endFilePosition

The length of the file in bytes at the position immediately after the end of the formula. This value is used only for formulas entered via KB.tell(). In general, you should not count on it being set to a value other than -1L.

errors

java.util.TreeSet<E> errors

warnings

java.util.TreeSet<E> warnings

Warnings found during execution.

theFormula

java.lang.String theFormula

The formula in textual forms.

theTptpFormulas

java.util.ArrayList<E> theTptpFormulas

A list of TPTP formulas (Strings) that together constitute the translation of theFormula. This member is a List, because predicate variable instantiation and row variable expansion might cause theFormula to expand to several TPTP formulas.

theClausalForm

java.util.ArrayList<E> theClausalForm

A list of clausal (resolution) forms generated from this Formula.

Class com.articulate.sigma.KB extends java.lang.Object implements Serializable

Serialized Fields

isVisible

boolean isVisible

name

java.lang.String name

The name of the knowledge base.

constituents

java.util.ArrayList<E> constituents

An ArrayList of Strings that are the full canonical pathnames of the files that comprise the KB.

language

java.lang.String language

The natural language in which axiom paraphrases should be presented.

kbDir

java.lang.String kbDir

The location of preprocessed KIF files, suitable for loading into EProver.

terms

java.util.SortedSet<E> terms

A synchronized SortedSet of Strings, which are all the terms in the KB.

formulaMap

java.util.HashMap<K,V> formulaMap

A Map of all the Formula objects in the KB. Each key is a String representation of a Formula. Each value is the Formula object corresponding to the key.

formulas

java.util.HashMap<K,V> formulas

A HashMap of ArrayLists of String formulae, containing all the formulae in the KB. Keys are the formula itself, a formula ID, and term indexes created in KIF.createKey(). The actual formula can be retrieved by using the returned String as the key for the variable formulaMap

formatMap

java.util.HashMap<K,V> formatMap

The natural language formatting strings for relations in the KB. It is a HashMap of language keys and HashMap values. The interior HashMap is term name keys and String values.

termFormatMap

java.util.HashMap<K,V> termFormatMap

The natural language strings for terms in the KB. It is a HashMap of language keys and HashMap values. The interior HashMap is term name keys and String values.

errors

java.util.TreeSet<E> errors

Errors found during loading of the KB constituents.

warnings

java.util.TreeSet<E> warnings

Warnings found during loading of the KB constituents.

modifiedContents

boolean modifiedContents

Future: If true, the contents of the KB have been modified without updating the caches

cacheReflexiveAssertions

boolean cacheReflexiveAssertions

If true, assertions of the form (predicate x x) will be included in the relation cache tables.

kbCache

KBcache kbCache

termFrequency

java.util.Map<K,V> termFrequency

loadFormatMapsAttempted

java.util.ArrayList<E> loadFormatMapsAttempted

This List is used to limit the number of warning messages logged by loadFormatMaps(lang). If an attempt to load format or termFormat values for lang is unsuccessful, the list is checked for the presence of lang. If lang is not in the list, a warning message is logged and lang is added to the list. The list is cleared whenever a constituent file is added or removed for KB, since the latter might affect the availability of format or termFormat values.

Class com.articulate.sigma.KBcache extends java.lang.Object implements Serializable

Serialized Fields

kb

KB kb

relations

java.util.HashSet<E> relations

transRels

java.util.HashSet<E> transRels

instTransRels

java.util.HashSet<E> instTransRels

parents

java.util.HashMap<K,V> parents

All the cached "parent" relations of all transitive relations meaning the relations between all first arguments and the transitive closure of second arguments. The external HashMap pairs relation name String keys to values that are the parent relationships. The interior HashMap is the set of terms and their transitive closure of parents.

instances

java.util.HashMap<K,V> instances

Parent relations from instances, including those that are transitive through (instance,instance) relations, such as subAttribute and subrelation

insts

java.util.HashSet<E> insts

A temporary list of instances built during creation of the children map, in order to efficiently create the instances map

children

java.util.HashMap<K,V> children

All the cached "child" relations of all transitive relations meaning the relations between all first arguments and the transitive closure of second arguments. The external HashMap pairs relation name String keys to values that are the child relationships. The interior HashMap is the set of terms and their transitive closure of children.

signatures

java.util.HashMap<K,V> signatures

Relation name keys and argument types with 0th arg always "" except in the case of Functions where the 0th arg will be the function range. Variable arity relations may have a type for the last argument, which will be the type repeated for all extended arguments. Note that types can be functions, rather than just terms. Note that types (when there's a domainSubclass etc) are designated by a '+' appended to the class name.

valences

java.util.HashMap<K,V> valences

explicitDisjointRelations

java.util.HashMap<K,V> explicitDisjointRelations

Disjoint relations which were explicitly defined in "partition", "disjoint", "disjointDecomposition" and "exhaustiveDecomposition" expressions

Class com.articulate.sigma.KBmanager extends java.lang.Object implements Serializable

Serialized Fields

preferences

java.util.HashMap<K,V> preferences

kbs

java.util.HashMap<K,V> kbs

oldInferenceBitValue

int oldInferenceBitValue

error

java.lang.String error

Package com.articulate.sigma.nlg

Class com.articulate.sigma.nlg.NLGUtils extends java.lang.Object implements Serializable

Serialized Fields

keywordMap

java.util.HashMap<K,V> keywordMap

Package com.articulate.sigma.trans

Class com.articulate.sigma.trans.SUMOKBtoTPTPKB.OrderedFormulae extends java.util.TreeSet<Formula> implements Serializable

Package com.articulate.sigma.wordNet

Class com.articulate.sigma.wordNet.MultiWords extends java.lang.Object implements Serializable

Serialized Fields

multiWord

<any> multiWord

A Multimap of String keys and String values. The String key is the first word of a multi-word WordNet "word", such as "table_tennis", where words are separated by underscores. The values are the whole multi-word. The same head word can appear in many multi-words.

Class com.articulate.sigma.wordNet.OMWordnet extends java.lang.Object implements Serializable

Serialized Fields

wordnets

java.util.HashMap<K,V> wordnets

This code is copyright Articulate Software (c) 2003. Some portions copyright Teknowledge (c) 2003 and reused under the terms of the GNU license. This software is released under the GNU Public License . Users of this code also consent, by use of this code, to credit Articulate Software and Teknowledge in any writings, briefings, publications, presentations, or other representations of any software which incorporates, builds on, or uses this code. Please cite the following article in any publication with references: Pease, A., (2003). The Sigma Ontology Development Environment, in Working Notes of the IJCAI-2003 Workshop on Ontology and Distributed Systems, August 9, Acapulco, Mexico. Authors: Adam Pease Infosys LTD.

glosses

java.util.HashMap<K,V> glosses

examples

java.util.HashMap<K,V> examples

Class com.articulate.sigma.wordNet.WordNet extends java.lang.Object implements Serializable

Serialized Fields

nounSynsetHash

java.util.HashMap<K,V> nounSynsetHash

verbSynsetHash

java.util.HashMap<K,V> verbSynsetHash

adjectiveSynsetHash

java.util.HashMap<K,V> adjectiveSynsetHash

adverbSynsetHash

java.util.HashMap<K,V> adverbSynsetHash

verbDocumentationHash

java.util.Hashtable<K,V> verbDocumentationHash

adjectiveDocumentationHash

java.util.Hashtable<K,V> adjectiveDocumentationHash

adverbDocumentationHash

java.util.Hashtable<K,V> adverbDocumentationHash

nounDocumentationHash

java.util.Hashtable<K,V> nounDocumentationHash

nounSUMOHash

java.util.Hashtable<K,V> nounSUMOHash

verbSUMOHash

java.util.Hashtable<K,V> verbSUMOHash

adjectiveSUMOHash

java.util.Hashtable<K,V> adjectiveSUMOHash

adverbSUMOHash

java.util.Hashtable<K,V> adverbSUMOHash

maxNounSynsetID

java.lang.String maxNounSynsetID

maxVerbSynsetID

java.lang.String maxVerbSynsetID

origMaxNounSynsetID

java.lang.String origMaxNounSynsetID

origMaxVerbSynsetID

java.lang.String origMaxVerbSynsetID

SUMOHash

java.util.Hashtable<K,V> SUMOHash

Keys are SUMO terms, values are ArrayLists(s) of POS-prefixed 9-digit synset String(s) meaning that the part of speech code is prepended to the synset number.

synsetsToWords

java.util.Hashtable<K,V> synsetsToWords

Keys are String POS-prefixed synsets. Values are ArrayList(s) of String(s) which are words. Note that the order of words in the file is preserved.

exceptionNounHash

java.util.Hashtable<K,V> exceptionNounHash

list of irregular plural forms where the key is the plural, singular is the value.

exceptionVerbHash

java.util.Hashtable<K,V> exceptionVerbHash

exceptionNounPluralHash

java.util.Hashtable<K,V> exceptionNounPluralHash

exceptionVerbPastHash

java.util.Hashtable<K,V> exceptionVerbPastHash

relations

java.util.Hashtable<K,V> relations

Keys are POS-prefixed synsets, values are ArrayList(s) of AVPair(s) in which the attribute is a pointer type according to http://wordnet.princeton.edu/man/wninput.5WN.html#sect3 and the value is a POS-prefixed synset @see WordNetUtilities.convertWordNetPointer

wordCoFrequencies

java.util.HashMap<K,V> wordCoFrequencies

a HashMap of HashMaps where the key is a word sense of the form word_POS_num signifying the word, part of speech and number of the sense in WordNet. The value is a HashMap of words and the number of times that word cooccurs in sentences with the word sense given in the key.

wordFrequencies

java.util.HashMap<K,V> wordFrequencies

a HashMap of HashMaps where the key is a word and the value is a HashMap of 9-digit POS-prefixed senses which is the value of the AVPair, and the number of times that sense occurs in the Brown corpus, which is the key of the AVPair

caseMap

java.util.HashMap<K,V> caseMap

senseFrequencies

java.util.HashMap<K,V> senseFrequencies

a HashMap where the key is a 9-digit POS-prefixed sense and the value is a the number of times that sense occurs in the Brown corpus.

stopwords

java.util.ArrayList<E> stopwords

English "stop words" such as "a", "at", "them", which have no or little inherent meaning when taken alone.

senseIndex

java.util.HashMap<K,V> senseIndex

A HashMap where the keys are of the form word_POS_sensenum (alpha POS like "VB") and values are 8 digit WordNet synset byte offsets. Note that all words are from index.sense, which reduces all words to lower case

reverseSenseIndex

java.util.HashMap<K,V> reverseSenseIndex

A HashMap where the keys are 9 digit POS prefixed WordNet synset byte offsets, and the values are of the form word_POS_sensenum (alpha POS like "VB"). Note that all words are from index.sense, which reduces all words to lower case

verbFrames

java.util.HashMap<K,V> verbFrames

A HashMap where keys are 8 digit WordNet synset byte offsets or synsets appended with a dash and a specific word such as "12345678-foo". Values are ArrayList(s) of String verb frame numbers.

wordsToSenseKeys

java.util.HashMap<K,V> wordsToSenseKeys

A HashMap with words as keys and ArrayList as values. The ArrayList contains word senses which are Strings of the form word_POS_num (alpha POS like "VB") signifying the word, part of speech and number of the sense in WordNet. Note that all words are from index.sense, which reduces all words to lower case

multiWords

MultiWords multiWords

OMW

java.util.HashMap<K,V> OMW

A HashMap with language name keys and HashMap values. The interior HashMap has String keys which are PWN30 synsets with 8-digit synsets a dash and then a alphabetic part of speech character. Values are words in the target language.