- page(String, int, String, String, String) - Method in class com.articulate.sigma.WordNet
-
This is the regular point of entry for this class.
- 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(Lexer, int) - Static method in class com.articulate.sigma.semRewrite.LHS
-
- parse(Lexer, int) - Static method in class com.articulate.sigma.semRewrite.Literal
-
- parse(Lexer, int) - Static method in class com.articulate.sigma.semRewrite.RHS
-
The predicate must already have been read
- parse(Lexer) - Static method in class com.articulate.sigma.semRewrite.Rule
-
We won't know whether it's a fact or a rule until we read the
first token, so the first token for LHS will always be already
in st.sval
- parse(Lexer) - Method in class com.articulate.sigma.semRewrite.RuleSet
-
- parse(Reader) - Method in class com.articulate.sigma.SimpleDOMParser
-
- 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.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.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.TPTP3ProofProcessor
-
Compute bindings and proof from E's response
- parseProofOutput(ArrayList<String>, KB) - Static method in class com.articulate.sigma.TPTP3ProofProcessor
-
Compute binding and proof from E's response
- parseProofOutput(String, KB) - Static method in class com.articulate.sigma.TPTP3ProofProcessor
-
- parseProofStep(String) - Method in class com.articulate.sigma.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
-
- parseSimple(Lexer) - Static method in class com.articulate.sigma.semRewrite.CNF
-
Only positive clauses, no disjuncts, which is the output format
of the Stanford Dependency Parser
- parseStatement(String) - Method in class com.articulate.sigma.KIF
-
Parse a single formula.
- parseString(String) - Static method in class com.articulate.sigma.semRewrite.Rule
-
- parseSupports(String) - Method in class com.articulate.sigma.TPTP3ProofProcessor
-
Parse support / proof statements in E's response
- 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.
- 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 - Class in com.articulate.sigma.nlp.pipeline
-
- Pipeline() - Constructor for class com.articulate.sigma.nlp.pipeline.Pipeline
-
- Pipeline(boolean) - Constructor for class com.articulate.sigma.nlp.pipeline.Pipeline
-
- 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.
- Plus - Static variable in class com.articulate.sigma.semRewrite.Lexer
-
- PLUSFN - Static variable in class com.articulate.sigma.Formula
-
- pop(StackElement) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Pop the top element of the stack if it is inElement.
- populateParserInfo(String) - Method in class com.articulate.sigma.semRewrite.datesandnumber.StanfordDateTimeExtractor
-
Calls the stanford parser and extracts the necessary information about the words in the string
and stores them in Token object for further usage.
- populateRootWord(int) - Method in class com.articulate.sigma.semRewrite.datesandnumber.Utilities
-
- pos - Variable in class com.articulate.sigma.semRewrite.Lexer
-
- POS_CC - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_CD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_DT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_EX - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_FW - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_IN - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_JJ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_JJR - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_JJS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_LS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_MD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_NN - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_NNP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_NNPS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_NNS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_PDT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_POS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_PRP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_PRPS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_RB - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_RBR - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_RBS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_RP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_SYM - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_TO - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_UH - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_VB - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_VBD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_VBG - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_VBN - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_VBP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_VBZ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_WDT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_WP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_WPS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- POS_WRB - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- position - Variable in class com.articulate.sigma.nlg.SVOElement
-
- posLettersToNumber(String) - Static method in class com.articulate.sigma.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.WordNetUtilities
-
- posNumberToLetter(char) - Static method in class com.articulate.sigma.WordNetUtilities
-
- posNumberToLetters(String) - Static method in class com.articulate.sigma.WordNetUtilities
-
Convert a part of speech number to the two letter format used by
the WordNet sense index code.
- 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.
- postProcess(String) - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- pred - Variable in class com.articulate.sigma.semRewrite.Literal
-
- 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.
- prepare(List<String>, String) - Method in class com.articulate.sigma.nlp.TFIDF
-
- prepareLine(String) - Method in class com.articulate.sigma.nlp.TFIDF
-
- 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.
- preProcessQuestionWords(List<String>) - Method in class com.articulate.sigma.semRewrite.Clause
-
- preProcessQuestionWords(List<String>) - Method in class com.articulate.sigma.semRewrite.CNF
-
- preProcessQuestionWords(CNF) - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- preProcessQuestionWords(List<String>) - Method in class com.articulate.sigma.semRewrite.Literal
-
If the tokens in the literal are derived from words parsed
from the Stanford dependency parser, and therefore in the form
word-xx, where xx are digits, prepend a '?' to signify that
it's a variable.
- PresentationNameComparator() - Constructor for class com.articulate.sigma.DocGen.PresentationNameComparator
-
- preserve - Variable in class com.articulate.sigma.semRewrite.Literal
-
- print() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
-
- 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.TPTP3ProofProcessor
-
Print out E's bindings
- printCorefChain(Annotation) - Static method in class com.articulate.sigma.nlp.pipeline.SentenceUtil
-
Print the coreference link graph
Each chain stores a set of mentions that link to each other,
along with a method for getting the most representative mention
Both sentence and token offsets start at 1!
- 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
- printKB(ArrayList<CNF>) - Method in class com.articulate.sigma.semRewrite.Interpreter
-
- printRuleSetTree(ArrayList<Rule>, Map<Integer, HashSet<Integer>>) - Static method in class com.articulate.sigma.semRewrite.SemRewriteRuleCheck
-
//TODO
- printSentences(Annotation) - Static method in class com.articulate.sigma.nlp.pipeline.SentenceUtil
-
Print all the sentences in this document
CoreMap is essentially a Map that uses class objects as keys and
has values with custom types
- printSpreadsheet(TreeMap, ArrayList) - Method in class com.articulate.sigma.DB
-
Print a comma-delimited matrix.
- printStatistics() - Static method in class com.articulate.sigma.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.SUMOKBtoTPTPKB
-
- Procedures - Class in com.articulate.sigma.semRewrite
-
- Procedures() - Constructor for class com.articulate.sigma.semRewrite.Procedures
-
- processAnswers(String) - Method in class com.articulate.sigma.TPTP3ProofProcessor
-
Return bindings from E's answer tuples
- processDate(Tokens, Utilities, List<Tokens>, Tokens) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DatesAndDuration
-
- processDependency(DependencyConverter.Node) - Static method in class com.articulate.sigma.DependencyConverter
-
Process one grammatical dependency statements from the Stanford
parser into a logical expression using SUMO terms.
- processDocString(KB, String, String, String, boolean, boolean) - Method in class com.articulate.sigma.DocGen
-
- processDuration(Tokens, Utilities, Tokens) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DatesAndDuration
-
- processExtraction(ArrayList<String>) - Static method in class com.articulate.sigma.NER
-
- processFormalLanguage(String) - Static method in class com.articulate.sigma.HTMLformatter
-
- processInput(String) - Method in class com.articulate.sigma.semRewrite.Interpreter
-
Processes the user's input by adding coreferencing information
Save processed input into Document
- processMissingLinks(String, String, String) - Static method in class com.articulate.sigma.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
-
- processOneOXMLHotel(Element) - Static method in class com.articulate.sigma.Hotel
-
- processOneXMLHotel(Element) - Static method in class com.articulate.sigma.Hotel
-
- processPhrasalVerbs(List<String>) - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
Combine phrasal verbs in dependency parsing results.
- processPrologString(String) - Method in class com.articulate.sigma.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
- processWordIndexes() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
-
- ProgressPrinter - Class in com.articulate.sigma.utils
-
- ProgressPrinter(int) - Constructor for class com.articulate.sigma.utils.ProgressPrinter
-
- Prolog - Class in com.articulate.sigma
-
- Prolog() - Constructor for class com.articulate.sigma.Prolog
-
- proof - Variable in class com.articulate.sigma.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.
- 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.