R-Index (Sigma API Specification)

A B C D E F G H I J K L M N O P Q R S T U V W X _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

R

R_PREF - Static variable in class com.articulate.sigma.Formula
randomString() - Static method in class com.articulate.sigma.ClientHttpRequest
rapidParsing - Static variable in class com.articulate.sigma.trans.SUMOKBtoTPTPKB: Flag to enable rapid parsing via multiple threads coordinated by an ExecutorService
RAT_SUFFIX - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB
rChildren - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB
read(FormulaAST) - Method in class com.articulate.sigma.FormulaAST
read(String) - Method in class com.articulate.sigma.dataProc.WikiMuscle
read(String) - Method in class com.articulate.sigma.Formula: Read a String into the variable 'theFormula'.
read(String) - Method in class com.articulate.sigma.FormulaAST
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
readArgs(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Frame
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.
readConstituent(String) - Method in class com.articulate.sigma.KB
readCSVHotels(String) - Static method in class com.articulate.sigma.dataProc.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.
readDesc(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Frame
readEx(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Frame
readFile(String) - Method in class com.articulate.sigma.KIF: Read a KIF file.
readFile(String) - Method in class com.articulate.sigma.KIFAST: 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(String) - Static method in class com.articulate.sigma.wordNet.WSD
readFile(Path) - Method in class com.articulate.sigma.wordNet.BrownCorpus
readFileIntoArray(String) - Static method in class com.articulate.sigma.wordNet.WSD
readFrame(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Frame
readFrames(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Verb
readJSONHotels(String, boolean) - Static method in class com.articulate.sigma.dataProc.Hotel
readKeywordMap(String) - Static method in class com.articulate.sigma.nlg.NLGUtils: Read a set of standard words and phrases in several languages.
readMember(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Verb
readMembers(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Verb
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.dataProc.Hotel
readPreambles() - Method in class com.articulate.sigma.mlpipeline.MLpipeline
readPred(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Frame
readProducts(String, Infrastructure.Mappings) - Method in class com.articulate.sigma.dataProc.Infrastructure: A list of products can be very long so parse each JSON object individually so as to provide a status.
readSelrestrs(SimpleElement) - Static method in class com.articulate.sigma.VerbNet.Verb
readSem(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Frame
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
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) - Static method in class com.articulate.sigma.DB
readSpreadsheet(String, List, boolean, char) - Static method in class com.articulate.sigma.DB: Parse a CSV file into an ArrayList of ArrayLists.
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 process side effect on static variable "stopConcept"
readStopWords() - Method in class com.articulate.sigma.wordNet.WordNet
readSubclasses(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Verb
readSyn(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Frame
readSynrestrs(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Frame
readTestFile(File) - Method in class com.articulate.sigma.InferenceTestSuite: Read in a .tq inference test files and return an InfTestData object or null if error Note that if the expected answer is a skolem term, the function is converted to 'sK1'
readTestFiles(List<File>) - Method in class com.articulate.sigma.InferenceTestSuite: Read in all the .tq inference test files from the given list
readTextFile(String) - Method in class com.articulate.sigma.dataProc.Antenna
readThemeRole(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Verb
readThemeRoles(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Verb
readTraining() - Method in class com.articulate.sigma.mlpipeline.MLpipeline
readVerb(SimpleElement) - Method in class com.articulate.sigma.VerbNet.Verb
readVerbFiles() - Static method in class com.articulate.sigma.VerbNet.VerbNet
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.
readXMLFile(String) - Method in class com.articulate.sigma.dataProc.Antenna
readXMLHotels(String) - Static method in class com.articulate.sigma.dataProc.Hotel: Convert a particular XML markup into an array of hotels
REAL_SUFFIX - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB
RearDBtoKIF() - Static method in class com.articulate.sigma.DB
Record() - Constructor for class com.articulate.sigma.dataProc.WikiMuscle.Record
records - Variable in class com.articulate.sigma.dataProc.WikiMuscle
refreshExecutorService() - Static method in class com.articulate.sigma.KButilities: Force a refresh of the ExecutorService - useful when switching contexts
regexPatterns - Static variable in class com.articulate.sigma.wordNet.WordNet: This array contains all of the compiled Pattern objects that will be used by methods in this file.
regexPatternStrings - Static variable in class com.articulate.sigma.wordNet.WordNet: This array contains all of the regular expression strings that will be compiled to Pattern objects for use in the methods in this file.
regHOL3pred - Static variable in class com.articulate.sigma.trans.Modals
regHOLpred - Static variable in class com.articulate.sigma.trans.Modals
register() - Method in class com.articulate.sigma.PasswordService: Command line initiated method for registering a Sigma user with role guest.
RegVar() - Constructor for class com.articulate.sigma.FormulaAST.RegVar
rejectDoubles - Static variable in class com.articulate.sigma.PredVarInst
rel - Variable in class com.articulate.sigma.KButilities.GraphArc
relation - Variable in class com.articulate.sigma.Formula
relation - Static variable in class com.articulate.sigma.TaxoModel
RelationArgumentAnnotation() - Constructor for class com.articulate.sigma.nlg.LanguageFormatter.RelationArgumentAnnotation
relationExtractNonNumericSig(String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Return the full signature
relationExtractSigFromName(String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Extract modifications to the relation signature from annotations embedded in the suffixes to its name.
relationExtractUpdateSigFromName(String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Extract modifications to the relation signature from annotations embedded in the suffixes to its name.
relations - Variable in class com.articulate.sigma.dataProc.Infrastructure.Mappings
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.
relsForType - Variable in class com.articulate.sigma.dataProc.Infrastructure
REMAINDERFN - Static variable in class com.articulate.sigma.Formula
remove(String) - Method in class com.articulate.sigma.KBmanager: Remove the KB that has the given name.
removeAnswerClause(Formula) - Static method in class com.articulate.sigma.FormulaUtil: Factory method for the memo map
removeCached(List<Formula>) - Static method in class com.articulate.sigma.TaxoModel: Remove any cached formulas from a list.
removeDupInArray(List<String>) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** Remove duplicates in an Array without changing the order
removeDuplicates(List<ProofStep>) - Static method in class com.articulate.sigma.ProofStep: Remove duplicate statements in the proof
removeExplicitTypes(Map<String, Set<String>>, Map<String, Set<String>>) - Method in class com.articulate.sigma.parsing.Sortals: If a type is already specified for a variable in a rule with an instance or subclass statement, remove it from the type list so that it won't be added as a type guard
removeHOL - Static variable in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
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.
removeMultiplePredVar(SuokifVisitor) - Static method in class com.articulate.sigma.parsing.Preprocessor: utility to remove explosive rules
removeNestedAnswerClause(String) - Static method in class com.articulate.sigma.ProofProcessor: Remove the $answer clause that eProver returns, including any surrounding connective.
removeNum - Static variable in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
removeNumericInstance(String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: When predicate variable substitution occurs it can result in an argument to the predicate being defined as a particular type.
removePreamble(String) - Static method in class com.articulate.sigma.nlg.LanguageFormatter: Remove the type declarations from the text
removeQuotes(String) - Static method in class com.articulate.sigma.trans.KIF2SQL: Remove quotes around a string
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(List<String>) - Method in class com.articulate.sigma.wordNet.WordNet: Remove stop words from a sentence.
removeStrings - Static variable in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
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.
removeTemporalRelations(String, KB) - Static method in class com.articulate.sigma.Formula: The purpose is to take simple HOL formula with temporal aspects and remove temporal aspects of it in an attempt to take it to FOL.
removeTermPrefixes(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
removeUnnecessary(List<ProofStep>) - Static method in class com.articulate.sigma.ProofStep: created by qingqing remove unnecessary steps, which should not appear in proof Unnecessary steps could be: (1) conjecture (2) duplicate $false;
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.
renameVariableArityRelations(KB, Map<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
renumberProof(List<TPTPFormula>) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** renumber a proof after simplification
renumberSupport(Map<String, TPTPFormula>, TPTPFormula) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** Look through the chain of supporting steps for a source axiom or an axiom with more than one premise.
reorderVampire4_8(List<String>) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor
reorderVampireProofAnyDialect(List<String>) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor: Reorder a Vampire 4.8-style reverse proof into 5.0-style forward order.
reparse(Collection<FormulaAST>) - Method in class com.articulate.sigma.parsing.Preprocessor: After preprocessing, parse the new formula string in order to set the caches correctly
replaceFOFinfRule(List<String>, List<TPTPFormula>) - Static method in class com.articulate.sigma.trans.TPTPutil
replacePredVarsAndRowVars(Formula, KB, boolean) - Method in class com.articulate.sigma.FormulaPreprocessor: Tries to successively instantiate predicate variables and then expand row variables in this Formula, looping until no new Formulae are generated.
replaceQuantifierVars(String, List<String>) - Method in class com.articulate.sigma.Formula
replaceSkolems(String) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** just replace skolem terms with "something" for now
replaceVar(String, String) - Method in class com.articulate.sigma.Formula: Replace v with term.
RESERVED_MODAL_SYMBOLS - Static variable in class com.articulate.sigma.trans.Modals
resetAllForInference(KB) - Static method in class com.articulate.sigma.InferenceTestSuite: Undo all parts of the state that have anything to do with user assertions made during inference.
resetSkolem - Static variable in class com.articulate.sigma.Clausifier
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(Map) - Method in class com.articulate.sigma.DB: Reorganize statistics in a summary form for TPTP test run data
RESOURCE - Enum constant in enum class com.articulate.sigma.nlg.CaseRole
RESOURCE_OUT - Enum constant in enum class com.articulate.sigma.tp.SZSStatus
result - Static variable in class com.articulate.sigma.parsing.SuokifVisitor
result(ATPResult) - Method in class com.articulate.sigma.tp.ATPException.Builder
returnSkolemStmt(String, List<TPTPFormula>) - 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.dataProc.Hotel
RIGID_RELATIONS - Static variable in class com.articulate.sigma.trans.Modals
role - Variable in class com.articulate.sigma.User: A String which is one of: user, registered, administrator.
Role() - Constructor for class com.articulate.sigma.VerbNet.Verb.Role
roles - Variable in class com.articulate.sigma.VerbNet.Verb
rooms - Variable in class com.articulate.sigma.dataProc.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
ROUNDFN - Static variable in class com.articulate.sigma.Formula
RowStruct() - Constructor for class com.articulate.sigma.parsing.FormulaAST.RowStruct
RowStruct(FormulaAST.RowStruct) - Constructor for class com.articulate.sigma.parsing.FormulaAST.RowStruct
rowvar - Variable in class com.articulate.sigma.parsing.FormulaAST.RowStruct
RowVar - Class in com.articulate.sigma.parsing
RowVar() - Constructor for class com.articulate.sigma.FormulaAST.RowVar
RowVar(KB) - Constructor for class com.articulate.sigma.parsing.RowVar
rowVarCache - Variable in class com.articulate.sigma.Formula
rowvarLiterals - Variable in class com.articulate.sigma.parsing.FormulaAST
RowVars - Class in com.articulate.sigma
RowVars() - Constructor for class com.articulate.sigma.RowVars
rowVarStructs - Variable in class com.articulate.sigma.parsing.FormulaAST
RP - Static variable in class com.articulate.sigma.Formula
rules - Variable in class com.articulate.sigma.parsing.SuokifVisitor
run() - Method in class com.articulate.sigma.CCheck
run(KB) - Static method in class com.articulate.sigma.trans.CWAUNA: Collect all constants for types (and subclasses) required for ClosedWorldPredicate(s) and their subrelation(s) and assert them as $distinct.
run(KB, File, int, Set<String>) - Method in class com.articulate.sigma.tp.LEO: Creates a running instance of LEO-III adding a set of statements in THF language to a file and then calling LEO.
run(KB, File, int, Set<String>) - Method in class com.articulate.sigma.tp.Vampire: Creates a running instance of Vampire adding a set of statements in TFF or TPTP language to a file and then calling Vampire.
run(File, int) - Method in class com.articulate.sigma.tp.Vampire: Creates a running instance of Vampire and collects its output
runCustom(File, int, Collection<String>) - Method in class com.articulate.sigma.tp.ECNF: Creates a running instance of Eprover with custom command line options.
runCustom(File, int, Collection<String>) - Method in class com.articulate.sigma.tp.EProver: Creates a running instance of Eprover with custom command line options.
runCustom(File, int, Collection<String>) - Method in class com.articulate.sigma.tp.Vampire: Creates a running instance of Vampire with custom command line options.
runold(KB) - Static method in class com.articulate.sigma.trans.CWAUNA: Collect all constants used in ClosedWorldPredicate(s) and their subrelation(s) and assert them as $distinct.
runOne(KB, String, int, String, boolean) - Method in class com.articulate.sigma.InferenceTestSuite: Thin wrapper for the JSP buttons: returns PASS/FAIL + time + a tiny HTML summary.
runPassing() - Method in class com.articulate.sigma.InferenceTestSuite: Test method
runProver(String[], int) - Method in class com.articulate.sigma.KB
runTest() - Static method in class com.articulate.sigma.FormulaUtil
RVAR - Static variable in class com.articulate.sigma.Formula

A B C D E F G H I J K L M N O P Q R S T U V W X _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form