Index

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

D

Data() - Constructor for class com.articulate.sigma.mlpipeline.MLpipeline.Data

DB - Class in com.articulate.sigma

A class to interface with databases and database-like formats, such as spreadsheets.

DB() - Constructor for class com.articulate.sigma.DB

DB2KIF - Class in com.articulate.sigma.trans

DB2KIF() - Constructor for class com.articulate.sigma.trans.DB2KIF

debug - Static variable in class com.articulate.sigma.Diagnostics

debug - Static variable in class com.articulate.sigma.Formula

debug - Static variable in class com.articulate.sigma.FormulaPreprocessor

debug - Static variable in class com.articulate.sigma.Graph

debug - Static variable in class com.articulate.sigma.HTMLformatter

debug - Static variable in class com.articulate.sigma.InferenceTestSuite

debug - Static variable in class com.articulate.sigma.KB

debug - Static variable in class com.articulate.sigma.KBcache

debug - Static variable in class com.articulate.sigma.KBmanager

debug - Static variable in class com.articulate.sigma.KButilities

debug - Static variable in class com.articulate.sigma.KifFileChecker

debug - Static variable in class com.articulate.sigma.nlg.LanguageFormatter

debug - Static variable in class com.articulate.sigma.nlg.NLGUtils

debug - Static variable in class com.articulate.sigma.parsing.PredVarInst

debug - Static variable in class com.articulate.sigma.parsing.Preprocessor

debug - Variable in class com.articulate.sigma.parsing.RowVar

debug - Variable in class com.articulate.sigma.parsing.Sortals

debug - Static variable in class com.articulate.sigma.parsing.SuokifVisitor

debug - Static variable in class com.articulate.sigma.parsing.TPTPWriter

debug - Variable in class com.articulate.sigma.parsing.VarTypes

debug - Static variable in class com.articulate.sigma.PredVarInst

debug - Static variable in class com.articulate.sigma.ProofStep

debug - Static variable in class com.articulate.sigma.tp.GenPropFormulas

debug - Static variable in class com.articulate.sigma.tp.LEO

debug - Static variable in class com.articulate.sigma.tp.Vampire

debug - Static variable in class com.articulate.sigma.trans.KIF2SQL

debug - Static variable in class com.articulate.sigma.trans.SUMOformulaToTPTPformula

debug - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB

debug - Static variable in class com.articulate.sigma.trans.SUMOKBtoTPTPKB

debug - Static variable in class com.articulate.sigma.trans.SUMOtoTFAform

debug - Static variable in class com.articulate.sigma.trans.THFnew

debug - Static variable in class com.articulate.sigma.trans.TPTP2SUMO

debug - Static variable in class com.articulate.sigma.trans.TPTP3ProofProcessor

debug - Static variable in class com.articulate.sigma.VerbNet.Verb

debug - Static variable in class com.articulate.sigma.wordNet.MultiWords

debug - Static variable in class com.articulate.sigma.wordNet.WordNet

debug - Static variable in class com.articulate.sigma.wordNet.WSD

DEBUG - Static variable in class com.articulate.sigma.RowVars

debugPrintTree(String, String) - Static method in class com.articulate.sigma.nlg.NLGReadability

DEBUG utility.

decodeFromHTML(String) - Static method in class com.articulate.sigma.HTMLformatter

change reserved characters to 'invalid input: '&'' tags

decodeFromURL(String) - Static method in class com.articulate.sigma.HTMLformatter

Change spaces to "%20"

decoder() - Static method in class com.articulate.sigma.KBmanager

decoder() - Static method in class com.articulate.sigma.nlg.NLGUtils

decoder() - Static method in class com.articulate.sigma.wordNet.OMWordnet

decoder() - Static method in class com.articulate.sigma.wordNet.WordNet

deduceMissingLinks() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

Use the WordNet hyper-/hypo-nym links to deduce a likely link for a SUMO term that has not yet been manually linked.

deepCopy() - Method in class com.articulate.sigma.Derivation

deepCopy() - Method in class com.articulate.sigma.Formula

deepEquals(Formula) - Method in class com.articulate.sigma.Formula

Test if the contents of the formula are equal to the argument.

DEFAULT_KEY - Static variable in class com.articulate.sigma.DocGen

defaultImageFile - Variable in class com.articulate.sigma.DocGen

