- addAllSafe(Collection, Collection) - Method in class com.articulate.sigma.KB
-
Add all members of one collection to another.
- addAllSenses(HashMap<String, Integer>) - Method in class com.articulate.sigma.Hotel
-
- addBatchConfig(String, int) - Static method in class com.articulate.sigma.EProver
-
Update batch specification file.
- addChildElement(SimpleElement) - Method in class com.articulate.sigma.SimpleElement
-
- addColumn(String, String, String) - Method in class com.articulate.delphi.Delphi
-
- addColumn(String) - Method in class com.articulate.delphi.Table
-
- addColumn(String) - Method in class com.articulate.delphi.TableAverage
-
- addConceptSentiment(HashMap<String, Integer>) - Method in class com.articulate.sigma.Hotel
-
- addConceptSentimentScores(HashMap<String, Integer>, String, int) - Static method in class com.articulate.sigma.DB
-
Add new scores to existing scores.
- addConstituent(String) - Method in class com.articulate.sigma.KB
-
Add a new KB constituent by reading in the file, and then merging the formulas with
the existing set of formulas.
- addConsumedCaseRole(CaseRole) - Method in class com.articulate.sigma.nlg.SVOElement
-
- addDocGenControlBits(int) - Method in class com.articulate.sigma.DocGen
-
Adds val via bitwise OR to the int value that represents the
bit values used to control the document generation process for
this DocGen instance.
- addDocGenControlBits(String) - Method in class com.articulate.sigma.DocGen
-
Adds via bitwise OR the bit value corresponding to token to the
int value that represents the bit values used to control the
document generation process for this DocGen instance.
- addKB(String) - Method in class com.articulate.sigma.KBmanager
-
Create a new empty KB with a name.
- addKB(String, boolean) - Method in class com.articulate.sigma.KBmanager
-
- addMultiWord(String) - Method in class com.articulate.sigma.wordNet.MultiWords
-
Add a multi-word string to the multiWord member variable.
- address - Variable in class com.articulate.sigma.Hotel
-
- address2 - Variable in class com.articulate.sigma.Hotel
-
- addRole(String, String) - Method in class com.articulate.sigma.nlg.SumoProcessCollector
-
Add a new role/entity pair to this event.
- addRow(String, String, String) - Method in class com.articulate.delphi.Delphi
-
- addRow(String) - Method in class com.articulate.delphi.Table
-
- addRow(String) - Method in class com.articulate.delphi.TableAverage
-
- addTable(Table) - Method in class com.articulate.delphi.TableAverage
-
- addToCurrProperties(String, SumoProcessEntityProperty) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Add the given key - property pair to the properties of the current stack element.
- addToDoubleMapList(TreeMap, String, String, String) - Static method in class com.articulate.sigma.Diagnostics
-
Add a key to a map and a key, value to the map
corresponding to the key.
- addToFile(String, ArrayList<String>, String) - Static method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
-
- addToMapList(TreeMap, String, String) - Static method in class com.articulate.sigma.Diagnostics
-
Add a key to a map and a value to the ArrayList corresponding
to the key.
- addToWordFreq(String, AVPair) - Method in class com.articulate.sigma.wordNet.WordNet
-
Add an entry to the wordFrequencies list, checking whether it
has a valid count and synset pair.
- addTypeRestrictions(Formula, KB) - Method in class com.articulate.sigma.FormulaPreprocessor
-
Add clauses for every variable in the antecedent to restrict its
type to the type restrictions defined on every relation in which
it appears.
- addUser(User) - Method in class com.articulate.sigma.PasswordService
-
- ADJECTIVE - Static variable in class com.articulate.sigma.wordNet.WordNet
-
- ADJECTIVE_SATELLITE - Static variable in class com.articulate.sigma.wordNet.WordNet
-
- adjectiveDocumentationHash - Variable in class com.articulate.sigma.wordNet.WordNet
-
- adjectiveSUMOHash - Variable in class com.articulate.sigma.wordNet.WordNet
-
- adjectiveSynsetHash - Variable in class com.articulate.sigma.wordNet.WordNet
-
- ADVERB - Static variable in class com.articulate.sigma.wordNet.WordNet
-
- adverbDocumentationHash - Variable in class com.articulate.sigma.wordNet.WordNet
-
- adverbSUMOHash - Variable in class com.articulate.sigma.wordNet.WordNet
-
- adverbSynsetHash - Variable in class com.articulate.sigma.wordNet.WordNet
-
- afterExecute(CCheck, Throwable) - Method in class com.articulate.sigma.CCheckManager
-
Removes the KB from the list of kbs currently being checked, and add it to the checkedKBs list.
- allAvailableLanguages() - Method in class com.articulate.sigma.KBmanager
-
Get the the complete list of languages available in all KBs
- allCapsToSUMOID(String) - Static method in class com.articulate.sigma.StringUtil
-
- allowedTerms - Static variable in class com.articulate.sigma.EditGUI
-
- alphaList - Variable in class com.articulate.sigma.DocGen
-
A TreeMap of TreeMaps of ArrayLists where the keys are
uppercase single characters (of term formats or headwords) and
the values are TreeMaps with a key of the term formats or
headwords and ArrayList values of the actual term names.
- amenities - Variable in class com.articulate.sigma.Hotel
-
- amenityTerms - Static variable in class com.articulate.sigma.DB
-
- AND - Static variable in class com.articulate.sigma.Formula
-
- aOrAn(String) - Static method in class com.articulate.sigma.nlg.Noun
-
Look at first letter of input to determine whether it should be preceded by "a" or "an".
- append(Formula) - Method in class com.articulate.sigma.Formula
-
Returns the LISP 'append' of the formulas
Note that this operation has no side effect on the Formula.
- areaServed - Variable in class com.articulate.sigma.Hotel
-
- areFormulaArgsProcessed() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Are all the formula arguments processed in some way? Note that this method
is called when the relevant args are not held at top of stack, but at top - 1.
- areFormulaArgsProcessed(StackElement) - Static method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Have all the formula arguments for the given stack element been processed in some way?
- argsInit(Formula, List<String>) - Method in class com.articulate.sigma.nlg.StackElement
-
Init the formulaArgs for this StackElement.
- argumentsToArrayList(int) - Method in class com.articulate.sigma.Formula
-
Return all the arguments in a simple formula as a list, starting
at the given argument.
- arityTest() - Static method in class com.articulate.sigma.PredVarInst
-
This method tries to remove literals from the Formula that
match litArr.
- arrayListToSpacedString(ArrayList<String>) - Static method in class com.articulate.sigma.StringUtil
-
Convert an arbitrary string to a legal KIF identifier by
substituting dashes for illegal characters.
- asCSV() - Method in class com.articulate.sigma.Hotel
-
- asCSVHeader() - Static method in class com.articulate.sigma.Hotel
-
- ask(String, int, String) - Method in class com.articulate.sigma.KB
-
Returns an
ArrayList containing the Formulas that match the request.
- ask(String, int, int) - Method in class com.articulate.sigma.KB
-
Submits a
query to the inference engine.
- askEngine(String, int, int, InferenceEngine) - Method in class com.articulate.sigma.KB
-
*************************************************************
Submits a
query to specified InferenceEngine object.
- askEProver(String, int, int) - Method in class com.articulate.sigma.KB
-
Submits a
query to the inference engine.
- askLEO(String, int, int, String) - Method in class com.articulate.sigma.KB
-
Submits a query to the LEO inference engine.
- askNoProof(String, int, int) - Method in class com.articulate.sigma.KB
-
Submits a
query to the inference engine.
- askSInE(String, int, int) - Method in class com.articulate.sigma.KB
-
Submits a query to the SInE inference engine.
- askWithLiteral(List<String>) - Method in class com.articulate.sigma.KB
-
This method retrieves Formulas by asking the query expression queryLit, and
returns the results, if any, in an ArrayList.
- askWithLiteral(Formula) - Method in class com.articulate.sigma.KB
-
This method retrieves formulas by asking the query expression queryLit, and
returns the results, if any, in an ArrayList.
- askWithPredicateSubsumption(String, int, String) - Method in class com.articulate.sigma.KB
-
Returns an
ArrayList containing the Formulae retrieved, possibly via multiple asks
that recursively use relation and all of its subrelations.
- askWithRestriction(int, String, int, String) - Method in class com.articulate.sigma.KB
-
- askWithTwoRestrictions(int, String, int, String, int, String) - Method in class com.articulate.sigma.KB
-
Returns an
ArrayList of Formulas in which the two terms provided appear in the
indicated argument positions.
- assertFacts(KB, TreeMap<String, ArrayList<String>>, String) - Static method in class com.articulate.sigma.EditGUI
-
Interpret a map as a key relation name and ArrayList of values as arguments.
- assertFormula(String) - Method in class com.articulate.sigma.EProver
-
Add an assertion for inference.
- assertFormula(String, KB, EProver, ArrayList<Formula>, boolean) - Method in class com.articulate.sigma.EProver
-
Add an assertion for inference.
- assertFormula(String) - Method in class com.articulate.sigma.InferenceEngine
-
Add an assertion.
- assertFormula(String) - Method in class com.articulate.sigma.SInE
-
- assertFormula(String) - Method in class com.articulate.sigma.Vampire
-
Add an assertion.
- asSUMORelationID(String) - Static method in class com.articulate.sigma.StringUtil
-
- atom(String) - Static method in class com.articulate.sigma.Formula
-
Test whether the String is a LISP atom.
- atom() - Method in class com.articulate.sigma.Formula
-
Test whether the Formula is a LISP atom.
- attribute - Variable in class com.articulate.sigma.AVPair
-
- attributes - Variable in class com.articulate.sigma.BasicXMLelement
-
The attributes of the tag in key=value form
- attributes - Variable in class com.articulate.sigma.User
-
A HashMap of String keys and String values
- authenticate(String, String) - Method in class com.articulate.sigma.PasswordService
-
Take a user name and an encrypted password and compare it to an
existing collection of users with encrypted passwords.
- availableFormalLanguages - Static variable in class com.articulate.sigma.HTMLformatter
-
- availableLanguages() - Method in class com.articulate.sigma.KB
-
Get an
ArrayList of Strings containing the language identifiers of available
natural language formatting templates.
- average(String) - Method in class com.articulate.delphi.Project
-
Return a Table which is the average of the judgements of ever
user other than the given username.
- AVPair - Class in com.articulate.sigma
-
- AVPair() - Constructor for class com.articulate.sigma.AVPair
-
- AVPair(String, String) - Constructor for class com.articulate.sigma.AVPair
-
- axiom - Variable in class com.articulate.sigma.ProofStep
-
A String containing a valid KIF expression, that is the axiom
expressing the conclusion of this proof step.
- caddr() - Method in class com.articulate.sigma.Formula
-
Returns the LISP 'caddr' of the formula, which is the third
list element of the formula.
- cadr() - Method in class com.articulate.sigma.Formula
-
Returns the LISP 'cadr' (the second list element) of the
formula.
- calculateRecommendations() - Method in class com.articulate.delphi.Table
-
Calculate the recommended decision that results from the
judgements and weights.
- camelCaseToUnderlines(String) - Static method in class com.articulate.sigma.StringUtil
-
- car() - Method in class com.articulate.sigma.Formula
-
- carAsFormula() - Method in class com.articulate.sigma.Formula
-
Returns the LISP 'car' of the formula as a new Formula, if
possible, else returns null.
- caseMap - Variable in class com.articulate.sigma.wordNet.WordNet
-
- CaseRole - Enum in com.articulate.sigma.nlg
-
Identifies specific Sumo CaseRole objects.
- CCheck - Class in com.articulate.sigma
-
- CCheck(KB, String) - Constructor for class com.articulate.sigma.CCheck
-
- CCheck(KB, String, String, int) - Constructor for class com.articulate.sigma.CCheck
-
- CCheck(KB, String, String, String, String, String, String, int) - Constructor for class com.articulate.sigma.CCheck
-
- CCheckManager - Class in com.articulate.sigma
-
This class manages the threads that run consistency checks for the different
KBs in the system.
- CCheckManager() - Constructor for class com.articulate.sigma.CCheckManager
-
- CCheckManager.CCheckStatus - Enum in com.articulate.sigma
-
ccheckQueue keeps track of the KBs that are currently being checked.
- ccheckResults(String) - Method in class com.articulate.sigma.CCheckManager
-
This method returns full or partial results of the consistency checks.
- ccheckResults(String) - Static method in class com.articulate.sigma.KBmanager
-
- ccheckStatus(String) - Method in class com.articulate.sigma.CCheckManager
-
Returns the current status of a KB
- ccheckStatus(String) - Static method in class com.articulate.sigma.KBmanager
-
- cddr() - Method in class com.articulate.sigma.Formula
-
Returns the LISP 'cddr' of the formula - the rest of the rest,
or the list minus its first two elements.
- cddrAsFormula() - Method in class com.articulate.sigma.Formula
-
Returns the LISP 'cddr' of the formula as a new Formula, if
possible, else returns null.
- cdr() - Method in class com.articulate.sigma.Formula
-
Return the LISP 'cdr' of the formula - the rest of a list minus its
first element.
- cdrAsFormula() - Method in class com.articulate.sigma.Formula
-
Returns the LISP 'cdr' of the formula as a new Formula, if
possible, else returns null.
- Cell - Class in com.articulate.delphi
-
A class that contains information about a cell in a Delphi matrix.
- Cell() - Constructor for class com.articulate.delphi.Cell
-
- CELT - Class in com.articulate.sigma
-
Class for invoking CELT.
- CELT() - Constructor for class com.articulate.sigma.CELT
-
Create a running instance of CELT.
- celt - Variable in class com.articulate.sigma.KB
-
The instance of the CELT process.
- CELTTestSuite - Class in com.articulate.sigma
-
A framework for testing CELT.
- CELTTestSuite() - Constructor for class com.articulate.sigma.CELTTestSuite
-
- chainCode - Variable in class com.articulate.sigma.Hotel
-
- changeUserRole(String) - Method in class com.articulate.sigma.PasswordService
-
- checkArity() - Method in class com.articulate.sigma.KB
-
Arity
errors should already have been trapped in addConstituent() unless a
relation is used before it is defined.
- checkDisjoint(KB, HashSet<String>) - Static method in class com.articulate.sigma.KBcache
-
check if there are any two types in typeSet are disjoint or not;
- checkDisjoint(KB, String, String) - Static method in class com.articulate.sigma.KBcache
-
check if rel1 and rel2 are disjoint
return true if rel1 and rel2 are disjoint; otherwise return false.
- checkin - Variable in class com.articulate.sigma.Hotel
-
- checkout - Variable in class com.articulate.sigma.Hotel
-
- checkSite(String, String) - Static method in class com.articulate.sigma.SigmaCheck
-
- checkURLs(KB) - Static method in class com.articulate.sigma.KButilities
-
- checkWordsToSenses() - Static method in class com.articulate.sigma.wordNet.WordNet
-
- childOf(String, String) - Method in class com.articulate.sigma.KB
-
Determine
whether a particular class or instance "child" is a child of the given
"parent".
- childOfP(String, String, String) - Method in class com.articulate.sigma.KBcache
-
Find whether the given child has the given parent for the given
transitive relation.
- children - Variable in class com.articulate.sigma.KBcache
-
All the cached "child" relations of all transitive relations
meaning the relations between all first arguments and the
transitive closure of second arguments.
- children - Variable in class com.articulate.sigma.TaxoNode
-
- childrenExpanded - Variable in class com.articulate.sigma.TaxoNode
-
- childrenOfDisjointParents(KB) - Static method in class com.articulate.sigma.Diagnostics
-
Return a list of terms that have parents which are disjoint.
- city - Variable in class com.articulate.sigma.Hotel
-
- classSymbolSuffix - Static variable in class com.articulate.sigma.Formula
-
- Clausifier - Class in com.articulate.sigma
-
The code in the section below implements an algorithm for
translating SUO-KIF expressions to clausal form.
- Clausifier(String) - Constructor for class com.articulate.sigma.Clausifier
-
- clausify(Formula) - Static method in class com.articulate.sigma.Clausifier
-
convenience method
- clausify() - Method in class com.articulate.sigma.Clausifier
-
This method converts the SUO-KIF Formula to a version of
clausal (resolution, conjunctive normal) form with Skolem
functions, following the procedure described in Logical
Foundations of Artificial Intelligence, by Michael Genesereth
and Nils Nilsson, 1987, pp.
- clausifyWithRenameInfo() - Method in class com.articulate.sigma.Clausifier
-
Note this returns a List of mixed types! Fixme!
- clearAlphaList() - Method in class com.articulate.sigma.DocGen
-
Clears the alphaList for this DocGen object.
- clearDocGenControlBits() - Method in class com.articulate.sigma.DocGen
-
Sets to 0 the int value that represents the bit values used to
guide aspects of the document generation process for this
DocGen instance.
- clearFormatMaps() - Method in class com.articulate.sigma.KB
-
Clears all loaded format and termFormat maps, for all languages.
- clearTheClausalForm() - Method in class com.articulate.sigma.Formula
-
This method clears the list of clauses that together constitute
the resolution form of this Formula, and can be used in
preparation for recomputing the clauses.
- clearTheTptpFormulas() - Method in class com.articulate.sigma.Formula
-
Clears theTptpFormulas if the ArrayList exists, else does
nothing.
- ClientHttpRequest - Class in com.articulate.sigma
-
Title: Client HTTP Request class
- ClientHttpRequest(URLConnection) - Constructor for class com.articulate.sigma.ClientHttpRequest
-
Creates a new multipart POST HTTP request on a freshly opened URLConnection
- ClientHttpRequest(URL) - Constructor for class com.articulate.sigma.ClientHttpRequest
-
Creates a new multipart POST HTTP request for a specified URL
- ClientHttpRequest(String) - Constructor for class com.articulate.sigma.ClientHttpRequest
-
Creates a new multipart POST HTTP request for a specified URL string
- close() - Method in class com.articulate.sigma.Base64.OutputStream
-
Flushes and closes (I think, in the superclass) the stream.
- codedIdentifiers - Variable in class com.articulate.sigma.DocGen
-
A Set of Strings.
- codeToLanguage(String) - Static method in class com.articulate.sigma.wordNet.OMWordnet
-
- collapseNode(String) - Static method in class com.articulate.sigma.TaxoModel
-
Remove the children of this node.Called as the result of an &contract=term
parameter sent to TreeView.jsp
- collapseParentNodes(String) - Static method in class com.articulate.sigma.TaxoModel
-
Remove the parents of this node.
- collapseSenses() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- collectAllVariables() - Method in class com.articulate.sigma.Formula
-
Collects all variables in this Formula.
- collectArgFromFormulas(int, ArrayList<Formula>) - Static method in class com.articulate.sigma.KBcache
-
Get the HashSet of the given arguments from an ArrayList of Formulas.
- collectCountedWordSenses(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
Collect all the synsets that represent the best guess at
meanings for all the words in a sentence.
- collectDomains() - Method in class com.articulate.sigma.KBcache
-
Build the argument type list for every relation.
- collectExistentiallyQuantifiedVariables() - Method in class com.articulate.sigma.Formula
-
Collects all quantified variables in this Formula.
- collectPredicates() - Method in class com.articulate.sigma.KB
-
- collectQuantifiedUnquantifiedVariables() - Method in class com.articulate.sigma.Formula
-
A new method to collect all quantified and unquantified variables
in this Formula.
- collectQuantifiedUnquantifiedVariablesRecurse(Formula, HashMap<String, Boolean>, HashSet<String>, HashSet<String>) - Method in class com.articulate.sigma.Formula
-
Collect quantified and unquantified variables recursively
- collectQuantifiedVariables() - Method in class com.articulate.sigma.Formula
-
Collects all quantified variables in this Formula.
- collectSUMOFromFile(String) - Static method in class com.articulate.sigma.wordNet.WSD
-
Extract SUMO terms from a file assuming one sentence per line
- collectSUMOFromSICK() - Static method in class com.articulate.sigma.wordNet.WSD
-
Extract SUMO terms from the SICK data set
http://clic.cimec.unitn.it/composes/sick.html
- collectSUMOFromString(String) - Static method in class com.articulate.sigma.wordNet.WSD
-
Extract SUMO terms from a file assuming one sentence per line
- collectSUMOFromWords(String) - Static method in class com.articulate.sigma.wordNet.WSD
-
Collect all the SUMO terms that are found in the sentence.
- collectTerms() - Method in class com.articulate.sigma.Formula
-
Collect all the terms in a formula
- collectUnquantifiedVariables() - Method in class com.articulate.sigma.Formula
-
Collect all the unquantified variables in a formula
- collectVariables() - Method in class com.articulate.sigma.Formula
-
Collects all variables in this Formula.
- collectWordSenses(String) - Static method in class com.articulate.sigma.wordNet.WSD
-
Collect all the synsets that represent the best guess at
meanings for all the words in a text given a larger linguistic
context.
- columnCount() - Method in class com.articulate.sigma.Graph
-
- columnList - Variable in class com.articulate.sigma.Graph
-
- columnWeights - Variable in class com.articulate.delphi.Table
-
A HashMap of criteria string keys and string importance weight
values, which are integers between 0 and 10, represented as Strings.
- com.articulate.delphi - package com.articulate.delphi
-
- com.articulate.sigma - package com.articulate.sigma
-
Provides classes for the Sigma knowledge engineering environment version developed
at Articulate Software Inc.
- com.articulate.sigma.mlpipeline - package com.articulate.sigma.mlpipeline
-
- com.articulate.sigma.nlg - package com.articulate.sigma.nlg
-
Provides classes for natural language generation in the Sigma knowledge engineering environment version developed
at Articulate Software Inc.
- com.articulate.sigma.trans - package com.articulate.sigma.trans
-
Provides classes for translation to other logical languages in the Sigma
knowledge engineering environment version developed at Articulate Software Inc.
- com.articulate.sigma.utils - package com.articulate.sigma.utils
-
- com.articulate.sigma.wordNet - package com.articulate.sigma.wordNet
-
Provides classes for handling Wordnets.
- commentChar(int) - Method in class com.articulate.sigma.StreamTokenizer_s
-
Specified that the character argument starts a single-line
comment.
- commentSentiment(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- compare(Object, Object) - Method in class com.articulate.sigma.DocGen.PresentationNameComparator
-
- compare(Pair, Pair) - Method in class com.articulate.sigma.Pair
-
- compare(Object, Object) - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB.OrderedFormulae
-
- compareTerms(String, String) - Method in class com.articulate.sigma.KB
-
Analogous to compareTo(), return -1,0 or 1 depending on whether
the first term is "smaller", equal to or "greater" than the
second, respectively.
- compareTo(Object) - Method in class com.articulate.delphi.Pair
-
*****************************************************************
- compareTo(Object) - Method in class com.articulate.sigma.AVPair
-
- compareTo(Object) - Method in class com.articulate.sigma.Formula
-
Implement the Comparable interface by defining the compareTo
method.
- compareTo(Object) - Method in class com.articulate.sigma.nlg.SumoProcessEntityProperty
-
Allows sortable collections of these objects.
- complexArgumentsToArrayList(int) - Method in class com.articulate.sigma.Formula
-
Return all the arguments in a formula as a list, starting
at the given argument.
- computeConceptSentiment(String) - Static method in class com.articulate.sigma.DB
-
Associate individual concepts with a sentiment score
- computeConceptSentimentFromFile(String) - Static method in class com.articulate.sigma.DB
-
Associate individual concepts with a sentiment score
- computeSentiment(String) - Static method in class com.articulate.sigma.DB
-
Calculate an integer sentiment value for a string of words.
- computeSentimentForWord(String) - Static method in class com.articulate.sigma.DB
-
Find the sentiment value for a given word, after finding the root
form of the word.
- computeVariableTypes(Formula, KB) - Method in class com.articulate.sigma.FormulaPreprocessor
-
This method returns a HashMap that maps each String variable in
this the names of types (classes) of which the variable must be
an instance or the names of types of which the variable must be
a subclass.
- concatN(String, int) - Static method in class com.articulate.sigma.StringUtil
-
Returns a String formed from n concatenations of input.
- conceptSentiment - Variable in class com.articulate.sigma.Hotel
-
- CONFIG_FILE - Static variable in class com.articulate.sigma.KBmanager
-
- conn - Variable in class com.articulate.sigma.PasswordService
-
- connect() - Method in class com.articulate.sigma.ClientHttpRequest
-
- cons(String) - Method in class com.articulate.sigma.Formula
-
Returns a new Formula which is the result of 'consing' a String
into this Formula, similar to the LISP procedure of the same
name.
- cons(Formula) - Method in class com.articulate.sigma.Formula
-
- constituents - Variable in class com.articulate.sigma.KB
-
An ArrayList of Strings that are the full canonical pathnames of the
files that comprise the KB.
- containsFormula(String) - Method in class com.articulate.sigma.KB
-
Takes a formula string and returns true if the corresponding Formula occurs in
the KB.
- containsNonAsciiChars(String) - Static method in class com.articulate.sigma.StringUtil
-
- containsProcess(Collection<String>, KB) - Static method in class com.articulate.sigma.nlg.NLGUtils
-
Return true if the given list includes "Process", or if one of its elements is a subclass of Process.
- containsRE(String) - Method in class com.articulate.sigma.KB
-
Takes a term
(interpreted as a Regular Expression) and returns true if any term in the
KB has a match with the RE.
- containsTerm(String) - Method in class com.articulate.sigma.KB
-
Takes a term and returns true if the term occurs in the KB.
- containsWord(String, int) - Method in class com.articulate.sigma.wordNet.WordNet
-
Does WordNet contain the given word.
- containsWord(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
Does WordNet contain the given word.
- contents - Variable in class com.articulate.sigma.BasicXMLelement
-
The contents between the start and end of this tag
- convert(String, boolean) - Static method in class com.articulate.sigma.trans.TPTP2SUMO
-
Convenience routine that calls the main convert() method below
- convert(Reader, boolean) - Static method in class com.articulate.sigma.trans.TPTP2SUMO
-
Convenience routine that calls the main convert() method below
- convert(String, ArrayList<Binding>, boolean) - Static method in class com.articulate.sigma.trans.TPTP2SUMO
-
Convenience routine that calls the main convert() method below
- convert(Reader, ArrayList<Binding>, boolean) - Static method in class com.articulate.sigma.trans.TPTP2SUMO
-
Convenience routine that calls the main convert() method below
- convert(BufferedReader, ArrayList<Binding>, boolean) - Static method in class com.articulate.sigma.trans.TPTP2SUMO
-
Convert a TPTP proof to a SUMO XML-wrapped proof
- convertFromReservedCharacters(String) - Static method in class com.articulate.sigma.SimpleDOMParser
-
Convert reserved characters to ampersand character elements.
- convertJSON2Hotel(Hotel.JSONElement) - Static method in class com.articulate.sigma.Hotel
-
- convertRowStringsToLists(List<String>, char) - Method in class com.articulate.sigma.DocGen
-
Converts a List of char-delimited Strings to a List of Lists
(i.e., an array) representing a spreadsheet.
- convertTermList(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Convert a list of Terms in the format "&%term1 &%term2" to an ArrayList
of bare term Strings
- convertToReservedCharacters(String) - Static method in class com.articulate.sigma.SimpleDOMParser
-
Convert ampersand character elements to reserved characters.
- convertType(TPTPFormula, int, int) - Static method in class com.articulate.sigma.trans.TPTP2SUMO
-
Convert a single annotated TPTP clause to a single XML-wrapped SUMO formula.
- convertType(TPTPFormula, int, int, boolean) - Static method in class com.articulate.sigma.trans.TPTP2SUMO
-
Convert a single annotated TPTP clause to a single SUMO formula, possibly XML-wrapped.
- convertWordNetPointer(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- convertYAGO(String, String) - Static method in class com.articulate.sigma.Mapping
-
Convert a YAGO file into KIF
- copy() - Method in class com.articulate.sigma.Formula
-
Copy the Formula.
- copyFile(File, File) - Static method in class com.articulate.sigma.KBmanager
-
Read an XML-formatted configuration file.
- copyFile(String) - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
-
- copyNewPredFromVariableArity(String, String, int) - Method in class com.articulate.sigma.KBcache
-
Copy all relevant information from a VariableArityRelation to a new
predicate that is a particular fixed arity.
- count - Static variable in class com.articulate.sigma.KIF
-
- count - Variable in class com.articulate.sigma.Pair
-
- countDelimiters(String, char) - Method in class com.articulate.sigma.DocGen
-
Counts the number of field delimiters in line and returns the
count, ignoring delimiters that are inside Strings.
- countMappings() - Static method in class com.articulate.sigma.wordNet.WNdiagnostics
-
Create an HTML-formatted table that counts WordNet-SUMO mapping
types.
- countRelations(KB) - Static method in class com.articulate.sigma.KButilities
-
- country - Variable in class com.articulate.sigma.Hotel
-
- countStringWords(KB) - Static method in class com.articulate.sigma.KButilities
-
Count the number of words in all the strings in a knowledge base
- createAdmin() - Method in class com.articulate.sigma.PasswordService
-
- createAllStatements(KB, String, String, int) - Method in class com.articulate.sigma.DocGen
-
Create an HTML page that lists information about a particular term,
with a limit on how many statements of each type should be
displayed.
- createAlphaList(KB) - Method in class com.articulate.sigma.DocGen
-
- createBelongsToClass(KB, String, String, String, Set<String>) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for the Belongs to Class
section of an HTML page displaying the partial
definition of term in kb.
- createBelongsToClass(KB, String, String, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for the Belongs to Class
section of an HTML page displaying the partial
definition of term in kb.
- createBoundedSizeGraph(KB, String, String, int, boolean, String) - Method in class com.articulate.sigma.Graph
-
Create a graph of a bounded size by incrementing the number of
levels above and below until the limit is reached or there are
no more levels in the knowledge base from the given term and
relation.
- createChildren(KB, String, String, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for the Children field
of an HTML page displaying the definition of term in kb.
- createComments(KB, String, String, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing the HTML markup for the Comment
field in a page displaying the definition of term in kb.
- createCompositeComponentLine(KB, String, String, int, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for a single table row
in the Composite Component section of an HTML page displaying
the partial definition of term in kb.
- createCompositePage(KB, String, String, TreeMap, int, String, String) - Method in class com.articulate.sigma.DocGen
-
Create an HTML page that lists information about a particular
composite term, which is a representation of an XML
structure.
- createCompositeRecurse(KB, String, boolean, int) - Method in class com.articulate.sigma.DocGen
-
Recursively computes and then returns a List that constitutes
the graph containing those XML elements and attributes
syntactically subordinate to term in kb.
- createContainingCompositeComponentLine(KB, String, String, String, int, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for a row displaying a
contained component in an HTML page displaying the partial
definition of instance in kb.
- createDB() - Static method in class com.articulate.sigma.User
-
Create a database with columns like this class
- createDisplayNames(KB, String, String, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for the Display Labels
field of an HTML page displaying statements about term in kb.
- createDocs(KB, String, String, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String consisting of HTML markup for a documentation
String for term obtained from kb and indexed by language.
- createDotGraph(KB, String, String, int, int, String) - Method in class com.articulate.sigma.Graph
-
Create a ArrayList with a set of terms comprising a hierarchy
in a format suitable for GraphViz' input format
http://www.graphviz.org/
Generate a GIF from the .dot output with a command like
dot SUMO-graph.dot -Tgif > graph.gif
- createFormPage(KB, String, Formula) - Static method in class com.articulate.sigma.Editor
-
Create an HTML form for editing facts about a term.
- createFormula(KB, String, String, int, String, String, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for a SUO-KIF Formula.
- createFormulaMatchMemoMapKey(String, String) - Static method in class com.articulate.sigma.FormulaUtil
-
Factory method for the memo map
- createFromKBFile(String) - Method in class com.articulate.sigma.InferenceEngine.EngineFactory
-
- createFromKBFile(String) - Method in class com.articulate.sigma.SInE.SInEFactory
-
- createFromKBFile(String) - Method in class com.articulate.sigma.Vampire.VampireFactory
-
- createGraph(KB, String, String, int, int, int, boolean, String) - Method in class com.articulate.sigma.Graph
-
Create an ArrayList with a set of terms comprising a hierarchy
Each term String will be prefixed with an appropriate number of
indentChars.
- createHasSameComponents(KB, String, String, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for the Has Same
Components As field of an HTML page displaying the definition
of term in kb.
- createHrefStart() - Static method in class com.articulate.sigma.HTMLformatter
-
Create the HTML for a link, taking care of http/https, hostname and port
- createID() - Method in class com.articulate.sigma.Formula
-
- createInferenceEngine(InferenceEngine.EngineFactory) - Method in class com.articulate.sigma.KB
-
Creates InferenceEngine and loads all of the constituents into it.
- createInstances(KB, String, String, String, List) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for the Instances
section of an HTML page displaying the definition of term in
kb.
- createKBHref(String, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Create the HTML for a kb link.
- createKBMenu(String) - Static method in class com.articulate.sigma.HTMLformatter
-
Create an HTML menu of KB names
- createMenu(String, String, ArrayList<String>) - Static method in class com.articulate.sigma.HTMLformatter
-
Create an HTML menu, given an ArrayList of Strings.
- createMenu(String, String, ArrayList<String>, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Create an HTML menu with an ID, given an ArrayList of Strings.
- createMultiMenu(String, TreeMap<String, String>) - Static method in class com.articulate.sigma.HTMLformatter
-
Create an HTML menu with an ID, given an ArrayList of
Strings, and possibly multiple selections.
- createNumberedMenu(String, String, ArrayList<String>) - Static method in class com.articulate.sigma.HTMLformatter
-
Create an HTML menu, given an ArrayList of Strings where the
value(s) are String representations of int(s) but the displayed
menu items are String(s).
- createPage(KB, String, String, TreeMap, int, String, String) - Method in class com.articulate.sigma.DocGen
-
Create an HTML page that lists information about a particular term,
with a limit on how many statements of each type should be
displayed.
- createParents(KB, String, String, String, Set) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for the Parents field
of an HTML page displaying the definition of term in kb.
- createRelations(KB, String, String, String, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for the Relations
section of an HTML page displaying the definition of term in
kb.
- createSynonyms(KB, String, String, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for the synonym field
of an HTML page displaying the definition of term in kb.
- createUser(String) - Method in class com.articulate.sigma.PasswordService
-
- createUsingSameComponents(KB, String, String, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for the Composites
Using Same Components field of an HTML page displaying the
definition of term in kb.
- createWithFormulas(Iterable<String>) - Method in class com.articulate.sigma.InferenceEngine.EngineFactory
-
- createWithFormulas(Iterable<String>) - Method in class com.articulate.sigma.SInE.SInEFactory
-
- createWithFormulas(Iterable) - Method in class com.articulate.sigma.Vampire.VampireFactory
-
- currency - Variable in class com.articulate.sigma.Hotel
-
- F_CONTROL_TOKENS - Static variable in class com.articulate.sigma.DocGen
-
- F_SI - Static variable in class com.articulate.sigma.DocGen
-
This String token denotes Sigma's "simple" HTML layout, and is
used as a flag in the HTML generation code to switch between
full and simple modes.
- facilities - Variable in class com.articulate.sigma.Hotel
-
- FactoryUtil - Class in com.articulate.sigma
-
This class defines static accessors and factory methods for Sigma
facilities that require extensive initialization, or depend on
reflection, or must be created in a special context, or for which
creation through invocation of a simple constructor is not
adequate.
- fax - Variable in class com.articulate.sigma.Hotel
-
- feedData - Variable in class com.articulate.sigma.Hotel
-
- fill(String, int) - Static method in class com.articulate.sigma.DB
-
- fillString(String, char, int, boolean) - Static method in class com.articulate.sigma.StringUtil
-
Fill a string with the desired character up to the totalLength.
- filterExcludePredicates(HashSet<String>, Formula) - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
-
- filterHtml(String) - Static method in class com.articulate.sigma.StringUtil
-
Remove HTML from input string.
- filterSimpleOnly - Static variable in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
-
- findBalancedParen(int, String) - Static method in class com.articulate.sigma.StringUtil
-
Find the parenthesis that balances the one in st at character pIndex
- findContainingComposites(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns an ArrayList holding the composite entities (Elements)
that contain term, or returns an empty ArrayList.
- findExplicitTypes(KB, Formula) - Method in class com.articulate.sigma.FormulaPreprocessor
-
Collect variable names and their types from instance or subclass
expressions.
- findExplicitTypesClasses(KB, Formula, HashMap<String, HashSet<String>>, HashMap<String, HashSet<String>>) - Method in class com.articulate.sigma.FormulaPreprocessor
-
Collect variable names and their types from instance or subclass
expressions.
- findExplicitTypesClassesInAntecedent(KB, Formula) - Method in class com.articulate.sigma.FormulaPreprocessor
-
Collect the types of any variables that are specifically defined
in the antecedent of a rule with an instance expression;
Collect the super classes of any variables that are specifically
defined in the antecedent of a rule with an subclass expression;
- findExplicitTypesInAntecedent(KB, Formula) - Method in class com.articulate.sigma.FormulaPreprocessor
-
Collect the types of any variables that are specifically defined
in the antecedent of a rule with an instance or subclass expression.
- findExplicitTypesRecurse(KB, Formula, boolean, HashMap<String, HashSet<String>>, HashMap<String, HashSet<String>>) - Static method in class com.articulate.sigma.FormulaPreprocessor
-
Recursively collect a variable name and its types.
- findLeaves(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Find all the leaf nodes for a particular relation in WordNet.
- findLeavesInTree(HashSet<String>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Find all the leaf nodes for a particular relation in WordNet.
- findMultiWord(List<String>, int, List<String>) - Method in class com.articulate.sigma.wordNet.MultiWords
-
Find the synset for a multi-word string, if it exists.
- findMultiWord(String, String, List<String>, List<String>) - Method in class com.articulate.sigma.wordNet.MultiWords
-
- findPathsToRoot(ArrayList<String>, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Find the complete path from a given synset.
- findType(int, String, KB) - Static method in class com.articulate.sigma.FormulaPreprocessor
-
Find the argument type restriction for a given predicate and
argument number that is inherited from one of its super-relations.
- findTypesForSkolemTerms(TPTP3ProofProcessor, KB) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
Return the most specific type for skolem variable.
- findWordSenseInContext(String, List<String>) - Static method in class com.articulate.sigma.wordNet.WSD
-
Return the best guess at the synset for the given word in the
context of the sentence.
- findWordSenseInContextWithPos(String, List<String>, int, boolean) - Static method in class com.articulate.sigma.wordNet.WSD
-
Return the best guess at the synset for the given word in the
context of the sentence with the given POS.
- findWordSensePOS(String, List<String>, int) - Static method in class com.articulate.sigma.wordNet.WSD
-
Return a list of scored guesses at the synset for the given word in the
context of the sentence.
- floors - Variable in class com.articulate.sigma.Hotel
-
- flushBase64() - Method in class com.articulate.sigma.Base64.OutputStream
-
Method added by PHIL.
- FN_SUFF - Static variable in class com.articulate.sigma.Formula
-
- footerText - Variable in class com.articulate.sigma.DocGen
-
The document footer text to be used for HTML generation
- format(String, String, String) - Method in class com.articulate.sigma.Formula
-
Format a formula for either text or HTML presentation by inserting
the proper hyperlink code, characters for indentation and end of line.
- formatCompositeHierarchy(KB, String, List, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for a hierarchy or tree
display of terms that denote nested composite components.
- formatConsistencyCheck(String, String, String, int) - Static method in class com.articulate.sigma.HTMLformatter
-
- formatContainingComposites(KB, String, ArrayList, String, String) - Method in class com.articulate.sigma.DocGen
-
Given the SUO-KIF statements:
(hasXmlElement PartyDescriptor LocalInstance_2_459)
(datatype LocalInstance_2_459 PartyId)
(documentation LocalInstance_2_459
PartyDescriptor "A Composite containing details...")
show PartyDescriptor as one of the "containing
composites" of PartyId, and show the documentation for
the instance node next to the parent composite.
- formatDocumentation(String, String, String) - Method in class com.articulate.sigma.KB
-
Hyperlink terms identified with '&%' to the URL that brings up that term in the
browser.
- formatErrorsWarnings(TreeSet<String>, KB) - Static method in class com.articulate.sigma.HTMLformatter
-
hyperlink formulas in error messages.
- formatFormulaList(ArrayList<Formula>, String, KB, String, String, int, int, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Create the HTML for a section of the Sigma term browser page.
- formatList(String, String) - Static method in class com.articulate.sigma.nlg.NLGUtils
-
Format a list of variables which are not enclosed by parens.
- formatProofResult(String, String, String, String, String, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Create an HTML formatted result of a query.
- formatProofResult(String, String, String, String, String, String, int) - Static method in class com.articulate.sigma.HTMLformatter
-
- formatProofResult(ArrayList<BasicXMLelement>, String, String, String, String, String, int) - Static method in class com.articulate.sigma.HTMLformatter
-
- formatTPTP3ProofResult(TPTP3ProofProcessor, String, String, String, String) - Static method in class com.articulate.sigma.HTMLformatter
-
- formatWords(String, String, String, String) - Static method in class com.articulate.sigma.wordNet.OMWordnet
-
HTML format a list of word senses
- formatWords(TreeMap<String, String>, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
HTML format a TreeMap of word senses and their associated synset
- formatWordsList(TreeMap<String, ArrayList<String>>, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
HTML format a TreeMap of ArrayLists word senses
- Formula - Class in com.articulate.sigma
-
Handle operations on an individual formula.
- Formula(Formula) - Constructor for class com.articulate.sigma.Formula
-
Constructor to build a formula from an existing formula.
- Formula() - Constructor for class com.articulate.sigma.Formula
-
- Formula(String) - Constructor for class com.articulate.sigma.Formula
-
Just set the textual version of the formula
- FormulaArg(String, StackElement.StackState) - Constructor for class com.articulate.sigma.nlg.StackElement.FormulaArg
-
- formulaMap - Variable in class com.articulate.sigma.KB
-
A Map of all the Formula objects in the KB.
- formulaMap - Variable in class com.articulate.sigma.KIF
-
A HashMap of String keys representing the formula, and Formula values.
- FormulaMatchMemoMapKey(String, String) - Constructor for class com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey
-
- FormulaPreprocessor - Class in com.articulate.sigma
-
- FormulaPreprocessor() - Constructor for class com.articulate.sigma.FormulaPreprocessor
-
- formulaRole - Variable in class com.articulate.sigma.ProofStep
-
A String of the role of the formula
- formulas - Variable in class com.articulate.sigma.KB
-
A HashMap of ArrayLists of String formulae, containing all the formulae
in the KB.
- formulas - Variable in class com.articulate.sigma.KIF
-
A HashMap of ArrayLists of Formulas.
- formulasToArrayLists(List<Formula>) - Static method in class com.articulate.sigma.KB
-
Converts
all Formula objects in the input List to ArrayList tuples.
- formulateNaturalVerb(Sentence) - Method in class com.articulate.sigma.nlg.SumoProcess
-
Try to phrase the verb into natural language, setting this object's internal state appropriately.
- formulaType - Variable in class com.articulate.sigma.ProofStep
-
A String of the type clause or formula
- FormulaUtil - Class in com.articulate.sigma
-
Created by sserban on 2/17/15.
- FormulaUtil() - Constructor for class com.articulate.sigma.FormulaUtil
-
- FormulaUtil.FormulaMatchMemoMapKey - Class in com.articulate.sigma
-
- fromArray(Integer[]) - Method in class com.articulate.delphi.Distribution
-
- fromBase64(String, String) - Static method in class com.articulate.sigma.StringUtil
-
Given an input String encoded in base-64, decodes the String
and returns the original form of input in charset.
- fromDB(Connection, String) - Static method in class com.articulate.sigma.User
-
Load the object from a relational DB
- fromObjectArray(Object[]) - Static method in class com.articulate.delphi.Delphi
-
- fromOMWsynset(String) - Static method in class com.articulate.sigma.wordNet.OMWordnet
-
Convert a POS-suffix OMW synset to an 8-digit WordNet synset.
- fromXML(BasicXMLelement) - Method in class com.articulate.delphi.Cell
-
Read in an XML input
- fromXML(String) - Method in class com.articulate.delphi.Delphi
-
- fromXML(BasicXMLelement) - Method in class com.articulate.delphi.Project
-
Read in an XML-formatted String
- fromXML(BasicXMLelement) - Method in class com.articulate.delphi.Table
-
Read in an XML-formatted String
- gap - Static variable in class com.articulate.sigma.wordNet.WSD
-
- gatherPredVars(KB, Formula) - Static method in class com.articulate.sigma.PredVarInst
-
Collect and return all predicate variables for the given formula
- gatherRelationConstants() - Method in class com.articulate.sigma.Formula
-
Returns a HashSet of all atomic KIF Relation constants that
occur as Predicates or Functions (argument 0 terms) in this
Formula.
- gatherRelationsWithArgTypes(KB) - Method in class com.articulate.sigma.Formula
-
Returns a HashMap in which the keys are the Relation constants
gathered from this Formula, and the values are ArrayLists in
which the ordinal positions 0 - n are occupied by the names of
the corresponding argument types.
- genAllParentList(KB, String) - Static method in class com.articulate.sigma.EditGUI
-
Get the all parent classes of term.
- genClassList(KB, String) - Static method in class com.articulate.sigma.EditGUI
-
Collect a set of relations in which the type of given term is an argument subclass,
and collect the set of possible argument fillers.
- genClassPage(KB, String, String) - Static method in class com.articulate.sigma.EditGUI
-
Generate a set of menus comprising relations that apply to this class
i.e.
- generateDB(KB) - Method in class com.articulate.sigma.DB
-
Generate an SQL database from the knowledge base
Tables must be defined as instances of &%DatabaseTable and
must have &%localDocumentation and &%HasDatabaseColumn
relations.
- generateDynamicTOCHeader(String) - Method in class com.articulate.sigma.DocGen
-
Generate an alphabetic HTML list that points to the
individual index pages (which collect all terms starting
with a particular letter.
- generateFormalNaturalLanguage(List<String>, String, boolean) - Method in class com.articulate.sigma.nlg.LanguageFormatter
-
- generateHTML(KB, String, boolean, String) - Method in class com.articulate.sigma.DocGen
-
Generate simplified HTML pages for all terms.
- generateHtmlDocStart(String) - Method in class com.articulate.sigma.DocGen
-
Returns a String of HTML markup for the start of a document,
using title as the document title String.
- generateHtmlFooter(String) - Method in class com.articulate.sigma.DocGen
-
Returns a String of HTML markup encoding the footer section of
an HTML document, and using footerText as the text to be
displayed at the bottom of the page.
- generateHTMLPages(KB, TreeMap, String, String) - Method in class com.articulate.sigma.DocGen
-
- generateHyponymSets(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Generate sets of all hyponymous words for each synset in a file
- generateNounSynsetID() - Method in class com.articulate.sigma.wordNet.WordNet
-
Generate a new eight digit noun synset ID that doesn't have an existing hash
- generateOMWOWLformat(KB) - Static method in class com.articulate.sigma.wordNet.OMWordnet
-
- generateRelationList() - Static method in class com.articulate.sigma.KButilities
-
Note this simply assumes that initial lower case terms are relations.
- generateSingleHTML(KB, String, TreeMap, String, boolean) - Method in class com.articulate.sigma.DocGen
-
Generate a single HTML page showing all terms.
- generateSingleHTML(KB, String, boolean) - Method in class com.articulate.sigma.DocGen
-
- generateSUMOColumns(Hotel, ArrayList<String>) - Static method in class com.articulate.sigma.Hotel
-
- generateSUMOfromWN(String, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Generate notional SUMO terms from WordNet
- generateSUMOfromWN() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Generate notional SUMO terms from WordNet.
- generateSUMOfromWNsubtree(String, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Generate notional SUMO terms from WordNet
- generateSUMOHeader(ArrayList<Hotel>) - Static method in class com.articulate.sigma.Hotel
-
Collect all possible column names and assign them a number, then sort
on that frequency.
- generateSynsetID(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
Generate a new 8 digit synset ID that doesn't have an existing hash
- generateTocHeader(KB, TreeMap, String) - Method in class com.articulate.sigma.DocGen
-
Generate an alphabetic HTML list that points to the
individual index pages (which collect all terms or term
formats) starting with a particular letter.
- generateTOCPage(KB, String, TreeMap, String) - Method in class com.articulate.sigma.DocGen
-
Generate an HTML page that lists term name and its
documentation
- generateTPTPTestAssertions() - Static method in class com.articulate.sigma.KButilities
-
- generateVerbSynsetID() - Method in class com.articulate.sigma.wordNet.WordNet
-
Generate a new eight digit verb synset ID that doesn't have an existing hash
- genImmedParentList(KB, String) - Static method in class com.articulate.sigma.EditGUI
-
Get the just the immediate parent classes of a term
- genInstList(KB, String) - Static method in class com.articulate.sigma.EditGUI
-
Collect a set of relations in which the type of given term is an argument instance type,
and collect the set of possible argument fillers.
- genInstPage(KB, String, String) - Static method in class com.articulate.sigma.EditGUI
-
Generate fields for an HTML form that allow a user to assert
statements by using menus to set parameters that are arguments
to relations.
- genRelPage(KB, String) - Method in class com.articulate.sigma.EditGUI
-
- geocode(String) - Static method in class com.articulate.sigma.DB
-
Call Google's geocode API to convert an address string into a
lat/lon, which is returned as an ArrayList of two String elements
containing a real-number format latitude and longitude.
- geocodeCount - Static variable in class com.articulate.sigma.Hotel
-
- geocodeLimit - Static variable in class com.articulate.sigma.Hotel
-
- get1RequiredFormulas(Collection<String>) - Method in class com.articulate.sigma.SInE
-
Returns formulas that are directly required by given symbols
(in the sense of requirements map).
- getAllHyponyms(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- getAllHyponymsTransitive(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- getAllInstances(TreeSet<String>) - Method in class com.articulate.sigma.KB
-
This method retrieves all instances of the classes named in the input set.
- getAllInstances(String) - Method in class com.articulate.sigma.KB
-
This method retrieves all instances of the class named in the input String.
- getAllNamespaceDelimiters() - Method in class com.articulate.sigma.DocGen
-
Returns an ArrayList of namespace delimiter Strings gathered
from all loaded KBs, obtained by collecting statements formed
with the predicate docGenNamespaceDelimiter.
- getAllNonRelTerms(KB, ArrayList<String>) - Static method in class com.articulate.sigma.HTMLformatter
-
- getAllRelTerms(KB, ArrayList<String>) - Static method in class com.articulate.sigma.HTMLformatter
-
- getAllRest() - Static method in class com.articulate.sigma.DB
-
- getAllSub(String, String) - Method in class com.articulate.sigma.KB
-
Get all children of the given term following instance and
subclass relations as well as the indicated rel
- getAllSuperClasses(Set<String>) - Method in class com.articulate.sigma.KB
-
This method retrieves the upward transitive closure of all Class names
contained in the input set.
- getAlphaAfter(String, int) - Method in class com.articulate.sigma.KB
-
Get the alphabetically num higher neighbor of this initial term, which must exist
in the current KB otherwise an empty string is returned.
- getAlphaBefore(String, int) - Method in class com.articulate.sigma.KB
-
Get the alphabetically num lower neighbor of this initial term, which must exist
in the current KB otherwise an empty string is returned.
- getAlphaList(KB) - Method in class com.articulate.sigma.DocGen
-
- getArgType(String, int) - Method in class com.articulate.sigma.KB
-
Returns the
type (SUO-KIF SetOrClass name) for any argument in argPos position of an
assertion formed with the SUO-KIF Relation reln.
- getArgTypeClass(String, int) - Method in class com.articulate.sigma.KB
-
Returns the
type (SUO-KIF SetOrClass name) for any argument in argPos position of an
assertion formed with the SUO-KIF Relation reln.
- getArgument(int) - Method in class com.articulate.sigma.Formula
-
Return the numbered argument of the given formula.
- getArity(String) - Method in class com.articulate.sigma.KBcache
-
An ArrayList utility method
- getArticle(String, int, int, String) - Static method in class com.articulate.sigma.nlg.NLGUtils
-
Generate a linguistic article appropriate to how many times in a
paraphrase a particular type has already occurred.
- getAttribute(String) - Method in class com.articulate.sigma.SimpleElement
-
- getAttributeNames() - Method in class com.articulate.sigma.SimpleElement
-
- getBareSUMOTerm(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Get a SUMO term minus its &% prefix and one character mapping
suffix.
- getBestDefaultSense(String) - Static method in class com.articulate.sigma.wordNet.WSD
-
Get the POS-prefixed synset that represents the best guess at
meaning for a word.
- getBestDefaultSense(String, int) - Static method in class com.articulate.sigma.wordNet.WSD
-
Get the POS-prefixed synset that represents the best guess at
meaning for a word with a given part of speech.
- getBestDefaultSUMO(String) - Static method in class com.articulate.sigma.wordNet.WSD
-
Get the SUMO term that represents the best guess at
meaning for a word.
- getBestDefaultSUMOsense(String, int) - Static method in class com.articulate.sigma.wordNet.WSD
-
Get the SUMO term that represents the best guess at
meaning for a word.
- getCaseRole(Collection<String>) - Static method in enum com.articulate.sigma.nlg.CaseRole
-
From the input list, return the first string that is a valid case role.
- getCaseRolesForGrammarPosition(String, SVOElement.SVOGrammarPosition) - Static method in class com.articulate.sigma.nlg.SVOGrammar
-
Return the case roles most appropriate for a given grammar role and a verb.
- getCaseRolesForGrammarRole(String, SVOElement.SVOGrammarPosition) - Method in interface com.articulate.sigma.nlg.VerbProperties
-
Return a list of case roles for the given verb and the given grammar role.
- getCaseRolesForGrammarRole(String, SVOElement.SVOGrammarPosition) - Method in class com.articulate.sigma.nlg.VerbPropertiesSimpleImpl
-
Return a list of case roles for the given verb and the given grammar role.
- getCharset() - Static method in class com.articulate.sigma.StringUtil
-
Returns a String denoting a character encoding scheme.
- getChildByFirstTag(String) - Method in class com.articulate.sigma.SimpleElement
-
- getChildClasses(String) - Method in class com.articulate.sigma.KBcache
-
return child classes for the given cl from subclass expressions.
- getChildElements() - Method in class com.articulate.sigma.SimpleElement
-
- getChildInstances(String) - Method in class com.articulate.sigma.KBcache
-
return child classes for the given cl from subclass expressions.
- getChildTerms(String, String) - Method in class com.articulate.sigma.KBcache
-
return child term for the given cl from rel expressions.
- getClauses() - Method in class com.articulate.sigma.Formula
-
Returns a List of List objects.
- getClientOntologyNames() - Static method in class com.articulate.sigma.DocGen
-
Returns a List of the names of all client ontologies currently
represented in any loaded KB.
- getClosestXmlDataType(KB, String) - Method in class com.articulate.sigma.DocGen
-
- getCodedIdentifiers(KB) - Method in class com.articulate.sigma.DocGen
-
Collects and returns the Set containing all known coded
identifiers in kb, including ISO code values stated to be such.
- getColumnNames(String, String) - Method in class com.articulate.delphi.Delphi
-
- getCommonParent(String, String) - Method in class com.articulate.sigma.KBcache
-
- getCompiledPattern(String) - Static method in class com.articulate.sigma.KB
-
This method returns a compiled regular expression Pattern object indexed by
key.
- getConsumedCaseRoles() - Method in class com.articulate.sigma.nlg.SVOElement
-
- getContainingComposites(KB, String) - Method in class com.articulate.sigma.DocGen
-
Travels up the HasXmlElement and HasXmlAttribute relation
hierarchies to collect all parents, and returns them in an
ArrayList.
- getContents(File) - Static method in class com.articulate.sigma.StringUtil
-
Fetch the entire contents of a text file, and return it in a String.
- getContextualDocumentation(KB, String, List) - Method in class com.articulate.sigma.DocGen
-
Returns the first documentation String obtained for term in kb,
using the List of namespaces or other contextualizing terms in
contexts.
- getControlBitValue(String) - Static method in class com.articulate.sigma.DocGen
-
- getControlTokens() - Static method in class com.articulate.sigma.DocGen
-
- getCountAxioms() - Method in class com.articulate.sigma.KB
-
Count the number of formulas in the knowledge base in order to present statistics
to the user.
- getCountRelations() - Method in class com.articulate.sigma.KB
-
Count the number of relations in the knowledge base in order to present statistics
to the user.
- getCountRules() - Method in class com.articulate.sigma.KB
-
Count the number of rules in the knowledge base in order to present statistics to
the user.
- getCountTerms() - Method in class com.articulate.sigma.KB
-
Count the
number of terms in the knowledge base in order to present statistics to
the user.
- getCurrProcessMap() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Return the Map for the top element of the stack.
- getCurrStackElement() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Return the topmost stack element
- getCurrStackFormulaArgs() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
For the current stack element, iterate through the List and collect their translations into a single list.
- getDatatypeTerms(KB, String, int) - Method in class com.articulate.sigma.DocGen
-
- getDateTime(String) - Static method in class com.articulate.sigma.StringUtil
-
Returns a date/time string corresponding to pattern.
- getDefaultImageFile() - Method in class com.articulate.sigma.DocGen
-
Returns the base filename plus filename suffix form of the logo
image file to be referenced during HTML document generation,
else returns an empty String if no value has been set.
- getDefaultImageFileMarkup() - Method in class com.articulate.sigma.DocGen
-
Returns the base filename plus filename suffix form of the logo
image file, wrapped in any additional markup required for the
intended rendering of the image.
- getDefaultNamespace() - Method in class com.articulate.sigma.DocGen
-
Returns the String denoting the default namespace
associated with this DocGen object.
- getDefaultPredicateNamespace() - Method in class com.articulate.sigma.DocGen
-
Returns the String denoting the default namespace for
predicates in the ontology associated with this DocGen
object.
- getDirectObject() - Method in class com.articulate.sigma.nlg.Sentence
-
- getDisplayFilter() - Method in class com.articulate.sigma.DocGen
-
Returns the DisplayFilter object associated with this DocGen
object, or null if no DisplayFilter has been set.
- getDocGen() - Method in class com.articulate.sigma.DocGen.PresentationNameComparator
-
- getDocGenControlBits() - Method in class com.articulate.sigma.DocGen
-
Returns the int value that represents the bit values used to
guide aspects of the document generation process for this
DocGen instance.
- getDocGenKey() - Method in class com.articulate.sigma.DocGen
-
Returns the String key that is the index for this particular
DocGen object.
- getDocumentation(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
- getDualOperator(String) - Static method in class com.articulate.sigma.Formula
-
Returns the dual logical operator of op, or null if op is not
an operator or has no dual.
- getElement(String) - Method in class com.articulate.sigma.Hotel.JSONElement
-
- getElementValue(String) - Method in class com.articulate.sigma.Hotel.JSONElement
-
- getEntailments() - Static method in class com.articulate.sigma.wordNet.WordNet
-
- getEntityProperties() - Method in class com.articulate.sigma.nlg.StackElement
-
Getter and setter for translated field.
- getError() - Method in class com.articulate.sigma.KBmanager
-
Get the error string for file loading.
- getErrors() - Method in class com.articulate.sigma.Formula
-
- getFactory() - Static method in class com.articulate.sigma.SInE
-
- getFactory() - Static method in class com.articulate.sigma.Vampire
-
- getFirstContainingClass(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a SUO-KIF constant that denotes the first containing
Class of term obtained in kb.
- getFirstDatatype(KB, String) - Method in class com.articulate.sigma.DocGen
-
- getFirstGeneralTerm(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns the first containing, subsuming, or superordinate
entity that can be found for term in kb.
- getFirstGeneralTerms(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a List of the first containing, subsuming, or
superordinate entities found for term in kb.
- getFirstHtmlFormatToken(KB, String) - Static method in class com.articulate.sigma.DocGen
-
Returns the first String token retrieved from ontology in kb
that denotes an HTML output format.
- getFirstInstances(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a List of the entities that are immediate instances of
term in kb.
- getFirstNChars(String, int) - Static method in class com.articulate.sigma.StringUtil
-
- getFirstSpecificTerms(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a List of the first instances or syntactic subordinate
entities that can be found for term in kb.
- getFirstSubClasses(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a List containing the immediate SUO-KIF subclasses of
term in kb.
- getFirstSubsumingTerm(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns the first purely "subsuming" entity that can be found
for term in kb, assuming that term denotes a Class or a
Relation.
- getFirstTermFormat(KB, String, List) - Method in class com.articulate.sigma.DocGen
-
Returns a String that is the first termFormat value obtained
for term in kb, else returns null if no termFormat value
exists.
- getFirstTermViaAskWithRestriction(int, String, int, String, int) - Method in class com.articulate.sigma.KB
-
Returns the
first term found that corresponds to targetArgnum in the Formulas
obtained from the method call askWithRestriction(argnum1, term1, argnum2,
term2).
- getFirstTermViaAWTR(int, String, int, String, int, String, int) - Method in class com.articulate.sigma.KB
-
Returns the
first SUO-KIF terms that matches the request, or null.
- getFirstTermViaPredicateSubsumption(String, int, String, int, boolean) - Method in class com.articulate.sigma.KB
-
Returns the
first SUO-KIF constant found via asks using relation and its
subrelations.
- getFoodWordSenses(ArrayList<String>) - Static method in class com.articulate.sigma.DB
-
- getFooterText() - Method in class com.articulate.sigma.DocGen
-
Returns the String that will be used as the footer text for
HTML document generation, else returns an empty String if no
footer text value has been set.
- getFormatMap(String) - Method in class com.articulate.sigma.KB
-
This method creates an association list (Map) of the natural language format
string and the relation name for which that format string applies.
- getFormulaArg(List<StackElement.FormulaArg>, String) - Static method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Read the given list of FormulaArgs for a given argument.
- getFormulaByKey(String) - Method in class com.articulate.sigma.KB
-
An accessor providing a Formula
- getFormulas() - Method in class com.articulate.sigma.KB
-
An accessor providing a TreeSet of un-preProcessed String representations of
Formulae.
- getIndirectObjects() - Method in class com.articulate.sigma.nlg.Sentence
-
- getInferenceBitValue() - Method in class com.articulate.sigma.KBmanager
-
Returns an int value, the bitwise interpretation of which
indicates the current configuration of inference parameter
(preference) settings.
- getInferenceType(String) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
- getInhibitDisplayRelations() - Method in class com.articulate.sigma.DocGen
-
Returns a Set containing the names of those predicates for
which diplay should be suppressed, and tries to create the Set
from docGenInhibitDisplayRelations statements found in the
current KB if the Set does not already exist.
- getInstance() - Static method in class com.articulate.delphi.Delphi
-
- getInstance() - Static method in class com.articulate.sigma.DocGen
-
- getInstance(String) - Static method in class com.articulate.sigma.DocGen
-
- getInstance(KB, String) - Static method in class com.articulate.sigma.DocGen
-
- getInstance() - Static method in class com.articulate.sigma.PasswordService
-
- getInstancesForType(String) - Method in class com.articulate.sigma.KBcache
-
Get all instances for the given input class
For example, given the class "Nation", getInstancesForType(Nation)
returns all instances, like "America", "Austria", "Albania", etc.
- getJaroWinklerDistance(String, String) - Static method in class com.articulate.sigma.Mapping
-
Jaro-Winkler Mapping Method
implemented by Gerard de Melo
- getKB() - Method in class com.articulate.sigma.DocGen
-
- getKB() - Method in class com.articulate.sigma.DocGen.PresentationNameComparator
-
- getKB(String) - Method in class com.articulate.sigma.KBmanager
-
Get the KB that has the given name.
- getKBName() - Method in class com.articulate.sigma.CCheck
-
- getKBnames() - Method in class com.articulate.sigma.KBmanager
-
Get the Set of KB names in this manager.
- getKeyFromSense(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Get the word_POS_num sense key corresponding to a 9 digit synset.
- getKeyword(String, String) - Static method in class com.articulate.sigma.nlg.NLGUtils
-
- getKeywordMap() - Static method in class com.articulate.sigma.nlg.NLGUtils
-
- getKifNamespaceDelimiter() - Static method in class com.articulate.sigma.DocGen
-
- getKifNamespaceDelimiter() - Static method in class com.articulate.sigma.StringUtil
-
Returns the string used in SUO-KIF to separate a namespace
prefix from the term it qualifies.
- getLevenshteinDistance(String, String) - Static method in class com.articulate.sigma.Mapping
-
LevenshteinDistance(char s[1..m], char t[1..n])
courtesy of Wikipedia
http://en.wikipedia.org/wiki/Levenshtein_distance
int LevenshteinDistance(char s[1..m], char t[1..n])
- getLineSeparator() - Method in class com.articulate.sigma.DocGen
-
- getLineSeparator() - Static method in class com.articulate.sigma.StringUtil
-
Returns the default line separator token for the current
runtime platform.
- getLoadFormatMapsAttempted() - Method in class com.articulate.sigma.KB
-
- getLocalReferenceBaseName() - Static method in class com.articulate.sigma.StringUtil
-
- getMatches(String, String, ArrayList<String>) - Static method in class com.articulate.sigma.KB
-
This method finds regular expression matches in an input string using a
compiled Pattern and binding group index retrieved with patternKey.
- getMatches(String, String) - Static method in class com.articulate.sigma.KB
-
This method finds regular expression matches in an input string using a
compiled Pattern and binding group index retrieved with patternKey, and
returns the results, if any, in an ArrayList.
- getMgr() - Static method in class com.articulate.sigma.KBmanager
-
Get the one instance of KBmanager from its class variable.
- getMostRelevantType(KB, HashSet<String>) - Method in class com.articulate.sigma.FormulaPreprocessor
-
Get the most specific type for variables.
- getMultiWords() - Method in class com.articulate.sigma.wordNet.WordNet
-
- getNamespaceDelimiters(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a List of all Strings used as namespace delimiters in
terms defined or referred to in ontology, as specified by
statements formed with the SUO-KIF predicate
docGenNamespaceDelimiter.
- getNamespacePrefix(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns the namespace prefix of term based on the namespaces
known in kb, else returns the empty String if term appears to
have no namespace prefix.
- getNamespacePrefixes() - Method in class com.articulate.sigma.DocGen
-
Returns an ArrayList of all known namespace prefixes sorted by
length, from longest to shortest.
- getNamespaces() - Method in class com.articulate.sigma.DocGen
-
Returns a List of all SUO-KIF terms that denote namespaces in
any loaded KB, obtained by gathering statements formed with the
predicates inNamespace and ontologyNamespace as well as
explicit instance statements.
- getNamespaces(KB, String, boolean) - Method in class com.articulate.sigma.DocGen
-
Returns a List of all SUO-KIF terms denoting namespaces in kb
or in ontology, using the predicates inNamespace and
ontologyNamespace.
- getNearestContainingClass(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns the first containing Class that can be found for term
in kb.
- getNearestNonRelations(String) - Method in class com.articulate.sigma.KB
-
Get the neighbors of this initial lowercase term (relation).
- getNearestRelations(String) - Method in class com.articulate.sigma.KB
-
Get the neighbors of this initial uppercase term (class or function).
- getNewInstance(String) - Static method in class com.articulate.sigma.SInE
-
- getNewInstance(String) - Static method in class com.articulate.sigma.Vampire
-
This static factory method returns a new Vampire instance.
- getNewInstanceWithFormulas(Iterable) - Static method in class com.articulate.sigma.Vampire
-
- getNumber(int) - Static method in enum com.articulate.sigma.nlg.SVOElement.NUMBER
-
Given a count, return singular or plural.
- getOldInferenceBitValue() - Method in class com.articulate.sigma.KBmanager
-
Returns the last cached inference bit value setting.
- getOntology() - Method in class com.articulate.sigma.DocGen
-
Returns a term denoting the default Ontology for this DocGen
object if an Ontology has been set, and tries very hard to find
a relevant Ontology if one has not been set.
- getOntology(KB) - Method in class com.articulate.sigma.DocGen
-
Returns a term denoting the default Ontology for this DocGen
object if an Ontology has been set, and tries very hard to find
a relevant Ontology if one has not been set.
- getOntologyNamespaces(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a List of all SUO-KIF terms denoting those namespaces
containing terms that are defined in, or occur in, statements
in ontology.
- getOriginalVar(String, Map<String, String>) - Static method in class com.articulate.sigma.Clausifier
-
This method finds the original variable that corresponds to a new
variable.
- getOutputDirectoryPath() - Method in class com.articulate.sigma.DocGen
-
Returns the canonical pathname String of the current directory
in which output files will be (are being) saved.
- getOutputFormatTokens(KB, String) - Static method in class com.articulate.sigma.DocGen
-
Returns a List of String tokens that determine how the output
should be formatted.
- getOutputParentDir() - Method in class com.articulate.sigma.DocGen
-
Returns a File object representing the directory in which the
subdirectories for the various types of output files will be
located.
- getParentClasses(String) - Method in class com.articulate.sigma.KBcache
-
return parent classes for the given cl from subclass expressions.
- getParentClassesOfInstance(String) - Method in class com.articulate.sigma.KBcache
-
return classes for the given instance cl.
- getParseMode() - Method in class com.articulate.sigma.KIF
-
- getPatternGroupIndex(String) - Static method in class com.articulate.sigma.KB
-
This method returns the int value that identifies the regular expression
binding group to be returned when there is a match.
- getPermutations(int, BiPredicate<Integer, Integer>) - Static method in class com.articulate.sigma.FormulaUtil
-
Generates all permutations of the given size which are valid according to the given callback function.
- getPolarity() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Getter and setter for polarity field.
- getPolarity() - Method in class com.articulate.sigma.nlg.SumoProcessCollector
-
Getter and setter for polarity field.
- getPOSfromKey(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Extract the POS from a word_POS_num sense key.
- getPredicates(KB, boolean) - Method in class com.articulate.sigma.DocGen
-
Collects and returns a List of all Predicates in kb.
- getPref(String) - Method in class com.articulate.sigma.KBmanager
-
Get the preference corresponding to the given kef.
- getPrepositionForCaseRole(String, CaseRole) - Static method in class com.articulate.sigma.nlg.Preposition
-
- getPrepositionForCaseRole(String, CaseRole) - Method in interface com.articulate.sigma.nlg.VerbProperties
-
Return a list of prepositions for the given verb and the given case role.
- getPrepositionForCaseRole(String, CaseRole) - Method in class com.articulate.sigma.nlg.VerbPropertiesSimpleImpl
-
Return a list of prepositions for the given verb and the given case role.
- getPrevStackElement() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Return the stack element that is second from the top
- getProperFormOfEntity(String, KB) - Static method in class com.articulate.sigma.nlg.SumoProcessCollector
-
Retain capitalization of names and reified instances by lower-casing if the entity is an Entity.
- getRangeValueList(KB, String) - Static method in class com.articulate.sigma.DocGen
-
Returns an ArrayList of Strings extracted from the range
argument (arg2) of the first retrieved statement formed with
predicate.
- getRelationsByKB() - Method in class com.articulate.sigma.DocGen
-
- getREMatch(String) - Method in class com.articulate.sigma.KB
-
Takes a term
(interpreted as a Regular Expression) and returns an ArrayList containing
every term in the KB that has a match with the RE.
- getRequiredFormulas(Collection<String>) - Method in class com.articulate.sigma.SInE
-
Returns formulas that are transitively required by given symbols
(in the sense of requirements map).
- getRequiredSymbols(Collection<String>) - Method in class com.articulate.sigma.SInE
-
Returns all symbols transitively required by given symbols
(in the sense of requirements map).
- getRole() - Method in class com.articulate.sigma.User
-
- getRolesAndEntities() - Method in class com.articulate.sigma.nlg.SumoProcessCollector
-
Get all the roles and their entities for this event.
- getRowVarMaxAritiesWithOtherArgs(HashMap<String, HashSet<String>>, KB, Formula) - Static method in class com.articulate.sigma.RowVars
-
given in @param ar which is a list for each variable of all the
predicates in which it appears as an argument, find the maximum
arity allowed by predicate arities, as given by
- getSafeNamespaceDelimiter() - Static method in class com.articulate.sigma.DocGen
-
- getSafeNamespaceDelimiter() - Static method in class com.articulate.sigma.StringUtil
-
Returns a "safe" alphanumeric ASCII string that can be
substituted for the W3C or SUO-KIF string delimiting a
namespace prefix from an unqualified term name.
- getSenseFromKey(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Extract the synset corresponding to a word_POS_num sense key.
- getSenseKeysFromWord(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
Get all the synsets for a given word.
- getSimplified() - Method in class com.articulate.sigma.DocGen
-
Returns true if a termFormat value obtained for term will be
displayed during HTML rendering rather than the term name
itself.
- getSingularPlural() - Method in class com.articulate.sigma.nlg.SVOElement
-
- getSortedTermFrequency() - Method in class com.articulate.sigma.KB
-
- getSourceFile() - Method in class com.articulate.sigma.Formula
-
- getStringReplacement(String) - Method in class com.articulate.sigma.DocGen
-
Returns the String replacement for fromString, if one can be
located, else just returns fromString.
- getStringReplacementMap() - Method in class com.articulate.sigma.DocGen
-
Returns the Map to be used for HTML character entity to ASCII
replacements, attempting to build it from
docGenCodeMapTranslation statements found in the KB if the Map
does not already exist.
- getStyleSheet() - Method in class com.articulate.sigma.DocGen
-
Returns the base filename plus filename suffix form of the
Cascading Style Sheet file to be referenced during HTML
document generation, else returns an empty String if no value
has been set.
- getSubComponents(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a List containing those terms that are immediate
syntactic subordinates of term in kb.
- getSubject() - Method in class com.articulate.sigma.nlg.Sentence
-
- getSubordinateAttributes(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a List containing the subordinate XmlAttributes of
kifTerm, else return an empty List.
- getSubordinateElements(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a List containing the subordinate XmlElements of
kifTerm, else return an empty List.
- getSubstringDistance(String, String) - Static method in class com.articulate.sigma.Mapping
-
Substring Mapping Method: returns 1 if the two strings
are identical, scores >1 if one string is a substring of
the other, and Integer.MAX_VALUE if there is no substring
match
This approach is based on:
John Li, "LOM: A Lexicon-based Ontology Mapping Tool",
Proceedings of the Performance Metrics for Intelligent
Systems (PerMIS.'04), 2004.
- getSUMOMapping(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
Get the SUMO mapping for a POS-prefixed synset
- getSUMOMappingSuffix(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Get a SUMO term mapping suffix.
- getSumoProcess() - Method in class com.articulate.sigma.nlg.SumoProcessCollector
-
- getSumoProcessMap() - Method in class com.articulate.sigma.nlg.StackElement
-
- getSuperComponents(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a List containing those terms that are immediate
syntactic superiors or "containers" of term in kb.
- getSurfaceForm() - Method in class com.articulate.sigma.nlg.SumoProcess
-
- getSurfaceForm() - Method in class com.articulate.sigma.nlg.SVOElement
-
- getSurfaceFormForNoun(String, KB) - Method in class com.articulate.sigma.nlg.SumoProcessEntityProperty
-
For a given property, combine it with the given noun into a natural-sounding expression.
- getSymbols(String) - Method in class com.articulate.sigma.SInE
-
Returns all symbols occurring in given formula.
- getSymbols(Collection<String>) - Method in class com.articulate.sigma.SInE
-
- getSynsetsFromSUMO(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
get all synsets corresponding to a SUMO term
- getSynsetsFromSUMOList(Collection<String>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
get all synsets corresponding to a list of SUMO terms
- getSyntacticCompositeTerms(KB, String, int) - Method in class com.articulate.sigma.DocGen
-
- getSyntacticExtensionTerms(KB, String, int, boolean) - Method in class com.articulate.sigma.DocGen
-
- getSyntacticSubordinateTerms(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a List of the entities that are immediate syntactic
subordinates of term in kb.
- getSyntacticUnionTerms(KB, String, int) - Method in class com.articulate.sigma.DocGen
-
- getTagName() - Method in class com.articulate.sigma.SimpleElement
-
- getTermFormat(KB, String) - Static method in class com.articulate.sigma.Mapping
-
Get the termFormat label for a term.
- getTermFormatMap(String) - Method in class com.articulate.sigma.KB
-
This method creates a dictionary (Map) of SUO-KIF term symbols -- the keys --
and a natural language string for each key that is the preferred name for
the term -- the values -- in the context denoted by lang.
- getTermNamespace(KB, String) - Method in class com.articulate.sigma.DocGen
-
- getTermPresentationName(KB, String) - Method in class com.articulate.sigma.DocGen
-
- getTermPresentationName(KB, String, String) - Method in class com.articulate.sigma.DocGen
-
- getTermPresentationName(KB, String, String, boolean) - Method in class com.articulate.sigma.DocGen
-
- getTerms() - Method in class com.articulate.sigma.KB
-
Returns a SortedSet of Strings, which are all the terms in the KB.
- getTermsViaAsk(int, String, int) - Method in class com.articulate.sigma.KB
-
Returns an
ArrayList containing the terms (Strings) that correspond to targetArgnum
in the ground atomic Formulae in which knownArg is in the argument
position knownArgnum.
- getTermsViaAskWithRestriction(int, String, int, String, int, Set<String>) - Method in class com.articulate.sigma.KB
-
Returns an
ArrayList containing the terms (Strings) that correspond to targetArgnum
in the Formulas obtained from the method call askWithRestriction(argnum1,
term1, argnum2, term2).
- getTermsViaAskWithRestriction(int, String, int, String, int) - Method in class com.articulate.sigma.KB
-
Returns an
ArrayList containing the terms (Strings) that correspond to targetArgnum
in the Formulas obtained from the method call askWithRestriction(argnum1,
term1, argnum2, term2).
- getTermsViaAWTR(int, String, int, String, int, String, int) - Method in class com.articulate.sigma.KB
-
Returns an
ArrayList containing the SUO-KIF terms that match the request.
- getTermsViaPredicateSubsumption(String, int, String, int, boolean, Set) - Method in class com.articulate.sigma.KB
-
Returns an
ArrayList containing SUO-KIF constants, possibly retrieved via multiple
asks that recursively use relation and all of its subrelations.
- getTermsViaPredicateSubsumption(String, int, String, int, boolean) - Method in class com.articulate.sigma.KB
-
Returns an
ArrayList containing SUO-KIF constants, possibly retrieved via multiple
asks that recursively use relation and all of its subrelations.
- getText() - Method in class com.articulate.sigma.SimpleElement
-
- getTheClausalForm() - Method in class com.articulate.sigma.Formula
-
Returns a List of the clauses that together constitute the
resolution form of this Formula.
- getTheTptpFormulas() - Method in class com.articulate.sigma.Formula
-
Returns an ArrayList of the TPTP formulas (Strings) that
together constitute the TPTP translation of theFormula.
- getTitleText() - Method in class com.articulate.sigma.DocGen
-
Returns the String that will be used as the title text for HTML
document generation, else returns an empty String if no title
text value has been set.
- getTocHeader() - Method in class com.articulate.sigma.DocGen
-
Returns the String header to be used in generated HTML files.
- getTok() - Method in class com.articulate.sigma.wordNet.BrownCorpus.Token
-
- getTransitiveClosureViaPredicateSubsumption(String, int, String, int, boolean) - Method in class com.articulate.sigma.KB
-
Returns an
ArrayList containing the transitive closure of relation starting from
idxTerm in position idxArgnum.
- getTranslated() - Method in class com.articulate.sigma.nlg.StackElement
-
Getter and setter for translated field.
- getTranslation() - Method in class com.articulate.sigma.nlg.StackElement
-
- getType() - Method in class com.articulate.sigma.nlg.LanguageFormatter.RelationArgumentAnnotation
-
- getType() - Method in class com.articulate.sigma.nlg.LanguageFormatter.VariableAnnotation
-
- getType() - Method in class com.articulate.sigma.wordNet.BrownCorpus.Token
-
- getValence(String) - Method in class com.articulate.sigma.KB
-
This method tries to find or compute a valence for the input relation.
- getVarMap() - Method in class com.articulate.sigma.Formula
-
Returns a map of the variable renames that occurred during the
translation of this Formula into the clausal (resolution) form
accessible via this.getClauses().
- getVerb() - Method in class com.articulate.sigma.nlg.Sentence
-
- getVerb() - Method in class com.articulate.sigma.nlg.SumoProcess
-
- getVerbRootForm(String) - Static method in class com.articulate.sigma.nlg.SumoProcess
-
Get the root of the given verb.
- getW3cNamespaceDelimiter() - Static method in class com.articulate.sigma.DocGen
-
- getW3cNamespaceDelimiter() - Static method in class com.articulate.sigma.StringUtil
-
Returns the string preferred by W3C to separate a namespace
prefix from the term it qualifies.
- getWnFile(String, String) - Method in class com.articulate.sigma.wordNet.WordNet
-
Returns the WordNet File object corresponding to key.
- getWordFromKey(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Extract the word from a word_POS_num sense key.
- getWordSenses(ArrayList<String>) - Static method in class com.articulate.sigma.DB
-
- getWordsFromSynset(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
- getWordsFromSynsetList(Collection<String>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
get all words corresponding to a list of synsets
- getWordsFromTerm(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
Get the words and synsets corresponding to a SUMO term.
- glosses - Variable in class com.articulate.sigma.wordNet.OMWordnet
-
- Graph - Class in com.articulate.sigma
-
Handle operations for creating a graphical representation of partial
ordering relations.
- Graph() - Constructor for class com.articulate.sigma.Graph
-
- GT - Static variable in class com.articulate.sigma.Formula
-
- GTET - Static variable in class com.articulate.sigma.Formula
-
- guessGender(String) - Static method in class com.articulate.sigma.DB
-
- GZIP - Static variable in class com.articulate.sigma.Base64
-
Specify that data should be gzip-compressed in second bit.
- IF - Static variable in class com.articulate.sigma.Formula
-
- IFF - Static variable in class com.articulate.sigma.Formula
-
- imageNetLinks() - Method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Import links from www.image-net.org that are linked to
WordNet and links them to SUMO terms when the synset has a
directly equivalent SUMO term
- immediateParents(String) - Method in class com.articulate.sigma.KB
-
- indent - Static variable in class com.articulate.sigma.Graph
-
- indent(int, String) - Static method in class com.articulate.sigma.StringUtil
-
- indentChars(String, int) - Static method in class com.articulate.sigma.DocGen
-
Returns a String consisting of str concatenated indent times.
- INDEX_FILE_NAME - Static variable in class com.articulate.sigma.DocGen
-
The default base plus file suffix name for the main index file
for a set of HTML output files.
- InferenceEngine - Class in com.articulate.sigma
-
- InferenceEngine() - Constructor for class com.articulate.sigma.InferenceEngine
-
- InferenceEngine.EngineFactory - Class in com.articulate.sigma
-
- InferenceTestSuite - Class in com.articulate.sigma
-
A framework for doing a series of assertions and queries, and for comparing
the actual result of queries against an expected result.
- InferenceTestSuite() - Constructor for class com.articulate.sigma.InferenceTestSuite
-
- inferenceType - Variable in class com.articulate.sigma.ProofStep
-
A String of the inference type, e.g.
- inferenceUnitTest(String, KB, ArrayList, ArrayList<String>) - Static method in class com.articulate.sigma.InferenceTestSuite
-
The method will be called in InferenceTest in unit test;
It takes a TQG file path, reading the kif statements and queries and expected answers;
It parses E's inference output for actual answers;
Note that this procedure DOES NOT delete any prior user assertions.
- inheritDomains() - Method in class com.articulate.sigma.KBcache
-
Find domain and domainSubclass definitions that impact a child
relation.
- inhibitDisplayRelations - Variable in class com.articulate.sigma.DocGen
-
A set of the predicates that should not be displayed to the user.
- init(String) - Static method in class com.articulate.sigma.nlg.NLGUtils
-
- initialized - Static variable in class com.articulate.sigma.KBmanager
-
- initializeOnce() - Method in class com.articulate.sigma.KBmanager
-
Reads in the KBs and other parameters defined in the XML
configuration file, or uses the default parameters.
- initializeOnce(String) - Method in class com.articulate.sigma.KBmanager
-
Reads in the KBs and other parameters defined in the XML
configuration file, or uses the default parameters.
- initializing - Static variable in class com.articulate.sigma.KBmanager
-
- initiateCCheck(KB, String, String, String, String, int) - Static method in class com.articulate.sigma.KBmanager
-
- initNeeded - Static variable in class com.articulate.sigma.trans.OWLtranslator
-
- initNeeded - Static variable in class com.articulate.sigma.wordNet.WordNet
-
- initOnce - Static variable in class com.articulate.sigma.EditGUI
-
- initOnce() - Static method in class com.articulate.sigma.EditGUI
-
- initOnce(String) - Static method in class com.articulate.sigma.trans.OWLtranslator
-
- initOnce() - Static method in class com.articulate.sigma.wordNet.WordNet
-
Read the WordNet files only on initialization of the class.
- InputStream(InputStream) - Constructor for class com.articulate.sigma.Base64.InputStream
-
- InputStream(InputStream, int) - Constructor for class com.articulate.sigma.Base64.InputStream
-
- insertFormulaArgs(Formula) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Insert the given formula arguments into the topmost element of the stack.
- instanceOfInstanceP(KB) - Static method in class com.articulate.sigma.KButilities
-
Find all cases of where (instance A B) (instance B C) as
well as all cases of where (instance A B) (instance B C)
(instance C D).
- instances(String) - Method in class com.articulate.sigma.KB
-
Get all instances of a given term
- instances - Variable in class com.articulate.sigma.KBcache
-
Parent relations from instances, including those that are
transitive through (instance,instance) relations, such as
subAttribute and subrelation
- instancesOf(String) - Method in class com.articulate.sigma.KB
-
Determine whether a particular term is an immediate instance, which has a statement
of the form (instance term otherTerm).
- INSTANTIATED_QUERY - Static variable in class com.articulate.sigma.ProofStep
-
- instantiatePredVars(Formula, KB) - Static method in class com.articulate.sigma.PredVarInst
-
- instantiateVariables() - Method in class com.articulate.sigma.Clausifier
-
Create constants to fill variables.
- insts - Variable in class com.articulate.sigma.KBcache
-
A temporary list of instances built during creation of the
children map, in order to efficiently create the instances map
- instTransRels - Variable in class com.articulate.sigma.KBcache
-
- integerToPaddedString(int) - Static method in class com.articulate.sigma.StringUtil
-
- interactive() - Static method in class com.articulate.sigma.wordNet.WSD
-
- intersect(List<Set<VariableMapping>>, List<Set<VariableMapping>>) - Static method in class com.articulate.sigma.VariableMapping
-
- isAttribute(String) - Method in class com.articulate.sigma.KB
-
Returns
true if i is an Attribute, else returns false.
- isAttribute(KB, String) - Static method in class com.articulate.sigma.KButilities
-
- isBalancedList() - Method in class com.articulate.sigma.Formula
-
Returns true if the Formula contains no unbalanced parentheses
or unbalanced quote characters, otherwise returns false.
- isBinary() - Method in class com.articulate.sigma.Formula
-
Returns true if formula is a simple binary relation (note
that because the argument list includes the predicate, which is
argument 0, there will be three elements)
- isCached() - Method in class com.articulate.sigma.Formula
-
Test whether the Formula is automatically created by caching
- isChildOf(String, String) - Method in class com.articulate.sigma.KB
-
Returns
true if i is c, is an instance of c, or is subclass of c, or is
subAttribute of c, else returns false.
- isClass(KB, String) - Static method in class com.articulate.sigma.KButilities
-
- isCommutative(String) - Static method in class com.articulate.sigma.Formula
-
A static utility method.
- isCommutative(String) - Static method in class com.articulate.sigma.KB
-
A static utility method.
- isComparisonOperator(String) - Static method in class com.articulate.sigma.Formula
-
Returns true if term is a SUO-KIF predicate for comparing two
(typically numeric) terms, else returns false.
- isComposite(KB, String) - Static method in class com.articulate.sigma.DocGen
-
Returns true if term is an instance or subclass of
CompositeContentBearingObject in kb, else returns false.
- isDataType(KB, String) - Method in class com.articulate.sigma.DocGen
-
- isDigitString(String) - Static method in class com.articulate.sigma.StringUtil
-
Returns true if every char in input is a digit char, else
returns false.
- isEmpty() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Is the stack empty?
- isEmpty(Object) - Static method in class com.articulate.sigma.SetUtil
-
Returns true if obj is not a Collection (including if obj ==
null) or if obj is an empty Collection.
- isEmptyList(Object) - Static method in class com.articulate.sigma.KB
-
- isExistentiallyQuantified() - Method in class com.articulate.sigma.Formula
-
Tests if this formula is an existentially quantified formula
- isExplicitDisjoint(HashMap<String, HashSet<String>>, String, String) - Method in class com.articulate.sigma.KBcache
-
return true if rel1 and rel2 are explicitly defined as disjoint
relations; otherwise return false.
- isFile(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
- isFunction(String) - Static method in class com.articulate.sigma.Formula
-
Returns true if term is a SUO-KIF function, else returns false.
- isFunction(String) - Method in class com.articulate.sigma.KB
-
Returns
true if i is an instance of Function in any loaded KB, else returns
false.
- isFunction(KB, String) - Static method in class com.articulate.sigma.KButilities
-
- isFunctionalTerm() - Method in class com.articulate.sigma.Formula
-
Test whether a Formula is a functional term.
- isFunctionalTerm(String) - Static method in class com.articulate.sigma.Formula
-
Test whether a Formula is a functional term
- isGround(String) - Static method in class com.articulate.sigma.Formula
-
Returns true if formula is a valid formula with no variables,
else returns false.
- isGround() - Method in class com.articulate.sigma.Formula
-
Returns true if formula does not have variables, else returns false.
- isHigherOrder() - Method in class com.articulate.sigma.Formula
-
Test whether a Formula contains a Formula as an argument to
other than a logical operator.
- isHorn(KB) - Method in class com.articulate.sigma.Formula
-
Returns true only if this Formula, is a horn clause or is simply
modified to be horn by breaking out a conjunctive conclusion.
- isHyponym(String, String) - Method in class com.articulate.sigma.wordNet.WordNet
-
- isHyponymousWord(String, HashSet<String>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- isHyponymRecurse(String, String, ArrayList<String>) - Method in class com.articulate.sigma.wordNet.WordNet
-
- isInstance(String) - Method in class com.articulate.sigma.KB
-
*************************************************************
- isInstance(KB, String) - Static method in class com.articulate.sigma.KButilities
-
- isInstanceOf(KB, String, String) - Static method in class com.articulate.sigma.DocGen
-
Returns true if i is an instance of c, else returns false.
- isInstanceOf(String, String) - Method in class com.articulate.sigma.KB
-
Returns
true if i is an instance of c, else returns false.
- isInstanceOf(String, String) - Method in class com.articulate.sigma.KBcache
-
Returns true if i is an instance of c, else returns false.
- isInstanceOfCache - Static variable in class com.articulate.sigma.DocGen
-
Supports memoization for isInstanceOf(kb, c1, c2).
- isInteger(String) - Static method in class com.articulate.sigma.StringUtil
-
Returns true if input is a String is an integer (of any size)
- isKnownCaseRole(String) - Static method in enum com.articulate.sigma.nlg.CaseRole
-
Is the input string a valid case role?
Note that this method is case-sensitive.
- isLegalForDisplay(DocGen, String) - Method in interface com.articulate.sigma.DisplayFilter
-
Returns true if suoKifTerm may be displayed or included in the
particular UI text or other output generated by the DocGen
object dg.
- isLegalForDisplay(DocGen, String) - Method in interface com.articulate.sigma.DocGen.DisplayFilter
-
Returns true if suoKifTerm may be displayed or included in the
particular UI text or other output generated by the DocGen
object dg.
- isLegalForDisplay(String) - Method in class com.articulate.sigma.DocGen
-
Returns true if statements that include term and occur in the
kb and ontology associated with this DocGen object may be
displayed or output (at all, in any form).
- isLocalTermReference(String) - Static method in class com.articulate.sigma.StringUtil
-
- isLogicalOperator(String) - Static method in class com.articulate.sigma.Formula
-
Returns true if term is a standard FOL logical operator, else
returns false.
- isMathFunction(String) - Static method in class com.articulate.sigma.Formula
-
Returns true if term is a SUO-KIF mathematical function, else
returns false.
- isNegatedQuery(String, String) - Static method in class com.articulate.sigma.Formula
-
Compare the given formula to the negated query and return whether
they are the same (minus the negation).
- isNonEmptyString(String) - Static method in class com.articulate.sigma.DocGen
-
- isNonEmptyString(Object) - Static method in class com.articulate.sigma.StringUtil
-
- isNumeric(String) - Static method in class com.articulate.sigma.StringUtil
-
- isQuantifier(String) - Static method in class com.articulate.sigma.Formula
-
Test whether a predicate is a logical quantifier
- isQuantifier(String) - Static method in class com.articulate.sigma.KB
-
A static utility method.
- isQuantifierList(String, String) - Static method in class com.articulate.sigma.Formula
-
Test whether a list with a predicate is a quantifier list
- isQuery(String, String) - Static method in class com.articulate.sigma.Formula
-
Compare the given formula to the query and return whether
they are the same.
- isQuotedString(String) - Static method in class com.articulate.sigma.StringUtil
-
Returns true if input appears to be a quoted String, else
returns false.
- isRelation(KB, String) - Static method in class com.articulate.sigma.KButilities
-
- isRelationInAnyKB(String) - Static method in class com.articulate.sigma.KB
-
Returns
true if i is an instance of c in any loaded KB, else returns false.
- isRule() - Method in class com.articulate.sigma.Formula
-
Returns true only if this Formula, explicitly quantified or
not, starts with "=>" or "<=>", else returns false.
- isSimpleClause(KB) - Method in class com.articulate.sigma.Formula
-
Test whether a Formula is a simple list of terms (including
functional terms).
- isSimpleNegatedClause(KB) - Method in class com.articulate.sigma.Formula
-
Test whether a Formula is a simple clause wrapped in a
negation.
- isSkipNode(KB, String) - Static method in class com.articulate.sigma.DocGen
-
Returns true if term should be skipped over during printing,
else returns false.
- isSkolemTerm(String) - Static method in class com.articulate.sigma.Formula
-
Returns true if term is a SUO-KIF Skolem term, else returns false.
- isStopWord(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
Check whether the word is a stop word
- isStringWithSpaces(String) - Static method in class com.articulate.sigma.StringUtil
-
Returns true if input is a String containing some whitespace
chars, else returns false.
- isSubAttribute(String, String) - Method in class com.articulate.sigma.KB
-
Returns
true if the KB cache supports the conclusion that c1 is a subAttribute of
c2, else returns false.
- isSubclass(String, String) - Method in class com.articulate.sigma.KB
-
Returns
true if the subclass cache supports the conclusion that c1 is a subclass
of c2, else returns false.
- isTerm(String) - Static method in class com.articulate.sigma.Formula
-
Returns true if term is a valid SUO-KIF term, else
returns false.
- isUniversallyQuantified() - Method in class com.articulate.sigma.Formula
-
Tests if this formula is an universally quantified formula
- isUri(String) - Static method in class com.articulate.sigma.StringUtil
-
Returns true if input appears to be a URI string, else returns
false.
- isValidKey(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Check whether a sense key format is valid
- isValidSynset8(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Check whether a synset format is valid
- isValidSynset9(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Check whether a synset format is valid
- isValidTerm(String) - Static method in class com.articulate.sigma.Mapping
-
check whether a term is valid (worthy of being compared)
- isVariable(String) - Static method in class com.articulate.sigma.Formula
-
Test whether a String formula is a variable
- isVariable() - Method in class com.articulate.sigma.Formula
-
Test whether the Formula is a variable
- isVariable(String) - Static method in class com.articulate.sigma.KB
-
A static utility method.
- isVariable(String) - Static method in class com.articulate.sigma.nlg.NLGStringUtils
-
Is input string a variable (i.e., does it start with a question mark)?
- isVisible() - Method in class com.articulate.sigma.KB
-
- isXmlAttribute(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a List that constitutes the graph containing those XML
elements and attributes syntactically subordinate to term in
kb.
- page(String, int, String, String, String) - Method in class com.articulate.sigma.wordNet.WordNet
-
This is the regular point of entry for this class.
- Pair - Class in com.articulate.delphi
-
*****************************************************************
- Pair() - Constructor for class com.articulate.delphi.Pair
-
- Pair(int, String) - Constructor for class com.articulate.delphi.Pair
-
- Pair - Class in com.articulate.sigma
-
- Pair() - Constructor for class com.articulate.sigma.Pair
-
- Pair(int, String) - Constructor for class com.articulate.sigma.Pair
-
- Para() - Constructor for class com.articulate.sigma.wordNet.BrownCorpus.Para
-
- paraphraseStatement(String, boolean, int) - Method in class com.articulate.sigma.nlg.LanguageFormatter
-
Create a natural language paraphrase of a logical statement.
- paras - Variable in class com.articulate.sigma.wordNet.BrownCorpus.Doc
-
- parents - Variable in class com.articulate.sigma.KBcache
-
All the cached "parent" relations of all transitive relations
meaning the relations between all first arguments and the
transitive closure of second arguments.
- parents - Variable in class com.articulate.sigma.TaxoNode
-
- parse(Reader) - Method in class com.articulate.sigma.KIF
-
This method has the side effect of setting the contents of formulaMap and
formulas as it parses the file.
- parse(Reader) - Method in class com.articulate.sigma.SimpleDOMParser
-
- parse(String) - Method in class com.articulate.sigma.wordNet.BrownCorpus
-
- parse(LineNumberReader) - Method in class com.articulate.sigma.wordNet.BrownCorpus
-
- parseAllHotelReviewFiles(String) - Static method in class com.articulate.sigma.Hotel
-
Read hotel review files
- parseAllTHotelReviewFiles(String) - Static method in class com.articulate.sigma.Hotel
-
Read hotel review files
- parseAnswerTuples(String, KB, FormulaPreprocessor) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
Return a list of answers if E finds bindings for wh- queries.
- parseCuisines(String, String, String) - Static method in class com.articulate.sigma.DB
-
- parseHTMLAddress(Hotel, String) - Static method in class com.articulate.sigma.Hotel
-
Set address fields in the hotel as a side effect.
- parseInferenceObject(String) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
- parseJSONElement(String, int, Hotel.JSONElement) - Static method in class com.articulate.sigma.Hotel
-
This routine adds elements to the parameter
- parseJSONPair(String, int, Hotel.JSONElement) - Static method in class com.articulate.sigma.Hotel
-
This routine adds keys and values to the parameter.
- parseNumbers() - Method in class com.articulate.sigma.StreamTokenizer_s
-
Specifies that numbers should be parsed by this tokenizer.
- parseOneHotelPreviewFile(String) - Static method in class com.articulate.sigma.Hotel
-
- parseOneHotelReviewFile(String) - Static method in class com.articulate.sigma.Hotel
-
- parseOneJSONReviewFile(String) - Static method in class com.articulate.sigma.Hotel
-
- parseOneRestFile(String) - Static method in class com.articulate.sigma.DB
-
A test method.
- parseOneTHotelReviewFile(String) - Static method in class com.articulate.sigma.Hotel
-
- parseProofOutput(LineNumberReader, KB) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
Compute bindings and proof from E's response
- parseProofOutput(ArrayList<String>, KB) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
Compute binding and proof from E's response
- parseProofOutput(String, KB) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
- parseProofStep(String) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
Parse a step like the following into its constituents
fof(c_0_5, axiom, (s__subclass(s__Artifact,s__Object)), c_0_3).
- parseRest(String, String, String, String, String, String, String) - Static method in class com.articulate.sigma.DB
-
- parseStatement(String) - Method in class com.articulate.sigma.KIF
-
Parse a single formula.
- parseSupports(String) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
Parse support / proof statements in E's response
- password - Variable in class com.articulate.sigma.User
-
Encrypted password
- PasswordService - Class in com.articulate.sigma
-
A class that encrypts a string and checks it against another stored
encrypted string, in order to validate a user login.
- PasswordService() - Constructor for class com.articulate.sigma.PasswordService
-
Create an instance of PasswordService
- performConsistencyCheck(KB, String, String, String, String, int) - Method in class com.articulate.sigma.CCheckManager
-
Main code that performs the consistency check on the KB.
- performSelection(String) - Method in class com.articulate.sigma.SInE
-
Performs axiom selection for given query.
- pipeline() - Method in class com.articulate.sigma.mlpipeline.MLpipeline
-
- plistMatch(List<String>, String) - Static method in class com.articulate.sigma.SetUtil
-
Returns the first String value indexed by a String regex matching
key in the property list plist, else returns an empty String
if no regex in plist matches key.
- PLUSFN - Static variable in class com.articulate.sigma.Formula
-
- polysemous(String) - Static method in class com.articulate.sigma.wordNet.WSD
-
- polysemous(String, int) - Static method in class com.articulate.sigma.wordNet.WSD
-
- pop(StackElement) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Pop the top element of the stack if it is inElement.
- position - Variable in class com.articulate.sigma.nlg.SVOElement
-
- posLettersToNumber(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Convert a part of speech number to the two letter format used by
the WordNet sense index code.
- posLetterToNumber(char) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- posNumberToLetter(char) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- posNumberToLetters(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Convert a part of speech number to the two letter format used by
the WordNet sense index code.
- posPennToNumber(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- post() - Method in class com.articulate.sigma.ClientHttpRequest
-
posts the requests to the server, with all the cookies and parameters that were added
- post(Map) - Method in class com.articulate.sigma.ClientHttpRequest
-
posts the requests to the server, with all the cookies and parameters that were added before (if any), and with parameters that are passed in the argument
- post(Object[]) - Method in class com.articulate.sigma.ClientHttpRequest
-
posts the requests to the server, with all the cookies and parameters that were added before (if any), and with parameters that are passed in the argument
- post(Map<String, String>, Map) - Method in class com.articulate.sigma.ClientHttpRequest
-
posts the requests to the server, with all the cookies and parameters that were added before (if any), and with cookies and parameters that are passed in the arguments
- post(String[], Object[]) - Method in class com.articulate.sigma.ClientHttpRequest
-
posts the requests to the server, with all the cookies and parameters that were added before (if any), and with cookies and parameters that are passed in the arguments
- post(String, Object) - Method in class com.articulate.sigma.ClientHttpRequest
-
post the POST request to the server, with the specified parameter
- post(String, Object, String, Object) - Method in class com.articulate.sigma.ClientHttpRequest
-
post the POST request to the server, with the specified parameters
- post(String, Object, String, Object, String, Object) - Method in class com.articulate.sigma.ClientHttpRequest
-
post the POST request to the server, with the specified parameters
- post(String, Object, String, Object, String, Object, String, Object) - Method in class com.articulate.sigma.ClientHttpRequest
-
post the POST request to the server, with the specified parameters
- post(URL, Map) - Static method in class com.articulate.sigma.ClientHttpRequest
-
posts a new request to specified URL, with parameters that are passed in the argument
- post(URL, Object[]) - Static method in class com.articulate.sigma.ClientHttpRequest
-
posts a new request to specified URL, with parameters that are passed in the argument
- post(URL, Map<String, String>, Map) - Static method in class com.articulate.sigma.ClientHttpRequest
-
posts a new request to specified URL, with cookies and parameters that are passed in the argument
- post(URL, String[], Object[]) - Static method in class com.articulate.sigma.ClientHttpRequest
-
posts a new request to specified URL, with cookies and parameters that are passed in the argument
- post(URL, String, Object) - Static method in class com.articulate.sigma.ClientHttpRequest
-
post the POST request specified URL, with the specified parameter
- post(URL, String, Object, String, Object) - Static method in class com.articulate.sigma.ClientHttpRequest
-
post the POST request to specified URL, with the specified parameters
- post(URL, String, Object, String, Object, String, Object) - Static method in class com.articulate.sigma.ClientHttpRequest
-
post the POST request to specified URL, with the specified parameters
- post(URL, String, Object, String, Object, String, Object, String, Object) - Static method in class com.articulate.sigma.ClientHttpRequest
-
post the POST request to specified URL, with the specified parameters
- postCode - Variable in class com.articulate.sigma.Hotel
-
- postProcess(String) - Static method in class com.articulate.sigma.Formula
-
Remove the 'holds' prefix wherever it appears.
- PredVarInst - Class in com.articulate.sigma
-
- PredVarInst() - Constructor for class com.articulate.sigma.PredVarInst
-
- premises - Variable in class com.articulate.sigma.ProofStep
-
An ArrayList of Integer(s), which reference prior proof steps from
which this axiom is derived.
- prenex(Formula) - Method in class com.articulate.sigma.Prenexifier
-
- Prenexifier - Class in com.articulate.sigma
-
This code is copyright Articulate Software (c) 2003.
- Prenexifier() - Constructor for class com.articulate.sigma.Prenexifier
-
- Preposition - Class in com.articulate.sigma.nlg
-
Handles preposition behavior for case roles.
- Preposition() - Constructor for class com.articulate.sigma.nlg.Preposition
-
- preProcess(Formula, boolean, KB) - Method in class com.articulate.sigma.FormulaPreprocessor
-
Pre-process a formula before sending it to the theorem prover.
- preProcess(HashSet<String>) - Method in class com.articulate.sigma.KB
-
Preprocess the knowledge base to TPTP.
- PresentationNameComparator() - Constructor for class com.articulate.sigma.DocGen.PresentationNameComparator
-
- printAllHotelAmenitySentiment(ArrayList<Hotel>) - Static method in class com.articulate.sigma.Hotel
-
- printAllHotels(ArrayList<Hotel>) - Static method in class com.articulate.sigma.Hotel
-
- printAnswers() - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
Print out E's bindings
- printHelp() - Static method in class com.articulate.sigma.KBmanager
-
A test method.
- printHTMLPages(TreeMap, String) - Method in class com.articulate.sigma.DocGen
-
Save pages below the KBs directory in a directory called
HTML.
- printInstances(KB, String) - Static method in class com.articulate.sigma.EditGUI
-
Get and print all instances of a class
- printPrefs() - Method in class com.articulate.sigma.KBmanager
-
Print all peferences to stdout
- printRecommendations() - Method in class com.articulate.delphi.Table
-
- printSpreadsheet(TreeMap, ArrayList) - Method in class com.articulate.sigma.DB
-
Print a comma-delimited matrix.
- printStatistics() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- printTermDependency(KB, String) - Static method in class com.articulate.sigma.Diagnostics
-
Show file dependencies.
- printTopSUMOInReviews(ArrayList<AVPair>) - Static method in class com.articulate.sigma.DB
-
- printTPTPDataInCSV(HashMap) - Method in class com.articulate.sigma.DB
-
Print statistics in a summary form for TPTP test run
data
- printVariableArityRelationContent(PrintWriter, TreeMap<String, String>, String, int, boolean) - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
-
- process() - Method in class com.articulate.sigma.wordNet.BrownCorpus
-
- processAnswers(String) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
Return bindings from E's answer tuples
- processDataLine(String) - Method in class com.articulate.sigma.mlpipeline.MLpipeline
-
- processDocString(KB, String, String, String, boolean, boolean) - Method in class com.articulate.sigma.DocGen
-
- processExtraction(ArrayList<String>) - Static method in class com.articulate.sigma.NER
-
- processFormalLanguage(String) - Static method in class com.articulate.sigma.HTMLformatter
-
- processHeaderLine(String) - Method in class com.articulate.sigma.mlpipeline.MLpipeline
-
- processMissingLinks(String, String, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
This is a utility routine that should not be called during
normal Sigma operation.
- processNaturalLanguage(String, KB) - Static method in class com.articulate.sigma.HTMLformatter
-
- processNounLine(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
- processOneOXMLHotel(Element) - Static method in class com.articulate.sigma.Hotel
-
- processOneXMLHotel(Element) - Static method in class com.articulate.sigma.Hotel
-
- processPrologString(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
Double any single quotes that appear.
- processTimeDate(String) - Static method in class com.articulate.sigma.DB
-
- processTPTPData() - Method in class com.articulate.sigma.DB
-
Read statistics for TPTP test run data
- ProgressPrinter - Class in com.articulate.sigma.utils
-
- ProgressPrinter(int) - Constructor for class com.articulate.sigma.utils.ProgressPrinter
-
- Project - Class in com.articulate.delphi
-
A class that encrypts a string and checks it against another stored
encrypted string, in order to validate a user login.
- Project() - Constructor for class com.articulate.delphi.Project
-
- projects - Variable in class com.articulate.delphi.Delphi
-
Relates String keys to Project values
- projects - Variable in class com.articulate.sigma.User
-
An ArrayList of String keys consisting of unique project names.
- Prolog - Class in com.articulate.sigma
-
- Prolog() - Constructor for class com.articulate.sigma.Prolog
-
- proof - Variable in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
- ProofProcessor - Class in com.articulate.sigma
-
Process results from the inference engine.
- ProofProcessor(ArrayList<BasicXMLelement>) - Constructor for class com.articulate.sigma.ProofProcessor
-
Take an ArrayList of BasicXMLelement (s) and process them as
needed
- ProofStep - Class in com.articulate.sigma
-
A trivial structure to hold the elements of a proof step.
- ProofStep() - Constructor for class com.articulate.sigma.ProofStep
-
- proofTableFormat(String, ProofStep, String, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Create the HTML for a single step in a proof.
- PROP_NAME_BODY - Static variable in class com.articulate.sigma.utils.MBoxReader
-
- PROP_NAME_DATE - Static variable in class com.articulate.sigma.utils.MBoxReader
-
- PROP_NAME_FACTS - Static variable in class com.articulate.sigma.utils.MBoxReader
-
- PROP_NAME_SENDER - Static variable in class com.articulate.sigma.utils.MBoxReader
-
- PROP_NAME_SENDER_INFO - Static variable in class com.articulate.sigma.utils.MBoxReader
-
- pushBack() - Method in class com.articulate.sigma.StreamTokenizer_s
-
Causes the next call to the nextToken method of this
tokenizer to return the current value in the ttype
field, and not to modify the value in the nval or
sval field.
- pushCurrSumoProcessDown() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Push the current element's sumoProcessMap down into the previous element.
- pushCurrTranslatedStateDown(String) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
If the top stack element has been translated, then find the given arg in the previous stack element
and mark the corresponding formula argument as translated.
- pushNew() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Push a new element onto the stack.
- pushTranslationDownToNotLevel(String) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Handle pushing the translation down into the stack for "not" clauses.
- pythonServer() - Static method in class com.articulate.sigma.KBmanager
-
Create an server-based interface for Python to call the KB object.
- R_PREF - Static variable in class com.articulate.sigma.Formula
-
- randomString() - Static method in class com.articulate.sigma.ClientHttpRequest
-
- read() - Method in class com.articulate.sigma.Base64.InputStream
-
Reads enough of the input stream to convert
to/from Base64 and returns the next byte.
- read(byte[], int, int) - Method in class com.articulate.sigma.Base64.InputStream
-
- read(String) - Method in class com.articulate.sigma.Formula
-
Read a String into the variable 'theFormula'.
- read(String) - Static method in class com.articulate.sigma.trans.OWLtranslator
-
Read OWL format.
- read(String) - Method in class com.articulate.sigma.wordNet.BrownCorpus
-
Read all Brown Corpus files in a directory
- readAmenities() - Static method in class com.articulate.sigma.DB
-
- readConfiguration(String) - Method in class com.articulate.sigma.KBmanager
-
Reads an XML configuration file from the directory
configDirPath, and tries to find a configuration file elsewhere
if configDirPath is null.
- readCSVHotels(String) - Static method in class com.articulate.sigma.Hotel
-
- readDataInterchangeFormatFile(Reader) - Static method in class com.articulate.sigma.DB
-
Parse an input stream Reader from a Data Interchange Format
(.dif) file into an ArrayList of ArrayLists.
- readDataInterchangeFormatFile(String) - Static method in class com.articulate.sigma.DB
-
Parse and load a Data Interchange Format (.dif) file into an
ArrayList of ArrayLists.
- readFile(String) - Method in class com.articulate.sigma.KIF
-
Read a KIF file.
- readFile(String) - Static method in class com.articulate.sigma.SimpleDOMParser
-
Read the full path of an XML file and returns the SimpleElement
object that corresponds to its parsed format.
- readFile(Path) - Method in class com.articulate.sigma.wordNet.BrownCorpus
-
- readFileIntoArray(String) - Static method in class com.articulate.sigma.wordNet.WSD
-
- readJSONHotels(String, boolean) - Static method in class com.articulate.sigma.Hotel
-
- readKeywordMap(String) - Static method in class com.articulate.sigma.nlg.NLGUtils
-
Read a set of standard words and phrases in several languages.
- readOMWfiles() - Static method in class com.articulate.sigma.wordNet.OMWordnet
-
Assumes a fixed set of files in the KBs directory.
- readOXMLhotels(String) - Static method in class com.articulate.sigma.Hotel
-
- readPreambles() - Method in class com.articulate.sigma.mlpipeline.MLpipeline
-
- readProjects() - Method in class com.articulate.delphi.Delphi
-
- readSenseCount() - Method in class com.articulate.sigma.wordNet.WordNet
-
Read word sense frequencies into a HashMap of PriorityQueues
containing AVPairs where the value is a word and the attribute
(on which PriorityQueue is sorted) is an 8 digit String
representation of an integer count.
- readSenseIndex(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
Note that WordNet forces all these words to lowercase in the index.xxx files
- readSentimentArray() - Static method in class com.articulate.sigma.DB
-
Fill out from a CSV file a map of word keys, and values broken down by POS,
listing whether it's a positive or negative word interior hash map keys are
type, POS, stemmed, polarity
- readSick() - Static method in class com.articulate.sigma.wordNet.WSD
-
Read the SICK data set
http://clic.cimec.unitn.it/composes/sick.html
- readSpreadsheet(Reader, List<String>, boolean, char) - Static method in class com.articulate.sigma.DB
-
Parse the input from a Reader for a CSV file into an ArrayList
of ArrayLists.
- readSpreadsheet(String, List, boolean, char) - Static method in class com.articulate.sigma.DB
-
Parse a CSV file into an ArrayList of ArrayLists.
- readSpreadsheet(String, List, boolean) - Static method in class com.articulate.sigma.DB
-
- readSpreadsheetFile(String, char) - Method in class com.articulate.sigma.DocGen
-
- readSpreadsheetFile(String, char, int, List<String>) - Method in class com.articulate.sigma.DocGen
-
Parses a file of delimited fields into an ArrayList of
ArrayLists.
- readStateAbbrevs() - Static method in class com.articulate.sigma.DB
-
- readStopConceptArray() - Static method in class com.articulate.sigma.DB
-
Fill out from a CSV file a set of concepts that should be ignored
during content extraction
- readStopWords() - Method in class com.articulate.sigma.wordNet.WordNet
-
- readTraining() - Method in class com.articulate.sigma.mlpipeline.MLpipeline
-
- readWNversionMap(String, String, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Read the version mapping files and store in the HashMap
called "mappings".
- readWordCoFrequencies() - Method in class com.articulate.sigma.wordNet.WordNet
-
Return 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.
- readXMLHotels(String) - Static method in class com.articulate.sigma.Hotel
-
Convert a particular XML markup into an array of hotels
- RearDBtoKIF() - Static method in class com.articulate.sigma.DB
-
- records - Static variable in class com.articulate.sigma.utils.MBoxReader
-
- register() - Method in class com.articulate.sigma.PasswordService
-
- relation - Static variable in class com.articulate.sigma.TaxoModel
-
- RelationArgumentAnnotation() - Constructor for class com.articulate.sigma.nlg.LanguageFormatter.RelationArgumentAnnotation
-
- relations - Variable in class com.articulate.sigma.KBcache
-
- relations - Variable in class com.articulate.sigma.wordNet.WordNet
-
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
- relationsByKB - Variable in class com.articulate.sigma.DocGen
-
A Map in which each key is a KB name and the corresponding
value is a List of the Predicates defined in the KB.
- relationsWithoutFormat(KB) - Static method in class com.articulate.sigma.Diagnostics
-
Find all relational terms that are missing an NLG format expression
- RELAXED_PARSE_MODE - Static variable in class com.articulate.sigma.KIF
-
A numeric constant denoting relaxed parse mode, in which fewer syntax constraints
are enforced than in NORMAL_PARSE_MODE.
- reload() - Method in class com.articulate.sigma.KB
-
Reload all the KB constituents.
- remove(String) - Method in class com.articulate.sigma.KBmanager
-
Remove the KB that has the given name.
- removeByPattern(List, String) - Static method in class com.articulate.sigma.SetUtil
-
Filters the List of Strings seq, removing all items that match
the regular expression pattern regex.
- removeCached(ArrayList<Formula>) - Static method in class com.articulate.sigma.TaxoModel
-
Remove any cached formulas from a list.
- removeDoubleSpaces(String) - Static method in class com.articulate.sigma.StringUtil
-
- removeDuplicates(ArrayList<ProofStep>) - Static method in class com.articulate.sigma.ProofStep
-
Take an ArrayList of ProofSteps and renumber them consecutively
starting at 1.
- removeDuplicates(Collection) - Static method in class com.articulate.sigma.SetUtil
-
Removes duplicates from collection based on its natural
comparator or equality operator.
- removeEnclosingChar(String, int, char) - Static method in class com.articulate.sigma.StringUtil
-
Removes n layers of balanced ASCII double-quote characters from each
end of the String s, if any are present.
- removeEnclosingCharPair(String, int, char, char) - Static method in class com.articulate.sigma.StringUtil
-
Removes n layers of balanced characters from each
end of the String s, if any are present.
- removeEnclosingChars(String, int, char) - Static method in class com.articulate.sigma.StringUtil
-
Removes n layers of balanced characters from each
end of the String s, if any are present.
- removeEnclosingQuotes(String) - Static method in class com.articulate.sigma.StringUtil
-
Removes all balanced ASCII double-quote characters from each
end of the String s, if any are present.
- removeEscapedDoubleQuotes(String) - Static method in class com.articulate.sigma.StringUtil
-
- removeEscapedEscapes(String) - Static method in class com.articulate.sigma.StringUtil
-
- removeHTML(String) - Static method in class com.articulate.sigma.StringUtil
-
Remove HTML markup from a sentence.
- removeInternalDoubleQuotes(String) - Static method in class com.articulate.sigma.StringUtil
-
- removeKB(String) - Method in class com.articulate.sigma.KBmanager
-
Remove a knowledge base.
- removeLinkableNamespacePrefixes(KB, String) - Method in class com.articulate.sigma.DocGen
-
Removes namespace prefixes from all SUO-KIF terms to be
hyperlinked in text.
- removeNestedAnswerClause(String) - Static method in class com.articulate.sigma.ProofProcessor
-
Remove the $answer clause that eProver returns, including any
surrounding connective.
- removePreamble(String) - Static method in class com.articulate.sigma.nlg.LanguageFormatter
-
Remove the type declarations from the text
- removePunctuation(String) - Static method in class com.articulate.sigma.StringUtil
-
Remove punctuation and contractions from a sentence.
- removeQuoteEscapes(String) - Static method in class com.articulate.sigma.StringUtil
-
- removeQuotes(String) - Static method in class com.articulate.sigma.trans.OWLtranslator
-
Remove quotes around a string
- removeStopWords(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
Remove stop words from a sentence.
- removeStopWords(ArrayList<String>) - Method in class com.articulate.sigma.wordNet.WordNet
-
Remove stop words from a sentence.
- removeSuperClasses(Set<String>) - Method in class com.articulate.sigma.KB
-
Remove from
the given set any item which is a superclass of another item in the set.
- removeTermPrefixes(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- removeUnnecessary(ArrayList<ProofStep>) - Static method in class com.articulate.sigma.ProofStep
-
created a new by qingqing
remove unnecessary steps, which should not appear in proof
Unnecessary steps could be:
(1) conjectures;
(2) Successful resolution theorem proving results in a contradiction;
- rename(String, String) - Method in class com.articulate.sigma.Clausifier
-
Replace term2 with term1
- rename(String, String) - Method in class com.articulate.sigma.Formula
-
Replace term2 with term1
- rename(String, String) - Method in class com.articulate.sigma.KB
-
Rename
term2 as term1 throughout the knowledge base.
- renameFileIfExists(File) - Static method in class com.articulate.sigma.StringUtil
-
If the file f already exists, this method returns a new File
object with a unique name formed by appending an integer.
- renameVariableArityRelations(KB, TreeMap<String, String>) - Method in class com.articulate.sigma.Formula
-
- renameVariables(Formula) - Static method in class com.articulate.sigma.Clausifier
-
convenience method
- renameVariables(Formula, Map, Map, Map) - Static method in class com.articulate.sigma.Clausifier
-
convenience method
- replaceDateTime(String) - Static method in class com.articulate.sigma.StringUtil
-
If the input String contains the sequence {date}pattern{date},
replaces the first occurrence of this sequence with a UTC
date/time string formatted according to pattern.
- replaceNonAsciiChars(String) - Static method in class com.articulate.sigma.StringUtil
-
- replaceNonIdChars(String) - Static method in class com.articulate.sigma.StringUtil
-
Replace any character that isn't a valid KIF identifier
character with a lower-case x.
- replaceQuantifierVars(String, List<String>) - Method in class com.articulate.sigma.Formula
-
- replaceRepeatedDoubleQuotes(String) - Static method in class com.articulate.sigma.StringUtil
-
- replaceUnsafeNamespaceDelimiters(String) - Static method in class com.articulate.sigma.StringUtil
-
Replaces non-alphanumeric namespace delimiters in input with an
alphanumeric form that can be handled by Vampire and other
provers.
- replaceVar(String, String) - Method in class com.articulate.sigma.Formula
-
Replace v with term.
- resetSyntax() - Method in class com.articulate.sigma.StreamTokenizer_s
-
Resets this tokenizer's syntax table so that all characters are
"ordinary." See the ordinaryChar method
for more information on a character being ordinary.
- resolveFormatSpecifiers(String, String) - Static method in class com.articulate.sigma.nlg.NLGUtils
-
Resolve the "format specifiers" in the given printf type of statement.
- resortKbTerms(KB) - Method in class com.articulate.sigma.DocGen
-
Rebuilds the TreeSet containing all terms in kb, and forces
the new TreeSet to sort according to each term's presentation
name.
- resortTPTPData(HashMap) - Method in class com.articulate.sigma.DB
-
Reorganize statistics in a summary form for TPTP test run
data
- resumeEncoding() - Method in class com.articulate.sigma.Base64.OutputStream
-
Resumes encoding of the stream.
- REswitch(String) - Method in class com.articulate.sigma.KB
-
REswitch determines if
a String is a RegEx or not based on its use of RE metacharacters.
- retainByPattern(List, String) - Static method in class com.articulate.sigma.SetUtil
-
Filters the List of Strings seq, retaining only items that match
the regular expression pattern regex.
- returnSkolemStmt(String, ArrayList<ProofStep>) - Static method in class com.articulate.sigma.ProofProcessor
-
Looks for skolem function from proofsteps if query is not given.
- reverseSenseIndex - Variable in class com.articulate.sigma.wordNet.WordNet
-
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").
- reviews - Variable in class com.articulate.sigma.Hotel
-
- role - Variable in class com.articulate.sigma.User
-
A String which is one of: user, registered, administrator
- rooms - Variable in class com.articulate.sigma.Hotel
-
- rootFormOf(String) - Static method in class com.articulate.sigma.wordNet.MultiWords
-
- rootFormOf(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- rootList - Static variable in class com.articulate.sigma.TaxoModel
-
- rows - Variable in class com.articulate.delphi.Table
-
A HashMap of HashMap(s), which are the columns.
- rows - Variable in class com.articulate.delphi.TableAverage
-
A HashMap of HashMap(s), which are the columns.
- RowVars - Class in com.articulate.sigma
-
- RowVars() - Constructor for class com.articulate.sigma.RowVars
-
- RP - Static variable in class com.articulate.sigma.Formula
-
- run() - Method in class com.articulate.sigma.CCheck
-
- RVAR - Static variable in class com.articulate.sigma.Formula
-
- safeToKifNamespaceDelimiters(String) - Static method in class com.articulate.sigma.StringUtil
-
Replaces all occurrences of the "safe" namespace delimiter in
input with the default KIF namespace delimiter, which might
contain characters that are not acceptable to some provers.
- save() - Method in class com.articulate.delphi.Delphi
-
- saveIndexPages(KB, TreeMap, String, String) - Method in class com.articulate.sigma.DocGen
-
Generate and save all the index pages that link to the
individual term pages.
- searchCoherence(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Take a file of tabtab and calculate
the average Levenshtein distance for each ID.
- senseFrequencies - Variable in class com.articulate.sigma.wordNet.WordNet
-
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 - Variable in class com.articulate.sigma.wordNet.WordNet
-
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.
- senseKeyPOS(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
- sensePOS(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Take a WordNet sense identifier, and return the integer part of
speech code.
- senses - Variable in class com.articulate.sigma.Hotel
-
- sensoryOrMentalWord(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
test if a word is sensory or mental and return true if so
- sensoryWords() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Find all words associated with sensory, psychological and
emotional concepts.
- Sentence - Class in com.articulate.sigma.nlg
-
A structure allowing one Subject-Verb-Object element in a sentence to "know" about the others.
- Sentence(<any>, SumoProcess, KB, <any>) - Constructor for class com.articulate.sigma.nlg.Sentence
-
Constructor.
- Sentence() - Constructor for class com.articulate.sigma.wordNet.BrownCorpus.Sentence
-
- sentiment - Static variable in class com.articulate.sigma.DB
-
- sentiment - Variable in class com.articulate.sigma.Hotel
-
- sents - Variable in class com.articulate.sigma.wordNet.BrownCorpus.Para
-
- separateConjunctions() - Method in class com.articulate.sigma.Clausifier
-
Turn a conjunction into an ArrayList of separate statements
- separateConjunctions(Formula) - Static method in class com.articulate.sigma.Clausifier
-
convenience method
- serialize() - Static method in class com.articulate.sigma.KBmanager
-
save serialized version.
- serialize() - Static method in class com.articulate.sigma.nlg.NLGUtils
-
save serialized version.
- serialize() - Static method in class com.articulate.sigma.wordNet.OMWordnet
-
save serialized version.
- serialize() - Static method in class com.articulate.sigma.wordNet.WordNet
-
save serialized version.
- serializedExists() - Static method in class com.articulate.sigma.KBmanager
-
Check whether sources are newer than serialized version.
- serializedExists() - Static method in class com.articulate.sigma.nlg.NLGUtils
-
Check whether sources are newer than serialized version.
- serializedOld(SimpleElement) - Static method in class com.articulate.sigma.KBmanager
-
Check whether sources are newer than serialized version.
- serializedOld() - Static method in class com.articulate.sigma.KBmanager
-
Check whether sources are newer than serialized version.
- serializedOld() - Static method in class com.articulate.sigma.nlg.NLGUtils
-
Check whether sources are newer than serialized version.
- serializedOld() - Static method in class com.articulate.sigma.wordNet.OMWordnet
-
Check whether sources are newer than serialized version.
- serializedOld() - Static method in class com.articulate.sigma.wordNet.WordNet
-
Check whether sources are newer than serialized version.
- server - Static variable in class com.articulate.sigma.PasswordService
-
- setAttribute(String, String) - Method in class com.articulate.sigma.SimpleElement
-
- setCaseRolesScratchpad(<any>) - Method in class com.articulate.sigma.nlg.Sentence
-
Set the case roles scratch pad with the given case roles.
- setCharset(String) - Static method in class com.articulate.sigma.StringUtil
-
Sets the default value of CHARSET to charEncoding.
- setConfiguration(SimpleElement) - Method in class com.articulate.sigma.KBmanager
-
Sets instance fields by reading the xml found in the configuration file.
- setCookie(String, String) - Method in class com.articulate.sigma.ClientHttpRequest
-
adds a cookie to the requst
- setCookies(Map<String, String>) - Method in class com.articulate.sigma.ClientHttpRequest
-
adds cookies to the request
- setCookies(String[]) - Method in class com.articulate.sigma.ClientHttpRequest
-
adds cookies to the request
- setCurrTranslatedIfQuantified() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
If the curr stack element has just two formula args--the first having a state of QUANTIFIED_VARS, the
second having a state of TRANSLATED--mark the curr stack element as Translated.
- setDefaultAttributes() - Method in class com.articulate.sigma.KBmanager
-
Set default attribute values if not in the configuration file.
- setDefaultImageFile(String) - Method in class com.articulate.sigma.DocGen
-
Sets the base name plus suffix filename of the logo image file
to be referenced during HTML document generation.
- setDefaultImageFileMarkup(String) - Method in class com.articulate.sigma.DocGen
-
Sets the base name plus suffix filename of the logo image file
to be referenced during HTML document generation.
- setDefaultNamespace(String) - Method in class com.articulate.sigma.DocGen
-
Sets the default namespace for this DocGen object.
- setDefaultPredicateNamespace(String) - Method in class com.articulate.sigma.DocGen
-
Sets the default namespace for predicates in the ontology
associated with this DB object.
- setDirectObject(SVOElement) - Method in class com.articulate.sigma.nlg.Sentence
-
- setDisplayFilter(DocGen.DisplayFilter) - Method in class com.articulate.sigma.DocGen
-
Sets the DisplayFilter associated with this DocGen object to
filterObj.
- setDocGen(DocGen) - Method in class com.articulate.sigma.DocGen.PresentationNameComparator
-
- setDocGenKey(String) - Method in class com.articulate.sigma.DocGen
-
Sets the String key that is the index for this particular
DocGen object.
- setDoInformalNLG(boolean) - Method in class com.articulate.sigma.nlg.LanguageFormatter
-
- setEntityProperties(<any>) - Method in class com.articulate.sigma.nlg.StackElement
-
- setEntityProperties(<any>) - Method in class com.articulate.sigma.nlg.SumoProcessCollector
-
Translate this process and its case roles into natural language.
- setError(String) - Method in class com.articulate.sigma.KBmanager
-
Set an error string for file loading.
- setFooterText(String) - Method in class com.articulate.sigma.DocGen
-
Sets the footer text String to be used during HTML document
generation.
- setHotelWeights(ArrayList<Hotel>) - Static method in class com.articulate.sigma.Hotel
-
Read a list of lists of Strings which is the original input plus
some extra columns for the weights of several "buckets", indicating
fitness with respect to a particular criterion.
- setIndirectObjects(List<SVOElement>) - Method in class com.articulate.sigma.nlg.Sentence
-
- setInhibitDisplayRelations(Set) - Method in class com.articulate.sigma.DocGen
-
Sets the predicates for which diplay should be suppressed to
those contained in relations.
- setKB(KB) - Method in class com.articulate.sigma.DocGen.PresentationNameComparator
-
- setKB(KB) - Method in class com.articulate.sigma.DocGen
-
- setKeywordMap(HashMap<String, HashMap<String, String>>) - Static method in class com.articulate.sigma.nlg.NLGUtils
-
- setKifNamespaceDelimiter(String) - Static method in class com.articulate.sigma.StringUtil
-
Sets to str the String used in SUO-KIF to separate a namespace
prefix from the term it qualifies.
- setLineSeparator(String) - Method in class com.articulate.sigma.DocGen
-
- setLineSeparator(String) - Static method in class com.articulate.sigma.StringUtil
-
Sets the default line separator token for the current runtime
platform.
- setLocalReferenceBaseName(String) - Static method in class com.articulate.sigma.StringUtil
-
- setMaxNounSynsetID(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
- setMaxVerbSynsetID(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
- setMetaDataFromKB(KB, String) - Method in class com.articulate.sigma.DocGen
-
Tries to use the values obtained from kb and ontology to set
some of the parameter values used for HTML generation.
- setOldInferenceBitValue(int) - Method in class com.articulate.sigma.KBmanager
-
Sets the value of the private variable oldInferenceBitValue.
- setOntology(String) - Method in class com.articulate.sigma.DocGen
-
- setOutputDirectoryPath(String) - Method in class com.articulate.sigma.DocGen
-
Sets the canonical pathname String of the current directory in
which output files will be (are being) saved.
- setOutputParentDir(File) - Method in class com.articulate.sigma.DocGen
-
Sets the parent directory in which subdirectories for different
types of output files will be created to the File obj, and
tries to create the directory pathname if it does not already
exist.
- setOutputParentDir(String) - Method in class com.articulate.sigma.DocGen
-
Sets to pathname the parent directory in which subdirectories
for different types of output files will be created, and tries
to create the directory pathname if it does not already exist.
- setOutputParentDir(List) - Method in class com.articulate.sigma.DocGen
-
Sets the parent directory in which subdirectories for different
types of output files will be created to the File obj, and
tries to create the directory pathname if it does not already
exist.
- setOutputParentDir(KB, String) - Method in class com.articulate.sigma.DocGen
-
Sets the parent directory in which subdirectories for different
types of output files will be created to the abstract pathname
represented by a statement in kb formed with the predicate
docGenOutputParentDirectory and the argument ontology.
- setParameter(String, String) - Method in class com.articulate.sigma.ClientHttpRequest
-
adds a string parameter to the request
- setParameter(String, String, InputStream) - Method in class com.articulate.sigma.ClientHttpRequest
-
adds a file parameter to the request
- setParameter(String, File) - Method in class com.articulate.sigma.ClientHttpRequest
-
adds a file parameter to the request
- setParameter(String, Object) - Method in class com.articulate.sigma.ClientHttpRequest
-
adds a parameter to the request; if the parameter is a File, the file is uploaded, otherwise the string value of the parameter is passed in the request
- setParameters(Map) - Method in class com.articulate.sigma.ClientHttpRequest
-
adds parameters to the request
- setParameters(Object[]) - Method in class com.articulate.sigma.ClientHttpRequest
-
adds parameters to the request
- setParseMode(int) - Method in class com.articulate.sigma.KIF
-
Sets the current parse mode to the input value mode.
- setPolarity(VerbProperties.Polarity) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
- setPolarity(VerbProperties.Polarity) - Method in class com.articulate.sigma.nlg.SumoProcess
-
- setPolarity(VerbProperties.Polarity) - Method in class com.articulate.sigma.nlg.SumoProcessCollector
-
- setPref(String, String) - Method in class com.articulate.sigma.KBmanager
-
Set the preference to the given value.
- setProcessPolarity(String, VerbProperties.Polarity) - Method in class com.articulate.sigma.nlg.StackElement
-
Set the polarity of current stack element's process.
- setProcessPolarity(VerbProperties.Polarity) - Method in class com.articulate.sigma.nlg.StackElement
-
Set polarity.
- setSafeNamespaceDelimiter(String) - Static method in class com.articulate.sigma.StringUtil
-
Sets to str the "safe" alphanumeric ASCII String value that can
be substituted for the W3C or SUO-KIF string delimiting a
namespace prefix from an unqualified term name.
- setSimplified(boolean) - Method in class com.articulate.sigma.DocGen
-
Sets this.simplified to val.
- setSkipProlog(boolean) - Method in class com.articulate.sigma.SimpleDOMParser
-
- setSourceFile(String) - Method in class com.articulate.sigma.Formula
-
- setStringReplacementMap(Map) - Method in class com.articulate.sigma.DocGen
-
Sets the Map to be used for HTML character entity to ASCII
replacements.
- setStyleSheet(String) - Method in class com.articulate.sigma.DocGen
-
Sets the base name plus suffix filename of the Cascading Style
Sheet file to be referenced during HTML document generation.
- setSubject(SVOElement) - Method in class com.articulate.sigma.nlg.Sentence
-
- setSurfaceForm(String) - Method in class com.articulate.sigma.nlg.SVOElement
-
- setTagName(String) - Method in class com.articulate.sigma.SimpleElement
-
- setTerms(SortedSet<String>) - Method in class com.articulate.sigma.KB
-
Sets the
synchronized SortedSet of all the terms in the KB to be kbTerms.
- setText(String) - Method in class com.articulate.sigma.SimpleElement
-
- setTitleText(String) - Method in class com.articulate.sigma.DocGen
-
Sets the title text to be used during HTML document generation.
- setTocHeader(String) - Method in class com.articulate.sigma.DocGen
-
Sets the String header to be used in generated HTML files to
header.
- setTranslation(String, boolean) - Method in class com.articulate.sigma.nlg.StackElement
-
Mark this stack element as having been translated.
- setupStreamTokenizer(StreamTokenizer_s) - Static method in class com.articulate.sigma.KIF
-
This routine sets up the StreamTokenizer_s so that it parses SUO-KIF.
- SetUtil - Class in com.articulate.sigma
-
A utility class that defines static methods for working with Sets
and other Collections.
- setValue(String, String, String, String) - Method in class com.articulate.delphi.Delphi
-
Set the value of a rating in a row and column of a specific project
and user's table.
- setVerb(SumoProcess) - Method in class com.articulate.sigma.nlg.Sentence
-
- setW3cNamespaceDelimiter(String) - Static method in class com.articulate.sigma.StringUtil
-
Sets to str the String token preferred by W3C to separate a
namespace prefix from the term it qualifies.
- setWeight(String, String, String, String) - Method in class com.articulate.delphi.Delphi
-
Set the weight of a column of a specific project
and user's table.
- showAllLeaves() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- showAllRoots() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- showCardinalityCell(KB, String, String, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for the Cardinality
field of an HTML page displaying the definition of term in kb.
- showHelp() - Static method in class com.articulate.sigma.PasswordService
-
- showMap(KB, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Show a map if coordinates are given in the kb
- showNeighborTerms(KB, String) - Static method in class com.articulate.sigma.HTMLformatter
-
- showNeighborTerms(KB, String, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Show alphabetic list of neighbor terms
- showNumberPictures(KB, String, int) - Static method in class com.articulate.sigma.HTMLformatter
-
Show knowledge base pictures
- showPictures(KB, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Show knowledge base pictures
- showREMatches(KB, String, String, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Show list of 30 relation & nonRelation terms that contain a match to the input RE term.
- showState() - Method in class com.articulate.sigma.KBcache
-
- showStatistics(KB) - Static method in class com.articulate.sigma.HTMLformatter
-
Show knowledge base statistics
- showTermName(KB, String, String) - Method in class com.articulate.sigma.DocGen
-
Returns the termFormat entry for term in kb and language,
otherwise returns the termFormat entry for term in English,
otherwise just returns the term name.
- SigmaCheck - Class in com.articulate.sigma
-
This class, when scheduled as a "cron" job, can serve as a "heartbeat"
function, checking whether the sigma server is functioning properly.
- SigmaCheck() - Constructor for class com.articulate.sigma.SigmaCheck
-
- signatures - Variable in class com.articulate.sigma.KBcache
-
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.
- SimpleDOMParser - Class in com.articulate.sigma
-
SimpleDOMParser is a highly-simplified XML DOM
parser.
- SimpleDOMParser() - Constructor for class com.articulate.sigma.SimpleDOMParser
-
- SimpleElement - Class in com.articulate.sigma
-
SimpleElement is the only node type for
simplified DOM model.
- SimpleElement(String) - Constructor for class com.articulate.sigma.SimpleElement
-
- simplified - Variable in class com.articulate.sigma.DocGen
-
If true, a termFormat value obtained for term will be displayed
rather than the term name itself.
- simplifyTerm(String) - Method in class com.articulate.sigma.KB
-
Only called in
BrowseBody.jsp when a single match is found.
- SInE - Class in com.articulate.sigma
-
- SInE(Iterable<String>) - Constructor for class com.articulate.sigma.SInE
-
- SInE.SInEFactory - Class in com.articulate.sigma
-
- SInEFactory() - Constructor for class com.articulate.sigma.SInE.SInEFactory
-
- SK_PREF - Static variable in class com.articulate.sigma.Formula
-
- SKFN - Static variable in class com.articulate.sigma.Formula
-
- slashSlashComments(boolean) - Method in class com.articulate.sigma.StreamTokenizer_s
-
Determines whether or not the tokenizer recognizes C++-style comments.
- slashStarComments(boolean) - Method in class com.articulate.sigma.StreamTokenizer_s
-
Determines whether or not the tokenizer recognizes C-style comments.
- SNARKtrans - Class in com.articulate.sigma.trans
-
Created by apease on 8/25/17.
- SNARKtrans() - Constructor for class com.articulate.sigma.trans.SNARKtrans
-
- sortByPresentationName(KB, String, List) - Method in class com.articulate.sigma.DocGen
-
Sorts stringList in place by the presentation name of each its
terms, which could be very different from the raw term name.
- sortByTermLength(List) - Method in class com.articulate.sigma.DocGen
-
Sorts the List terms by the length of the Strings it contains,
from longest to shortest.
- sourceFile - Variable in class com.articulate.sigma.Formula
-
The source file in which the formula appears.
- SP2 - Static variable in class com.articulate.sigma.DocGen
-
- SPACE - Static variable in class com.articulate.sigma.Formula
-
- spacesToUnderlines(String) - Static method in class com.articulate.sigma.StringUtil
-
- splitToArrayList(String) - Static method in class com.articulate.sigma.wordNet.WordNet
-
Return an ArrayList of the string split by spaces.
- splitToArrayListSentence(String) - Static method in class com.articulate.sigma.wordNet.WordNet
-
Return an ArrayList of the string split by periods.
- StackElement - Class in com.articulate.sigma.nlg
-
One element of a LanguageFormatterStack.
- StackElement(Map<String, SumoProcessCollector>, List<String>) - Constructor for class com.articulate.sigma.nlg.StackElement
-
Instantiate a StackElement with a sumoProcess map and a list of formula args.
- StackElement.FormulaArg - Class in com.articulate.sigma.nlg
-
- StackElement.StackState - Enum in com.articulate.sigma.nlg
-
- stars - Variable in class com.articulate.sigma.Hotel
-
- startLine - Variable in class com.articulate.sigma.Formula
-
The line in the file on which the formula starts.
- startPrice - Variable in class com.articulate.sigma.Hotel
-
- stateProv - Variable in class com.articulate.sigma.Hotel
-
- status - Variable in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
- stopConcepts - Static variable in class com.articulate.sigma.DB
-
- stopwords - Variable in class com.articulate.sigma.wordNet.WordNet
-
English "stop words" such as "a", "at", "them", which have no or little
inherent meaning when taken alone.
- str - Variable in class com.articulate.delphi.Pair
-
- str - Variable in class com.articulate.sigma.Pair
-
- StreamTokenizer_s - Class in com.articulate.sigma
-
A modified StreamTokenizer that handles multi-line
quoted strings.
- StreamTokenizer_s(InputStream) - Constructor for class com.articulate.sigma.StreamTokenizer_s
-
- StreamTokenizer_s(Reader) - Constructor for class com.articulate.sigma.StreamTokenizer_s
-
Create a tokenizer that parses the given character stream.
- stringReplacementMap - Variable in class com.articulate.sigma.DocGen
-
A Map containing String replacement pairs.
- stringsToFormulas(List<String>) - Static method in class com.articulate.sigma.KB
-
- stringToKIF(String, boolean) - Static method in class com.articulate.sigma.StringUtil
-
Convert any arbitrary string to a valid KIF id.
- StringToKIFid(String) - Static method in class com.articulate.sigma.StringUtil
-
Convert an arbitrary string to a legal KIF identifier by
substituting dashes for illegal characters.
- StringToPrologID(String) - Static method in class com.articulate.sigma.StringUtil
-
Convert an arbitrary string to a legal Prolog identifier by
substituting dashes for illegal characters.
- StringUtil - Class in com.articulate.sigma
-
A utility class that defines static methods for common string
manipulation operations.
- stripNamespacePrefix(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns term without its namespace prefix if it appears to have
one in kb, else just returns term.
- styleSheet - Variable in class com.articulate.sigma.DocGen
-
The style sheet (CSS filename) to be referenced in HTML generation
- subAttributeOf(String, String) - Method in class com.articulate.sigma.KBcache
-
Find whether the given class is the subAttribute of the given parent class.
- subclassOf(String, String) - Method in class com.articulate.sigma.KBcache
-
Find whether the given class has the given parent class.
- subelements - Variable in class com.articulate.sigma.BasicXMLelement
-
Any subelements of the tag, meaning any other
tags that are nested within this one.
- submit(String) - Method in class com.articulate.sigma.CELT
-
Submit a sentence, terminated by a period or question mark and
return a KIF formula that is equivalent.
- submitQuery(String, KB) - Method in class com.articulate.sigma.EProver
-
Submit a query.
- submitQuery(String, int, int) - Method in class com.articulate.sigma.InferenceEngine
-
Submit a query.
- submitQuery(String, int, int) - Method in class com.articulate.sigma.SInE
-
- submitQuery(String, int, int) - Method in class com.articulate.sigma.Vampire
-
Submit a query.
- subst(String, String, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
A utility function that mimics the functionality of the perl
substitution feature (s/match/replacement/).
- substituteVariables(Map<String, String>) - Method in class com.articulate.sigma.Clausifier
-
Replace variables with a value as given by the map argument
- substituteVariables(Map<String, String>) - Method in class com.articulate.sigma.Formula
-
Replace variables with a value as given by the map argument
- substTest(String, String, String, HashMap<String, HashSet<String>>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
A utility function that mimics the functionality of the perl
substitution feature (s/match/replacement/) but rather than
returning the result of the substitution, just tests whether the
result is a key in a hashtable.
- SUMO - Variable in class com.articulate.sigma.Hotel
-
- sumoFileDisplay(String, String, String) - Method in class com.articulate.sigma.wordNet.WordNet
-
A routine which takes a full pathname as input and returns a sentence by sentence display of sense
and sentiment analysis
- SUMOformulaToTPTPformula - Class in com.articulate.sigma.trans
-
- SUMOformulaToTPTPformula() - Constructor for class com.articulate.sigma.trans.SUMOformulaToTPTPformula
-
- SUMOHash - Variable in class com.articulate.sigma.wordNet.WordNet
-
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.
- SUMOKBtoTPTPKB - Class in com.articulate.sigma.trans
-
- SUMOKBtoTPTPKB() - Constructor for class com.articulate.sigma.trans.SUMOKBtoTPTPKB
-
- SUMOKBtoTPTPKB.OrderedFormulae - Class in com.articulate.sigma.trans
-
- SumoProcess - Class in com.articulate.sigma.nlg
-
Handles verb functionality for a SUMO process.
- SumoProcess(SumoProcess, KB) - Constructor for class com.articulate.sigma.nlg.SumoProcess
-
- SumoProcess(String, KB) - Constructor for class com.articulate.sigma.nlg.SumoProcess
-
- SumoProcessCollector - Class in com.articulate.sigma.nlg
-
This object represents a process or an event, holding information on its case roles as
well as the entities which play that role.
- SumoProcessCollector(KB, String, String, String) - Constructor for class com.articulate.sigma.nlg.SumoProcessCollector
-
Construct a SumoProcessCollector.
- SumoProcessEntityProperty - Class in com.articulate.sigma.nlg
-
Hold properties associated with a SumoProcessCollector.
- SumoProcessEntityProperty(Formula) - Constructor for class com.articulate.sigma.nlg.SumoProcessEntityProperty
-
- SUMOReviews(ArrayList<Hotel>) - Static method in class com.articulate.sigma.DB
-
- sumoSentenceDisplay(String, String, String) - Method in class com.articulate.sigma.wordNet.WordNet
-
A routine which looks up a given list of words in the hashtables
to find the relevant word definitions and SUMO mappings.
- sumoSentimentDisplay(String) - Method in class com.articulate.sigma.wordNet.WordNet
-
A routine that uses computeSentiment in DB.java to display a sentiment score for a single sentence
as well as the individual scores of scored descriptors.
- suspendEncoding() - Method in class com.articulate.sigma.Base64.OutputStream
-
Suspends encoding of the stream.
- sval - Variable in class com.articulate.sigma.StreamTokenizer_s
-
If the current token is a word token, this field contains a
string giving the characters of the word token.
- SVOElement - Class in com.articulate.sigma.nlg
-
An element in a sentence conceived of as having a Subject-Verb-Object grammar.
- SVOElement(SVOElement.SVOGrammarPosition) - Constructor for class com.articulate.sigma.nlg.SVOElement
-
- SVOElement.NUMBER - Enum in com.articulate.sigma.nlg
-
- SVOElement.SVOGrammarPosition - Enum in com.articulate.sigma.nlg
-
- SVOGrammar - Class in com.articulate.sigma.nlg
-
Handles properties of traditional Subject-Verb-Object grammar, allowing for both default cases and exceptions for
specific verbs.
- SVOGrammar() - Constructor for class com.articulate.sigma.nlg.SVOGrammar
-
- synesthesiaCompare(HashMap<String, HashSet<String>>, HashSet<String>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Compare Lievers list of synesthetic words with those derived from
SUMO-WordNet
- synestheticSynsets(HashMap<String, HashSet<String>>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Find all the words that exhibit links to multiple sensory modes
in SUMO
- synsetFromOntoNotes(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
Extract the nine digit synset ID corresponding to a word-POS.num sense key.
- synsetFromTermFormat(Formula, String, String, KB) - Method in class com.articulate.sigma.wordNet.WordNet
-
Generate a new synset from a termFormat statement
- synsetList(ArrayList<String>, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Show a hyperlinked list of WordNet synsets.
- synsetsToWords - Variable in class com.articulate.sigma.wordNet.WordNet
-
Keys are String POS-prefixed synsets.
- synsetsWithoutFoundTerms(KB) - Static method in class com.articulate.sigma.wordNet.WNdiagnostics
-
- synsetsWithoutTerms() - Static method in class com.articulate.sigma.wordNet.WNdiagnostics
-
- synsetToOneWord(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- Table - Class in com.articulate.delphi
-
A class that encrypts a string and checks it against another stored
encrypted string, in order to validate a user login.
- Table() - Constructor for class com.articulate.delphi.Table
-
- TableAverage - Class in com.articulate.delphi
-
A class that holds and calculates the average judgements of several
Delphi users.
- TableAverage() - Constructor for class com.articulate.delphi.TableAverage
-
- tables - Variable in class com.articulate.delphi.Project
-
String user names point to Table values.
- tagname - Variable in class com.articulate.sigma.BasicXMLelement
-
The name of the tag
- taID - Variable in class com.articulate.sigma.Hotel
-
- takesIndefiniteArticle(String, KB) - Static method in class com.articulate.sigma.nlg.Noun
-
Determine whether the given noun requires an indefinite article ("a"/"an").
- tallyAxioms(String) - Static method in class com.articulate.sigma.ProofProcessor
-
Tally the number of appearances of a particular axiom label in
a file.
- TaxoModel - Class in com.articulate.sigma
-
A model for an expandable tree widget
- TaxoModel() - Constructor for class com.articulate.sigma.TaxoModel
-
- TaxoNode - Class in com.articulate.sigma
-
Class that holds information about each node in the tree.
- TaxoNode() - Constructor for class com.articulate.sigma.TaxoNode
-
- tel - Variable in class com.articulate.sigma.Hotel
-
- tell(String) - Method in class com.articulate.sigma.KB
-
Adds a
formula to the knowledge base.
- termDepth(String) - Method in class com.articulate.sigma.KB
-
- termFormatsToSynsets(KB) - Method in class com.articulate.sigma.wordNet.WordNet
-
Generate a new synset from a termFormat
- termFrequency - Variable in class com.articulate.sigma.KB
-
- termFrequency - Variable in class com.articulate.sigma.KIF
-
A hashMap to store term frequencies for each term in knowledge base
- terminate() - Method in class com.articulate.sigma.EProver
-
Terminate this instance of EProver.
- terminate() - Method in class com.articulate.sigma.InferenceEngine
-
Terminates this instance of InferenceEngine.
- terminate() - Method in class com.articulate.sigma.Vampire
-
Terminate this instance of Vampire.
- termIntersection(KB, String, String) - Static method in class com.articulate.sigma.KButilities
-
Get all formulas that contain both terms.
- termList(ArrayList<String>, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Show a hyperlinked list of terms.
- termMappingsList(String, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Show a hyperlinked list of term mappings from WordNet.
- termMentionSuffix - Static variable in class com.articulate.sigma.Formula
-
- termPage - Static variable in class com.articulate.sigma.TaxoModel
-
- terms - Variable in class com.articulate.sigma.KB
-
A synchronized SortedSet of Strings, which are all the terms in the KB.
- terms - Variable in class com.articulate.sigma.KIF
-
The set of all terms in the knowledge base.
- termSeparator - Static variable in class com.articulate.sigma.Mapping
-
- termsNotBelowEntity(KB) - Static method in class com.articulate.sigma.Diagnostics
-
Return a list of terms that do not have Entity as a parent term.
- termsWithMultipleDoc(KB) - Static method in class com.articulate.sigma.Diagnostics
-
Return a list of terms that have more than one documentation string.
- termsWithoutDoc(KB) - Static method in class com.articulate.sigma.Diagnostics
-
Return a list of terms that do not have a documentation string.
- termsWithoutRelation(KB, String, int, int, char) - Static method in class com.articulate.sigma.Diagnostics
-
Return a list of terms (for a given argument position) that do not
have a specified relation.
- termsWithoutRules(KB) - Static method in class com.articulate.sigma.Diagnostics
-
Find all terms which do not appear in any implication (rule).
- termSymbolPrefix - Static variable in class com.articulate.sigma.Formula
-
- termVariablePrefix - Static variable in class com.articulate.sigma.Formula
-
- test(KB) - Static method in class com.articulate.sigma.CELTTestSuite
-
Reads a KIF file consisting of pairs of (sentence...
- test(KB) - Static method in class com.articulate.sigma.InferenceTestSuite
-
Convenience method that sets default parameters
- test(KB, String, int) - Static method in class com.articulate.sigma.InferenceTestSuite
-
Convenience method that sets some default parameters
- test(KB, String, int, String) - Static method in class com.articulate.sigma.InferenceTestSuite
-
The main method that controls running a set of tests and returning
the result as an HTML page showing test results and links to proofs.
- test() - Static method in class com.articulate.sigma.PredVarInst
-
- test1() - Static method in class com.articulate.sigma.Clausifier
-
A test method.
- test1() - Static method in class com.articulate.sigma.nlg.LanguageFormatter
-
- test2() - Static method in class com.articulate.sigma.nlg.LanguageFormatter
-
- test3() - Static method in class com.articulate.sigma.nlg.LanguageFormatter
-
- testAddTypes() - Static method in class com.articulate.sigma.FormulaPreprocessor
-
- testArg2ArrayList() - Static method in class com.articulate.sigma.Formula
-
A test method.
- testBigArgs() - Static method in class com.articulate.sigma.Formula
-
A test method.
- testBinarize() - Static method in class com.articulate.sigma.Prenexifier
-
- testCar1() - Static method in class com.articulate.sigma.Formula
-
A test method.
- testClausifier(String[]) - Static method in class com.articulate.sigma.Clausifier
-
A test method.
- testClausifier(String[]) - Static method in class com.articulate.sigma.Formula
-
A test method.
- testCollectVariables() - Static method in class com.articulate.sigma.Formula
-
A test method.
- testCommonParent() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
A method used only for testing.
- testComplexArgs() - Static method in class com.articulate.sigma.Formula
-
A test method.
- testDocGenControlBits(int) - Method in class com.articulate.sigma.DocGen
-
Returns true if the bit values represented by valToTest are
among the control bits represented for this DocGen instance.
- testDocGenControlBits(String) - Method in class com.articulate.sigma.DocGen
-
Returns true if the bit values corresponding to token are among
the control bits represented for this DocGen instance.
- testE() - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
- testFindExplicit() - Static method in class com.articulate.sigma.FormulaPreprocessor
-
- testFindTypes() - Static method in class com.articulate.sigma.FormulaPreprocessor
-
- testFormatProof() - Static method in class com.articulate.sigma.ProofProcessor
-
- testFour() - Static method in class com.articulate.sigma.FormulaPreprocessor
-
- testIsSimpleClause() - Static method in class com.articulate.sigma.Formula
-
A test method.
- testIsValidKey() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
A method used only for testing.
- testOne() - Static method in class com.articulate.sigma.FormulaPreprocessor
-
- testParseProofFile() - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
- testParseProofStep() - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
- testProcessPointers() - Static method in class com.articulate.sigma.wordNet.WordNet
-
A method used only for testing.
- testRemoveAnswer() - Static method in class com.articulate.sigma.ProofProcessor
-
- testReplaceVar() - Static method in class com.articulate.sigma.Formula
-
A test method.
- testSentenceWSD() - Static method in class com.articulate.sigma.wordNet.WSD
-
A method used only for testing.
- testSentenceWSD2() - Static method in class com.articulate.sigma.wordNet.WSD
-
A method used only for testing.
- testSentiment() - Static method in class com.articulate.sigma.DB
-
- testSentimentCorpus() - Static method in class com.articulate.sigma.DB
-
- testSynesthesia() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- testThree() - Static method in class com.articulate.sigma.FormulaPreprocessor
-
- testTptpParse() - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula
-
A test method.
- testTwo() - Static method in class com.articulate.sigma.FormulaPreprocessor
-
- testWord() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
-
- testWordFreq() - Static method in class com.articulate.sigma.wordNet.WordNet
-
A method used only for testing.
- testWordWSD() - Static method in class com.articulate.sigma.wordNet.WSD
-
A method used only for testing.
- textFileSentiment(String, boolean) - Static method in class com.articulate.sigma.DB
-
Compute sentiment for each line of a text file and output as CSV.
- textFormat(String) - Static method in class com.articulate.sigma.Formula
-
Format a formula for text presentation.
- textSentiment() - Static method in class com.articulate.sigma.DB
-
- textSentimentByPeriod() - Static method in class com.articulate.sigma.DB
-
- theFormula - Variable in class com.articulate.sigma.Formula
-
The formula in textual forms.
- theTptpFormulas - Variable in class com.articulate.sigma.Formula
-
A list of TPTP formulas (Strings) that together constitute the
translation of theFormula.
- THF - Class in com.articulate.sigma.trans
-
This class handles the conversion of problems (= axioms + queries)
from their KIF representation into a THF representation; THF is the
TPTP standard for classical higher-order logic, i.e.
- THF() - Constructor for class com.articulate.sigma.trans.THF
-
- threshold - Static variable in class com.articulate.sigma.wordNet.WSD
-
- tick() - Method in class com.articulate.sigma.utils.ProgressPrinter
-
- TIMESFN - Static variable in class com.articulate.sigma.Formula
-
- titleText - Variable in class com.articulate.sigma.DocGen
-
The document title text to be used for HTML generation
- toBase64(String, String) - Static method in class com.articulate.sigma.StringUtil
-
Given an input String encoded in charset, returns a String
representing the base-64 encoding of the input.
- toCanonicalClausalForm() - Method in class com.articulate.sigma.Clausifier
-
This method converts the SUO-KIF Formula to a canonical version
of clausal (resolution, conjunctive normal) form with Skolem
functions, following the procedure described in Logical
Foundations of Artificial Intelligence, by Michael Genesereth
and Nils Nilsson, 1987, pp.
- toCanonicalClausalForm(Formula) - Static method in class com.articulate.sigma.Clausifier
-
convenience method
- toCanonicalKifSpecialForm(boolean) - Method in class com.articulate.sigma.Clausifier
-
This method returns a canonical version of this Formula,
assumed to be a KIF "special" form, in which all internal
first-order KIF formulae are replaced by their canonical
versions, and all variables are renamed, in left to right
depth-first order of occurrence, starting from index 1.
- toCaseRole(String, KB) - Static method in enum com.articulate.sigma.nlg.CaseRole
-
Return a valid case role based on the string input.
- tocHeader - Variable in class com.articulate.sigma.DocGen
-
The header to be used for the the table of contents (or index
list) section during HTML generation.
- toDB(Connection) - Method in class com.articulate.sigma.User
-
save the object in the relational DB
- toFileString() - Method in class com.articulate.sigma.SimpleElement
-
- toFileString(int) - Method in class com.articulate.sigma.SimpleElement
-
- toggleRole(Connection) - Method in class com.articulate.sigma.User
-
toggle user role between 'guest' and 'user'
- toHTML(boolean, String, TableAverage) - Method in class com.articulate.delphi.Table
-
Generate an HTML table from the "rows" variable in this class.
- toHTML(String) - Static method in class com.articulate.sigma.TaxoModel
-
- toHTML(String, int) - Method in class com.articulate.sigma.TaxoNode
-
- tok - Variable in class com.articulate.sigma.wordNet.BrownCorpus.Token
-
- Token() - Constructor for class com.articulate.sigma.wordNet.BrownCorpus.Token
-
- tokens - Variable in class com.articulate.sigma.wordNet.BrownCorpus.Sentence
-
- toKifNamespace(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a SUO-KIF term denoting a namespace.
- toNaturalLanguage() - Method in class com.articulate.sigma.nlg.Sentence
-
Attempt to perform natural language generation on this object.
- toNaturalLanguage() - Method in class com.articulate.sigma.nlg.SumoProcessCollector
-
Translate this process and its case roles into natural language.
- toNegAndPosLitsWithRenameInfo() - Method in class com.articulate.sigma.Clausifier
-
TODO: Note mixed types in return List! Fixme!
This method converts the SUO-KIF Formula to an ArrayList of
clauses.
- toNegAndPosLitsWithRenameInfo(Formula) - Static method in class com.articulate.sigma.Clausifier
-
convenience method
- toOMWsynset(String) - Static method in class com.articulate.sigma.wordNet.OMWordnet
-
Convert a 9-digit, POS-prefixed WordNet synset to a POS-suffix
OMW synset.
- toOpenQueryForNegatedDualForm() - Method in class com.articulate.sigma.Clausifier
-
This method returns an open Formula that constitutes a KIF
query expression, which is generated from the canonicalized
negation of the original Formula.
- toProlog() - Method in class com.articulate.sigma.Formula
-
Format a formula as a prolog statement.
- toProlog(Formula) - Static method in class com.articulate.sigma.FormulaUtil
-
Must check that this is a simple clause before calling!
- topSUMOInReviews(ArrayList<Hotel>) - Static method in class com.articulate.sigma.DB
-
Excludes cases of where the mapping is to multiple SUMO terms
- toSafeNamespaceDelimiter(String) - Static method in class com.articulate.sigma.StringUtil
-
Replaces the namespace delimiter in term with a string that is
safe for inference, and for all common file systems.
- toSafeNamespaceDelimiter(String, String) - Static method in class com.articulate.sigma.StringUtil
-
Replaces the namespace delimiter in term with a string that is
safe for inference and for all common file systems, but only if
kbHref is an empty string or == null.
- toString() - Method in class com.articulate.sigma.AVPair
-
- toString() - Method in class com.articulate.sigma.BasicXMLelement
-
Convert the XML element to a String.
- toString() - Method in class com.articulate.sigma.BasicXMLparser
-
Convert the XML hierarchy to a String.
- toString() - Method in class com.articulate.sigma.Clausifier
-
- toString() - Method in class com.articulate.sigma.Formula
-
Format a formula for text presentation.
- toString() - Method in class com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey
-
- toString() - Method in class com.articulate.sigma.Hotel.JSONElement
-
- toString() - Method in class com.articulate.sigma.Hotel
-
- toString() - Method in class com.articulate.sigma.nlg.SumoProcess
-
Indirectly invoked by SumoProcessCollector.toString( ).
- toString() - Method in class com.articulate.sigma.nlg.SumoProcessCollector
-
Write out a string representing all the fields in this object.
- toString() - Method in class com.articulate.sigma.nlg.SumoProcessEntityProperty
-
- toString() - Method in class com.articulate.sigma.ProofStep
-
- toString(int, boolean) - Method in class com.articulate.sigma.SimpleElement
-
- toString() - Method in class com.articulate.sigma.SimpleElement
-
- toString() - Method in class com.articulate.sigma.StreamTokenizer_s
-
Returns the string representation of the current stream token.
- toString() - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
Convert bindings in list to string
- toString() - Method in class com.articulate.sigma.User
-
- toString() - Method in class com.articulate.sigma.VariableMapping
-
- toString() - Method in class com.articulate.sigma.wordNet.BrownCorpus.Doc
-
- toString() - Method in class com.articulate.sigma.wordNet.BrownCorpus.Para
-
- toString() - Method in class com.articulate.sigma.wordNet.BrownCorpus.Sentence
-
- toString() - Method in class com.articulate.sigma.wordNet.BrownCorpus.Token
-
- toStringMeta() - Method in class com.articulate.sigma.Formula
-
Format a formula for text presentation include file and line#.
- toTable() - Method in class com.articulate.delphi.TableAverage
-
Convert the TableAverage to a Table by converting each Distribution
to a String value of the numerator divided by the denominator.
- totalTime - Static variable in class com.articulate.sigma.InferenceTestSuite
-
Total time
- toText() - Method in class com.articulate.sigma.wordNet.BrownCorpus.Sentence
-
- toXML() - Method in class com.articulate.delphi.Cell
-
The justification String is the body of the | tag. |
- toXML() - Method in class com.articulate.delphi.Project
-
Convert the project to an XML-formatted String.
- toXML() - Method in class com.articulate.delphi.Table
-
Create an XML-formatted String
- TPTP2SUMO - Class in com.articulate.sigma.trans
-
- TPTP2SUMO() - Constructor for class com.articulate.sigma.trans.TPTP2SUMO
-
- TPTP3ProofProcessor - Class in com.articulate.sigma.trans
-
- TPTP3ProofProcessor() - Constructor for class com.articulate.sigma.trans.TPTP3ProofProcessor
-
- TPTPidCounter - Static variable in class com.articulate.sigma.wordNet.WordNetUtilities
-
- tptpOutputTest(String) - Static method in class com.articulate.sigma.KIF
-
Writes the TPTP output to a file.
- tptpParse(Formula, boolean, KB, List<Formula>) - Method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula
-
Parse formulae into TPTP format
Result is returned in _f.theTptpFormulas
- tptpParse(Formula, boolean, KB) - Method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula
-
Parse formulae into TPTP format
- tptpParse() - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
-
This method translates the entire KB to TPTP format, storing
the translation for each Formula in the List identified by the
private member Formula.theTptpFormulas.
- tptpParseSUOKIFString(String, boolean) - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula
-
Parse a single formula into TPTP format
- tptpProof(ArrayList<ProofStep>) - Static method in class com.articulate.sigma.ProofProcessor
-
Convert XML proof to TPTP format
- TPTPutil - Class in com.articulate.sigma.trans
-
- TPTPutil() - Constructor for class com.articulate.sigma.trans.TPTPutil
-
- transformTerm(String) - Static method in class com.articulate.sigma.trans.TPTP2SUMO
-
remove termSymbolPrefix and termMentionSuffix
- transInstOf(String, String) - Method in class com.articulate.sigma.KBcache
-
Find whether the given instance has the given parent class.
- translateCurrProcessInstantiation(KB, Formula) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
If possible, translate the process instantiation and insert the translation into the topmost
stack element.
- transRels - Variable in class com.articulate.sigma.KBcache
-
- treeReplace(String, String, String) - Static method in class com.articulate.sigma.StringUtil
-
Performs a depth-first search of tree, replacing all terms
matching oldPattern with newTerm.
- trimBrackets(String) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
Remove brackets if it contains
- trimParens(String) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor
-
Remove parentheses if it contains
- TT_EOF - Static variable in class com.articulate.sigma.StreamTokenizer_s
-
A constant indicating that the end of the stream has been read.
- TT_EOL - Static variable in class com.articulate.sigma.StreamTokenizer_s
-
A constant indicating that the end of the line has been read.
- TT_NUMBER - Static variable in class com.articulate.sigma.StreamTokenizer_s
-
A constant indicating that a number token has been read.
- TT_WORD - Static variable in class com.articulate.sigma.StreamTokenizer_s
-
A constant indicating that a word token has been read.
- ttype - Variable in class com.articulate.sigma.StreamTokenizer_s
-
After a call to the nextToken method, this field
contains the type of the token just read.
- type - Variable in class com.articulate.sigma.wordNet.BrownCorpus.Token
-