Serialized Form

  • Package com.articulate.sigma

    • Class com.articulate.sigma.Derivation

      class Derivation extends Object implements Serializable

    • Class com.articulate.sigma.EditorServlet

      class EditorServlet extends javax.servlet.http.HttpServlet implements Serializable

      • Serialized Fields

        • debug
          boolean debug

    • Class com.articulate.sigma.Formula

      class Formula extends Object implements Serializable

      • Serialized Fields

        • allVarsCache
          Set<String> allVarsCache
        • allVarsPairCache
          List<Set<String>> allVarsPairCache
        • args
          List<Formula> args
        • comment
          boolean comment
        • derivation
          Derivation derivation
        • 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.
        • endLine
          int endLine
          The line in the file on which the formula ends.
        • errors
          Set<String> errors
        • existVarsCache
          Set<String> existVarsCache
        • higherOrder
          boolean higherOrder
        • isFunctional
          boolean isFunctional
        • isGround
          boolean isGround
        • isTFF
          boolean isTFF
        • predVarCache
          Set<String> predVarCache
        • qlist
          StringBuilder qlist
          The Formula's Question List
        • quantVarsCache
          Set<String> quantVarsCache
        • relation
          String relation
        • rowVarCache
          Set<String> rowVarCache
        • simpleClause
          boolean simpleClause
        • sourceFile
          String sourceFile
          The source file in which the formula appears.
        • startLine
          int startLine
          The line in the file on which the formula starts.
        • stringArgs
          List<String> stringArgs
        • termCache
          Set<String> termCache
        • tffSorts
          Set<String> tffSorts
        • theClausalForm
          List theClausalForm
          A list of clausal (resolution) forms generated from this Formula.
        • theFofFormulas
          Set<String> theFofFormulas
          FOF (First-Order Form) translation cache - separate from TFF to prevent overwrites
        • theFormula
          String theFormula
          The formula in textual forms.
        • theTffFormulas
          Set<String> theTffFormulas
          TFF (Typed First-order Form) translation cache - separate from FOF to prevent overwrites
        • theTptpFormulas
          Set<String> theTptpFormulas
          A list of TPTP formulas (Strings) that together constitute the translation of theFormula. This member is a Set, because predicate variable instantiation and row variable expansion might cause theFormula to expand to several TPTP formulas.
        • univVarsCache
          Set<String> univVarsCache
        • unquantVarsCache
          Set<String> unquantVarsCache
        • varTypeCache
          Map<String,Set<String>> varTypeCache
        • warnings
          Set<String> warnings
          Warnings found during execution.

    • Class com.articulate.sigma.KB

      class KB extends Object implements Serializable

      • Serialized Fields

        • baseGenLock
          Object baseGenLock
        • capterms
          Map<String,String> capterms
          A Map from all uppercase terms to their possibly mixed case original versions
        • constituents
          List<String> constituents
          An ArrayList of Strings that are the full canonical pathnames of the files that comprise the KB.
        • counter
          int counter
        • errors
          Set<String> errors
          Errors found during loading of the KB constituents.
        • formatMap
          Map<String,Map<String,String>> 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 of a format.
        • formatMapAll
          Map<String,Map<String,List<String>>> formatMapAll
          Language keys and HashMap values for relations in the KB. The interior HashMap is term name keys and a list of all the associated format strings.
        • formulaMap
          Map<String,Formula> 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
          Map<String,List<String>> 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
        • isVisible
          boolean isVisible
        • kbCache
          KBcache kbCache
        • kbDir
          String kbDir
          The location of preprocessed KIF files, suitable for loading into EProver.
        • language
          String language
          The natural language in which axiom paraphrases should be presented.
        • loadFormatMapsAttempted
          List<String> 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.
        • modifiedContents
          boolean modifiedContents
          Future: If true, the contents of the KB have been modified without updating the caches
        • name
          String name
          The name of the knowledge base.
        • progressSb
          StringBuilder progressSb
          Progress bar text capture
        • termDepthCache
          Map<String,Integer> termDepthCache
          a cache built through lazy evaluation of the taxonomic depth of each term
        • termFormatMap
          Map<String,Map<String,String>> termFormatMap
          language keys and HashMap values. The interior HashMap is term name keys and String values of a termFormat.
        • termFormatMapAll
          Map<String,Map<String,List<String>>> termFormatMapAll
          language keys and HashMap values for termFormats. The interior HashMap is is term name keys and a list of all associated termFormat strings.
        • termFrequency
          Map<String,Integer> termFrequency
        • terms
          Set<String> terms
          A SortedSet of Strings, which are all the terms in the KB.
        • tptpQuery
          Set<String> tptpQuery
          TPTP query of a SUO-KIF formula
        • uaLock
          Object uaLock
        • warnings
          Set<String> warnings
          Warnings found during loading of the KB constituents.

    • Class com.articulate.sigma.KBcache

      class KBcache extends Object implements Serializable

      • Serialized Fields

        • children
          Map<String,Map<String,Set<String>>> 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.
        • disjoint
          Set<String> disjoint
        • disjointRelations
          Set<String> disjointRelations
        • explicitDisjoint
          Map<String,Set<String>> explicitDisjoint
          Disjoint relationships which were explicitly defined in "partition", "disjoint", and "disjointDecomposition" expressions
        • functions
          Set<String> functions
        • initialized
          boolean initialized
        • instanceOf
          Map<String,Set<String>> instanceOf
          Parent relations from instances, including those that are transitive through (instance,instance) relations, such as subAttribute and subrelation. May not do what you think since the key is the child (instance)
        • instances
          Map<String,Set<String>> instances
        • instRels
          Set<String> instRels
        • insts
          Set<String> insts
          A temporary list of instances built during creation of the children map, in order to efficiently create the instances map
        • instTransRels
          Set<String> instTransRels
        • kb
          KB kb
        • parents
          Map<String,Map<String,Set<String>>> 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.
        • predicates
          Set<String> predicates
        • relations
          Set<String> relations
        • signatures
          Map<String,List<String>> 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.
        • transRels
          Set<String> transRels
        • valences
          Map<String,Integer> valences
        • visited
          Set<String> visited

    • Class com.articulate.sigma.KBmanager

      class KBmanager extends Object implements Serializable

  • Package com.articulate.sigma.nlg

  • Package com.articulate.sigma.parsing

  • Package com.articulate.sigma.tp

  • Package com.articulate.sigma.trans

  • Package com.articulate.sigma.wordNet

    • Class com.articulate.sigma.wordNet.MultiWords

      class MultiWords extends Object implements Serializable

      • Serialized Fields

        • multiWordSerialized
          Map<String,Set<String>> multiWordSerialized
          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

      class OMWordnet extends Object implements Serializable

      • Serialized Fields

        • examples
          Map<String,Map<String,List<String>>> examples
        • glosses
          Map<String,Map<String,List<String>>> glosses
        • wordnets
          Map<String,Map<String,List<String>>> 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 invalid input: '<'http://www.gnu.org/copyleft/gpl.html>. 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.

    • Class com.articulate.sigma.wordNet.WordNet

      class WordNet extends Object implements Serializable

      • Serialized Fields

        • adjectiveDocumentationHash
          Map<String,String> adjectiveDocumentationHash
        • adjectiveSUMOHash
          Map<String,String> adjectiveSUMOHash
        • adjectiveSynsetHash
          Map<String,Set<String>> adjectiveSynsetHash
        • adverbDocumentationHash
          Map<String,String> adverbDocumentationHash
        • adverbSUMOHash
          Map<String,String> adverbSUMOHash
        • adverbSynsetHash
          Map<String,Set<String>> adverbSynsetHash
        • caseMap
          Map<String,String> caseMap
        • exceptionNounHash
          Map<String,String> exceptionNounHash
          list of irregular plural forms where the key is the plural, singular is the value.
        • exceptionNounPluralHash
          Map<String,String> exceptionNounPluralHash
        • exceptionVerbHash
          Map<String,String> exceptionVerbHash
        • exceptionVerbPastHash
          Map<String,String> exceptionVerbPastHash
        • exceptionVerbPastProgHash
          Map<String,String> exceptionVerbPastProgHash
        • exceptVerbProgHash
          Map<String,String> exceptVerbProgHash
        • ignoreCaseSynsetHash
          Map<String,Set<String>> ignoreCaseSynsetHash
        • maxNounSynsetID
          String maxNounSynsetID
        • maxVerbSynsetID
          String maxVerbSynsetID
        • multiWords
          MultiWords multiWords
        • nounDocumentationHash
          Map<String,String> nounDocumentationHash
        • nounSUMOHash
          Map<String,String> nounSUMOHash
        • nounSynsetHash
          Map<String,Set<String>> nounSynsetHash
        • OMW
          Map<String,Map<String,String>> OMW
          A HashMap with language name keys and HashMapinvalid input: '<'String,String> 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.
        • origMaxNounSynsetID
          String origMaxNounSynsetID
        • origMaxVerbSynsetID
          String origMaxVerbSynsetID
        • progressSb
          StringBuilder progressSb
          Progress bar text capture
        • relations
          Map<String,List<com.articulate.sigma.utils.AVPair>> 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
        • reverseSenseIndex
          Map<String,String> 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
        • senseFrequencies
          Map<String,Integer> 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.
        • senseIndex
          Map<String,String> 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
        • senseKeys
          Map<String,String> senseKeys
          A HashMap where the keys are of the form word%POS:lex_filenum:lex_id (numeric POS) and values are 8 digit WordNet synset byte offsets. Note that all words are from index.sense, which reduces all words to lower case
        • stopwords
          List<String> stopwords
          English "stop words" such as "a", "at", "them", which have no or little inherent meaning when taken alone.
        • SUMOHash
          Map<String,List<String>> 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
          Map<String,List<String>> 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.
        • verbDocumentationHash
          Map<String,String> verbDocumentationHash
        • verbFrames
          Map<String,List<String>> 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" or in the case where the frame applies to the entire synset, it's just the synset number. Values are ArrayList(s) of String verb frame numbers.
        • verbSUMOHash
          Map<String,String> verbSUMOHash
        • verbSynsetHash
          Map<String,Set<String>> verbSynsetHash
        • wordCoFrequencies
          Map<String,Map<String,Integer>> 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 occurs in sentences with the word sense given in the key.
        • wordFrequencies
          Map<String,Set<com.articulate.sigma.utils.AVPair>> 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
        • wordsToSenseKeys
          Map<String,List<String>> 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