The default image file (such as an organization's logo) to be used in HTML generation

defaultImageFileMarkup - Variable in class com.articulate.sigma.DocGen

The default image file (such as an organization's logo) to be used in HTML generation, wrapped in any necessary additional markup required for proper display.

defaultNamespace - Variable in class com.articulate.sigma.DocGen

The default namespace associated with this DocGen object

defaultPredicateNamespace - Variable in class com.articulate.sigma.DocGen

The default namespace for predicates in the ontology associated with this DocGen object

defaultRowType - Variable in class com.articulate.sigma.trans.DB2KIF

defaultTerm - Static variable in class com.articulate.sigma.TaxoModel

DEFN_PREDICATES - Static variable in class com.articulate.sigma.Formula

deleteUser(String) - Method in class com.articulate.sigma.PasswordService

deleteUserAssertions() - Method in class com.articulate.sigma.KB

Deletes user assertions, both in the files and in the constituents list.

deleteUserAssertionsAndReload() - Method in class com.articulate.sigma.KB

Deletes the user assertions key in the constituents map, and then reloads the KBs.

deleteUserAssertionsForInference() - Method in class com.articulate.sigma.KB

derivation - Variable in class com.articulate.sigma.Formula

Derivation - Class in com.articulate.sigma

Derivation() - Constructor for class com.articulate.sigma.Derivation

Derivation(String, List<Formula>) - Constructor for class com.articulate.sigma.Derivation

description - Variable in class com.articulate.sigma.dataProc.Hotel

descriptionNum - Variable in class com.articulate.sigma.VerbNet.Frame

DESTINATION - Enum constant in enum class com.articulate.sigma.nlg.CaseRole

diagnose(KB) - Static method in class com.articulate.sigma.dataProc.Diagnosis

Diagnosis - Class in com.articulate.sigma.dataProc

Diagnosis() - Constructor for class com.articulate.sigma.dataProc.Diagnosis

Diagnostics - Class in com.articulate.sigma

A class that finds problems in a knowledge base.

Diagnostics() - Constructor for class com.articulate.sigma.Diagnostics

diffTerms(KB, String, String) - Static method in class com.articulate.sigma.Diagnostics

diff the terms in two KBs (small first, then big) and print all the remainder with their filename and termFormats

DiningDBImport() - Static method in class com.articulate.sigma.DB

DIRECT_OBJECT - Enum constant in enum class com.articulate.sigma.nlg.SVOElement.SVOGrammarPosition

DIRECTION - Enum constant in enum class com.articulate.sigma.nlg.CaseRole

disable - Static variable in class com.articulate.sigma.VerbNet.VerbNet

disable - Static variable in class com.articulate.sigma.wordNet.OMWordnet

disable - Static variable in class com.articulate.sigma.wordNet.WordNet

disambigReviews(List<Hotel>) - Static method in class com.articulate.sigma.DB

disjoint - Variable in class com.articulate.sigma.KBcache

disjointRelations - Variable in class com.articulate.sigma.KBcache

disjointTime - Variable in class com.articulate.sigma.parsing.Sortals

displayByKey(String, String, String) - Method in class com.articulate.sigma.wordNet.WordNet

displayFilter - Variable in class com.articulate.sigma.DocGen

The DisplayFilter which, if present, determines if a given SUO-KIF object may be displayed or output by this DocGen object.

DisplayFilter - Interface in com.articulate.sigma

This interface mandates the method isLegalForDisplay, which determines whether or the display of a givne SUO-KIF term will be allowed the calling context.

displaySynset(String, String, String) - Static method in class com.articulate.sigma.wordNet.OMWordnet

displaySynset(String, String, String) - Method in class com.articulate.sigma.wordNet.WordNet

displayTerm(String) - Static method in class com.articulate.sigma.TaxoModel

If the given name is already displayed, do nothing, otherwise create a new tree with that one node.

DIVIDEFN - Static variable in class com.articulate.sigma.Formula

Doc() - Constructor for class com.articulate.sigma.wordNet.BrownCorpus.Doc

DOC_GEN_INSTANCES - Static variable in class com.articulate.sigma.DocGen

DOC_PREDICATES - Static variable in class com.articulate.sigma.Formula

docGen - Variable in class com.articulate.sigma.DocGen.PresentationNameComparator

DocGen - Class in com.articulate.sigma

A class to generate simplified HTML-based documentation for SUO-KIF terms.

DocGen() - Constructor for class com.articulate.sigma.DocGen

To obtain an instance of DocGen, use the static factory method getInstance().

DocGen.DisplayFilter - Interface in com.articulate.sigma

DocGen.PresentationNameComparator - Class in com.articulate.sigma

docGenControlBits - Variable in class com.articulate.sigma.DocGen

A int value representing the bit values that control the file generation process.

docGenKey - Variable in class com.articulate.sigma.DocGen

A default key to identify this particular DocGen object

docs - Static variable in class com.articulate.sigma.wordNet.BrownCorpus

doDiagnosis(KB) - Static method in class com.articulate.sigma.dataProc.Diagnosis

doFilter(ServletRequest, ServletResponse, FilterChain) - Method in class com.articulate.sigma.SessionTimeoutFilter

DONE - Enum constant in enum class com.articulate.sigma.CCheckManager.CCheckStatus

doPost(HttpServletRequest, HttpServletResponse) - Method in class com.articulate.sigma.EditorServlet

doProcessLevelNatlLanguageGeneration() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack

Generate natural language from the contents of the top element of the stack.

doStatementLevelNatlLanguageGeneration() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack

Top-level method call for informal NLG after all the elements of the formula have been processed.

doTQM10Tests(KB) - Static method in class com.articulate.sigma.trans.Modals

Tests based on ~/workspace/sumo/tests/TQM10.kif Uses same KB instance as main method

doTreatment(KB, String) - Static method in class com.articulate.sigma.dataProc.Diagnosis

DOUBLE_PREDICATE_AXIOM - Static variable in class com.articulate.sigma.PredVarInst

doublesHandled - Static variable in class com.articulate.sigma.PredVarInst

doVerbFrameSubstitution(Map<String, List<String>>, List<String>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

get all verb frames corresponding to a word in a synset.

dropOnePremiseFormulas - Static variable in class com.articulate.sigma.KB

dropOnePremiseFormulasFOF(List<String>) - Static method in class com.articulate.sigma.trans.TPTPutil

Processes a TPTP proof file and removes all proof steps that have only a single premise (e.g., trivial inferences or direct copies).

dualFormulaPreds - Static variable in class com.articulate.sigma.trans.Modals

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