| Package | Description |
|---|---|
| com.articulate.sigma |
Provides classes for the Sigma knowledge engineering environment version developed
at Articulate Software Inc.
|
| com.articulate.sigma.nlg | |
| com.articulate.sigma.semRewrite |
| Modifier and Type | Field and Description |
|---|---|
KB |
KBcache.kb |
static KB |
DependencyConverter.kb |
protected KB |
DocGen.kb
The KB associated with this DocGen object.
|
protected KB |
DocGen.PresentationNameComparator.kb |
static KB |
Prolog.kb |
KB |
OWLtranslator.kb |
KB |
SUMOKBtoTPTPKB.kb |
| Modifier and Type | Field and Description |
|---|---|
protected java.util.HashMap<java.lang.String,KB> |
KBmanager.kbs |
| Modifier and Type | Method and Description |
|---|---|
KB |
DocGen.getKB() |
KB |
DocGen.PresentationNameComparator.getKB() |
KB |
KBmanager.getKB(java.lang.String name)
Get the KB that has the given name.
|
| Modifier and Type | Method and Description |
|---|---|
Formula |
FormulaPreprocessor.addTypeRestrictions(Formula form,
KB kb)
Add clauses for every variable in the antecedent to restrict its
type to the type restrictions defined on every relation in which
it appears.
|
static java.lang.String |
EditGUI.assertFacts(KB kb,
java.util.TreeMap<java.lang.String,java.util.ArrayList<java.lang.String>> cbset,
java.lang.String kbHref)
Interpret a map as a key relation name and ArrayList of values as arguments.
|
boolean |
EProver.assertFormula(java.lang.String userAssertionTPTP,
KB kb,
EProver eprover,
java.util.ArrayList<Formula> parsedFormulas,
boolean tptp)
Add an assertion for inference.
|
static java.lang.String |
HTMLformatter.browserSectionFormat(java.lang.String term,
java.lang.String header,
KB kb,
java.lang.String language,
java.lang.String flang,
int arg,
java.lang.String type)
Create the HTML for a section of the Sigma term browser page.
|
static java.lang.String |
HTMLformatter.browserSectionFormatLimit(java.lang.String term,
java.lang.String header,
KB kb,
java.lang.String language,
java.lang.String flang,
int start,
int limit,
int arg,
java.lang.String type)
Create the HTML for a section of the Sigma term browser page.
|
static boolean |
KBcache.checkDisjoint(KB kb,
java.util.HashSet<java.lang.String> typeSet)
check if there are any two types in typeSet are disjoint or not;
|
static boolean |
KBcache.checkDisjoint(KB kb,
java.lang.String rel1,
java.lang.String rel2)
check if rel1 and rel2 are disjoint
return true if rel1 and rel2 are disjoint; otherwise return false.
|
static void |
KButilities.checkURLs(KB kb) |
static java.util.ArrayList<java.lang.String> |
Diagnostics.childrenOfDisjointParents(KB kb)
Return a list of terms that have parents which are disjoint.
|
java.util.HashMap<java.lang.String,java.util.HashSet<java.lang.String>> |
FormulaPreprocessor.computeVariableTypes(Formula form,
KB kb)
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.
|
java.util.HashMap<java.lang.String,java.util.HashSet<java.lang.String>> |
FormulaPreprocessor.computeVariableTypesRecurse(KB kb,
Formula f,
java.util.HashMap<java.lang.String,java.util.HashSet<java.lang.String>> input) |
static void |
KButilities.countRelations(KB kb) |
java.lang.String |
DocGen.createAllStatements(KB kb,
java.lang.String kbHref,
java.lang.String term,
int limit)
Create an HTML page that lists information about a particular term,
with a limit on how many statements of each type should be
displayed.
|
protected java.util.TreeMap |
DocGen.createAlphaList(KB kb) |
protected java.lang.String |
DocGen.createBelongsToClass(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.lang.String language)
Returns a String containing HTML markup for the Belongs to Class
section of an HTML page displaying the partial
definition of term in kb.
|
protected java.lang.String |
DocGen.createBelongsToClass(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.lang.String language,
java.util.Set<java.lang.String> parents)
Returns a String containing HTML markup for the Belongs to Class
section of an HTML page displaying the partial
definition of term in kb.
|
java.util.ArrayList<java.lang.String> |
Graph.createBoundedSizeGraph(KB kb,
java.lang.String term,
java.lang.String relation,
int size,
java.lang.String indentChars,
java.lang.String language)
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.
|
protected java.lang.String |
DocGen.createChildren(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.lang.String language)
Returns a String containing HTML markup for the Children field
of an HTML page displaying the definition of term in kb.
|
protected java.lang.String |
DocGen.createComments(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.lang.String language)
Returns a String containing the HTML markup for the Comment
field in a page displaying the definition of term in kb.
|
protected java.lang.String |
DocGen.createCompositeComponentLine(KB kb,
java.lang.String kbHref,
java.lang.String term,
int indent,
java.lang.String language)
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.
|
java.lang.String |
DocGen.createCompositePage(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.util.TreeMap alphaList,
int limit,
java.lang.String language,
java.lang.String formatToken)
Create an HTML page that lists information about a particular
composite term, which is a representation of an XML
structure.
|
protected java.util.ArrayList |
DocGen.createCompositeRecurse(KB kb,
java.lang.String term,
boolean isAttribute,
int indent)
Recursively computes and then returns a List that constitutes
the graph containing those XML elements and attributes
syntactically subordinate to term in kb.
|
protected java.lang.String |
DocGen.createContainingCompositeComponentLine(KB kb,
java.lang.String kbHref,
java.lang.String containingComp,
java.lang.String instance,
int indent,
java.lang.String language)
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.
|
protected java.lang.String |
DocGen.createDisplayNames(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.lang.String formatToken)
Returns a String containing HTML markup for the Display Labels
field of an HTML page displaying statements about term in kb.
|
protected java.lang.String |
DocGen.createDocs(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.lang.String language)
Returns a String consisting of HTML markup for a documentation
String for term obtained from kb and indexed by language.
|
boolean |
Graph.createDotGraph(KB kb,
java.lang.String term,
java.lang.String relation,
int above,
int below,
java.lang.String fname)
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
|
static java.lang.String |
Editor.createFormPage(KB kb,
java.lang.String term,
Formula f)
Create an HTML form for editing facts about a term.
|
protected java.lang.String |
DocGen.createFormula(KB kb,
java.lang.String kbHref,
java.lang.String indentSeq,
int level,
java.lang.String previousTerm,
java.lang.String currentTerm,
java.lang.String context)
Returns a String containing HTML markup for a SUO-KIF Formula.
|
java.util.ArrayList<java.lang.String> |
Graph.createGraph(KB kb,
java.lang.String term,
java.lang.String relation,
int above,
int below,
java.lang.String indentChars,
java.lang.String language)
Create an ArrayList with a set of terms comprising a hierarchy
Each term String will be prefixed with an appropriate number of
indentChars.
|
protected java.lang.String |
DocGen.createHasSameComponents(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.lang.String language)
Returns a String containing HTML markup for the Has Same
Components As field of an HTML page displaying the definition
of term in kb.
|
protected java.lang.String |
DocGen.createInstances(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.lang.String language,
java.util.List excluded)
Returns a String containing HTML markup for the Instances
section of an HTML page displaying the definition of term in
kb.
|
java.lang.String |
DocGen.createPage(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.util.TreeMap alphaList,
int limit,
java.lang.String language,
java.lang.String formatToken)
Create an HTML page that lists information about a particular term,
with a limit on how many statements of each type should be
displayed.
|
protected java.lang.String |
DocGen.createParents(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.lang.String language,
java.util.Set parentsSet)
Returns a String containing HTML markup for the Parents field
of an HTML page displaying the definition of term in kb.
|
protected java.lang.String |
DocGen.createRelations(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.lang.String language,
java.lang.String formatToken)
Returns a String containing HTML markup for the Relations
section of an HTML page displaying the definition of term in
kb.
|
protected java.lang.String |
DocGen.createSynonyms(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.lang.String formatToken)
Returns a String containing HTML markup for the synonym field
of an HTML page displaying the definition of term in kb.
|
protected java.lang.String |
DocGen.createUsingSameComponents(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.lang.String language)
Returns a String containing HTML markup for the Composites
Using Same Components field of an HTML page displaying the
definition of term in kb.
|
static java.util.ArrayList<Formula> |
RowVars.expandRowVars(KB kb,
Formula f)
Expand row variables, keeping the information about the original
source formula.
|
void |
DB.exportTable(KB kb)
Export a comma-delimited table of all the ground binary
statements in the knowledge base.
|
protected java.util.ArrayList |
DocGen.findContainingComposites(KB kb,
java.lang.String term)
Returns an ArrayList holding the composite entities (Elements)
that contain term, or returns an empty ArrayList.
|
static java.lang.String |
FormulaPreprocessor.findType(int numarg,
java.lang.String pred,
KB kb)
Find the argument type restriction for a given predicate and
argument number that is inherited from one of its super-relations.
|
static void |
TPTP3ProofProcessor.findTypesForSkolemTerms(TPTP3ProofProcessor tpp,
KB kb)
Return the most specific type for skolem variable.
|
protected java.lang.String |
DocGen.formatCompositeHierarchy(KB kb,
java.lang.String kbHref,
java.util.List hier,
java.lang.String language)
Returns a String containing HTML markup for a hierarchy or tree
display of terms that denote nested composite components.
|
protected java.lang.String |
DocGen.formatContainingComposites(KB kb,
java.lang.String kbHref,
java.util.ArrayList containing,
java.lang.String composite,
java.lang.String language)
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.
|
static java.lang.String |
HTMLformatter.formatErrors(KB kb)
hyperlink formulas in error messages.
|
static java.lang.String |
HTMLformatter.formatFormulaList(java.util.ArrayList<Formula> forms,
java.lang.String header,
KB kb,
java.lang.String language,
java.lang.String flang,
int start,
int localLimit,
java.lang.String limitString)
Create the HTML for a section of the Sigma term browser page.
|
java.util.HashMap<java.lang.String,java.util.ArrayList> |
Formula.gatherRelationsWithArgTypes(KB kb)
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.
|
static java.util.ArrayList<java.lang.String> |
EditGUI.genAllParentList(KB kb,
java.lang.String term)
Get the all parent classes of term.
|
static java.util.HashMap<java.lang.String,java.util.ArrayList<java.util.ArrayList<java.lang.String>>> |
EditGUI.genClassList(KB kb,
java.lang.String term)
Collect a set of relations in which the type of given term is an argument subclass,
and collect the set of possible argument fillers.
|
static java.lang.String |
EditGUI.genClassPage(KB kb,
java.lang.String term,
java.lang.String kbHref)
Generate a set of menus comprising relations that apply to this class
i.e.
|
void |
DB.generateDB(KB kb)
Generate an SQL database from the knowledge base
Tables must be defined as instances of &%DatabaseTable and
must have &%localDocumentation and &%HasDatabaseColumn
relations.
|
void |
DocGen.generateHTML(KB kb,
java.lang.String language,
boolean simplified,
java.lang.String formatToken)
Generate simplified HTML pages for all terms.
|
protected java.util.TreeMap |
DocGen.generateHTMLPages(KB kb,
java.util.TreeMap alphaList,
java.lang.String language,
java.lang.String formatToken) |
static void |
OMWordnet.generateOMWOWLformat(KB kb) |
void |
DocGen.generateSingleHTML(KB kb,
java.lang.String language,
boolean simplified) |
void |
DocGen.generateSingleHTML(KB kb,
java.lang.String dir,
java.util.TreeMap alphaList,
java.lang.String language,
boolean simplified)
Generate a single HTML page showing all terms.
|
protected java.lang.String |
DocGen.generateTocHeader(KB kb,
java.util.TreeMap alphaList,
java.lang.String allname)
Generate an alphabetic HTML list that points to the
individual index pages (which collect all terms or term
formats) starting with a particular letter.
|
protected java.lang.String |
DocGen.generateTOCPage(KB kb,
java.lang.String firstLetter,
java.util.TreeMap alphaList,
java.lang.String language)
Generate an HTML page that lists term name and its
documentation
|
static java.util.ArrayList<java.lang.String> |
EditGUI.genImmedParentList(KB kb,
java.lang.String term)
Get the just the immediate parent classes of a term
|
static java.util.HashMap<java.lang.String,java.util.ArrayList<java.util.ArrayList<java.lang.String>>> |
EditGUI.genInstList(KB kb,
java.lang.String term)
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.
|
static java.lang.String |
EditGUI.genInstPage(KB kb,
java.lang.String term,
java.lang.String kbHref)
Generate fields for an HTML form that allow a user to assert
statements by using menus to set parameters that are arguments
to relations.
|
java.lang.String |
EditGUI.genRelPage(KB kb,
java.lang.String rel) |
static java.util.ArrayList<java.lang.String> |
HTMLformatter.getAllNonRelTerms(KB kb,
java.util.ArrayList<java.lang.String> matchesList) |
static java.util.ArrayList<java.lang.String> |
HTMLformatter.getAllRelTerms(KB kb,
java.util.ArrayList<java.lang.String> matchesList) |
java.util.TreeMap |
DocGen.getAlphaList(KB kb) |
protected java.lang.String |
DocGen.getClosestXmlDataType(KB kb,
java.lang.String term) |
protected java.util.Set |
DocGen.getCodedIdentifiers(KB kb)
Collects and returns the Set containing all known coded
identifiers in kb, including ISO code values stated to be such.
|
protected java.util.ArrayList |
DocGen.getContainingComposites(KB kb,
java.lang.String term)
Travels up the HasXmlElement and HasXmlAttribute relation
hierarchies to collect all parents, and returns them in an
ArrayList.
|
protected java.lang.String |
DocGen.getContextualDocumentation(KB kb,
java.lang.String term,
java.util.List contexts)
Returns the first documentation String obtained for term in kb,
using the List of namespaces or other contextualizing terms in
contexts.
|
protected java.util.ArrayList |
DocGen.getDatatypeTerms(KB kb,
java.lang.String term,
int targetArgnum) |
protected java.lang.String |
DocGen.getFirstContainingClass(KB kb,
java.lang.String term)
Returns a SUO-KIF constant that denotes the first containing
Class of term obtained in kb.
|
protected java.lang.String |
DocGen.getFirstDatatype(KB kb,
java.lang.String term) |
protected java.lang.String |
DocGen.getFirstGeneralTerm(KB kb,
java.lang.String term)
Returns the first containing, subsuming, or superordinate
entity that can be found for term in kb.
|
protected java.util.ArrayList<java.lang.String> |
DocGen.getFirstGeneralTerms(KB kb,
java.lang.String term)
Returns a List of the first containing, subsuming, or
superordinate entities found for term in kb.
|
static java.lang.String |
DocGen.getFirstHtmlFormatToken(KB kb,
java.lang.String ontology)
Returns the first String token retrieved from ontology in kb
that denotes an HTML output format.
|
protected java.util.ArrayList |
DocGen.getFirstInstances(KB kb,
java.lang.String term)
Returns a List of the entities that are immediate instances of
term in kb.
|
protected java.util.ArrayList<java.lang.String> |
DocGen.getFirstSpecificTerms(KB kb,
java.lang.String term)
Returns a List of the first instances or syntactic subordinate
entities that can be found for term in kb.
|
protected java.util.ArrayList |
DocGen.getFirstSubClasses(KB kb,
java.lang.String term)
Returns a List containing the immediate SUO-KIF subclasses of
term in kb.
|
protected java.lang.String |
DocGen.getFirstSubsumingTerm(KB kb,
java.lang.String term)
Returns the first purely "subsuming" entity that can be found
for term in kb, assuming that term denotes a Class or a
Relation.
|
protected java.lang.String |
DocGen.getFirstTermFormat(KB kb,
java.lang.String term,
java.util.List contexts)
Returns a String that is the first termFormat value obtained
for term in kb, else returns null if no termFormat value
exists.
|
static DocGen |
DocGen.getInstance(KB kb,
java.lang.String ontology) |
protected java.lang.String |
FormulaPreprocessor.getMostRelevantType(KB kb,
java.util.HashSet<java.lang.String> types)
Get the most specific type for variables.
|
protected java.util.ArrayList<java.lang.String> |
DocGen.getNamespaceDelimiters(KB kb,
java.lang.String ontology)
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.
|
protected java.lang.String |
DocGen.getNamespacePrefix(KB kb,
java.lang.String term)
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.
|
protected java.util.ArrayList<java.lang.String> |
DocGen.getNamespaces(KB kb,
java.lang.String ontology,
boolean force)
Returns a List of all SUO-KIF terms denoting namespaces in kb
or in ontology, using the predicates inNamespace and
ontologyNamespace.
|
protected java.lang.String |
DocGen.getNearestContainingClass(KB kb,
java.lang.String term)
Returns the first containing Class that can be found for term
in kb.
|
java.lang.String |
DocGen.getOntology(KB kb)
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.
|
protected java.util.ArrayList<java.lang.String> |
DocGen.getOntologyNamespaces(KB kb,
java.lang.String ontology)
Returns a List of all SUO-KIF terms denoting those namespaces
containing terms that are defined in, or occur in, statements
in ontology.
|
static java.util.ArrayList<java.lang.String> |
DocGen.getOutputFormatTokens(KB kb,
java.lang.String ontology)
Returns a List of String tokens that determine how the output
should be formatted.
|
protected java.util.ArrayList |
DocGen.getPredicates(KB kb,
boolean requireNamespace)
Collects and returns a List of all Predicates in kb.
|
static java.util.ArrayList<java.lang.String> |
DocGen.getRangeValueList(KB kb,
java.lang.String predicate)
Returns an ArrayList of Strings extracted from the range
argument (arg2) of the first retrieved statement formed with
predicate.
|
static java.util.HashMap<java.lang.String,java.lang.Integer> |
RowVars.getRowVarMaxAritiesWithOtherArgs(java.util.HashMap<java.lang.String,java.util.HashSet<java.lang.String>> ar,
KB kb,
Formula f)
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
|
protected java.util.ArrayList |
DocGen.getSubComponents(KB kb,
java.lang.String term)
Returns a List containing those terms that are immediate
syntactic subordinates of term in kb.
|
protected java.util.ArrayList |
DocGen.getSubordinateAttributes(KB kb,
java.lang.String kifTerm)
Returns a List containing the subordinate XmlAttributes of
kifTerm, else return an empty List.
|
protected java.util.ArrayList |
DocGen.getSubordinateElements(KB kb,
java.lang.String kifTerm)
Returns a List containing the subordinate XmlElements of
kifTerm, else return an empty List.
|
protected java.util.ArrayList |
DocGen.getSuperComponents(KB kb,
java.lang.String term)
Returns a List containing those terms that are immediate
syntactic superiors or "containers" of term in kb.
|
protected java.util.ArrayList |
DocGen.getSyntacticCompositeTerms(KB kb,
java.lang.String term,
int targetArgnum) |
protected java.util.ArrayList |
DocGen.getSyntacticExtensionTerms(KB kb,
java.lang.String term,
int targetArgnum,
boolean computeClosure) |
protected java.util.ArrayList<java.lang.String> |
DocGen.getSyntacticSubordinateTerms(KB kb,
java.lang.String term)
Returns a List of the entities that are immediate syntactic
subordinates of term in kb.
|
protected java.util.ArrayList |
DocGen.getSyntacticUnionTerms(KB kb,
java.lang.String term,
int targetArgnum) |
static java.lang.String |
Mapping.getTermFormat(KB kb,
java.lang.String term)
Get the termFormat label for a term.
|
java.lang.String |
DocGen.getTermNamespace(KB kb,
java.lang.String term) |
java.lang.String |
DocGen.getTermPresentationName(KB kb,
java.lang.String term) |
java.lang.String |
DocGen.getTermPresentationName(KB kb,
java.lang.String namespace,
java.lang.String term) |
java.lang.String |
DocGen.getTermPresentationName(KB kb,
java.lang.String namespace,
java.lang.String term,
boolean withSpanTags) |
static java.lang.String |
PredVarInst.hasCorrectArity(Formula f,
KB kb)
If arity is correct, return null, otherwise, return the predicate
that has its arity violated in the given formula.
|
protected boolean |
DocGen.hasSubComponents(KB kb,
java.lang.String term)
Returns true if term has syntactic subcomponents such as XML
elements or XML attributes in kb, else returns false.
|
java.lang.String |
Formula.htmlFormat(KB kb)
Format a formula for HTML presentation.
|
static void |
InferenceTestSuite.inferenceUnitTest(java.lang.String testpath,
KB kb,
java.util.ArrayList expectedAnswers,
java.util.ArrayList<java.lang.String> actualAnswers)
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.
|
static CCheckManager.CCheckStatus |
KBmanager.initiateCCheck(KB kb,
java.lang.String chosenEngine,
java.lang.String systemChosen,
java.lang.String location,
java.lang.String language,
int timeout) |
static boolean |
KButilities.instanceOfInstanceP(KB kb)
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).
|
static java.util.Set<Formula> |
PredVarInst.instantiatePredVars(Formula input,
KB kb) |
static boolean |
KButilities.isAttribute(KB kb,
java.lang.String term) |
static boolean |
KButilities.isClass(KB kb,
java.lang.String term) |
static boolean |
DocGen.isComposite(KB kb,
java.lang.String term)
Returns true if term is an instance or subclass of
CompositeContentBearingObject in kb, else returns false.
|
protected boolean |
DocGen.isDataType(KB kb,
java.lang.String term) |
static boolean |
KButilities.isFunction(KB kb,
java.lang.String term) |
static boolean |
KButilities.isInstance(KB kb,
java.lang.String term) |
protected static boolean |
DocGen.isInstanceOf(KB kb,
java.lang.String i,
java.lang.String c)
Returns true if i is an instance of c, else returns false.
|
static boolean |
KButilities.isRelation(KB kb,
java.lang.String term) |
protected static boolean |
DocGen.isSkipNode(KB kb,
java.lang.String term)
Returns true if term should be skipped over during printing,
else returns false.
|
protected boolean |
DocGen.isXmlAttribute(KB kb,
java.lang.String term)
Returns a List that constitutes the graph containing those XML
elements and attributes syntactically subordinate to term in
kb.
|
static java.lang.String |
Diagnostics.kbConsistencyCheck(KB kb)
Iterating through all formulas, return a proof of an inconsistent
or redundant one, if such a thing exists.
|
java.lang.String |
THF.KIF2THF(java.util.Collection<Formula> axiomsC,
java.util.Collection<Formula> conjecturesC,
KB kb)
public String KIF2THF(Collection
|
static java.util.List<java.util.Set<com.articulate.sigma.Formula.VariableMapping>> |
Formula.mapFormulaVariables(Formula f1,
Formula f2,
KB kb,
java.util.HashMap<FormulaUtil.FormulaMatchMemoMapKey,java.util.List<java.util.Set<com.articulate.sigma.Formula.VariableMapping>>> memoMap)
Compares recursively to formulas and returns possible variable maps between the variables of the two formulas
Returns:
null - if the formulas cannot be equals (due to having different predicates for example)
empty list- formulas are equal, but there are no variables to map
list 0f variable mapping sets the list of possible variable mapping sets which will make formulas equal
|
static java.util.ArrayList<java.lang.String> |
Diagnostics.membersNotInAnyPartitionClass(KB kb)
Returns a list of terms, each of which is an instance of some
exhaustively decomposed class but is not an instance of any of
the subclasses that constitute the exhaustive decomposition.
|
java.lang.String |
WordNet.nounSynsetFromTermFormat(java.lang.String tf,
java.lang.String SUMOterm,
KB kb)
Generate a new noun synset from a termFormat
|
static java.util.ArrayList<java.lang.String> |
TPTP3ProofProcessor.parseAnswerTuples(java.lang.String st,
KB kb,
FormulaPreprocessor fp)
Return a list of answers if E finds bindings for wh- queries.
|
static TPTP3ProofProcessor |
TPTP3ProofProcessor.parseProofOutput(java.util.ArrayList<java.lang.String> lines,
KB kb)
Compute binding and proof from E's response
|
static TPTP3ProofProcessor |
TPTP3ProofProcessor.parseProofOutput(java.io.LineNumberReader lnr,
KB kb)
Compute bindings and proof from E's response
|
static TPTP3ProofProcessor |
TPTP3ProofProcessor.parseProofOutput(java.lang.String st,
KB kb) |
CCheckManager.CCheckStatus |
CCheckManager.performConsistencyCheck(KB kb,
java.lang.String chosenEngine,
java.lang.String systemChosen,
java.lang.String location,
java.lang.String language,
int timeout)
Main code that performs the consistency check on the KB.
|
java.util.ArrayList<Formula> |
FormulaPreprocessor.preProcess(Formula form,
boolean isQuery,
KB kb)
Pre-process a formula before sending it to the theorem prover.
|
static java.lang.String |
EditGUI.printInstances(KB kb,
java.lang.String className)
Get and print all instances of a class
|
static java.lang.String |
Diagnostics.printTermDependency(KB kb,
java.lang.String kbHref)
Show file dependencies.
|
protected java.lang.String |
DocGen.processDocString(KB kb,
java.lang.String kbHref,
java.lang.String namespace,
java.lang.String docString,
boolean isXmlDoc,
boolean addHrefs) |
static java.lang.String |
HTMLformatter.processNaturalLanguage(java.lang.String lang,
KB kb) |
static java.util.ArrayList<Formula> |
Diagnostics.quantifierNotInBody(KB kb)
Find cases where a variable appears in a quantifier list, but not
in the body of the quantified expression.
|
protected java.lang.String |
DocGen.removeLinkableNamespacePrefixes(KB kb,
java.lang.String text)
Removes namespace prefixes from all SUO-KIF terms to be
hyperlinked in text.
|
protected Formula |
Formula.renameVariableArityRelations(KB kb,
java.util.TreeMap<java.lang.String,java.lang.String> relationMap) |
java.util.SortedSet<java.lang.String> |
DocGen.resortKbTerms(KB kb)
Rebuilds the TreeSet containing all terms in kb, and forces
the new TreeSet to sort according to each term's presentation
name.
|
protected void |
DocGen.saveIndexPages(KB kb,
java.util.TreeMap alphaList,
java.lang.String dir,
java.lang.String language)
Generate and save all the index pages that link to the
individual term pages.
|
void |
DocGen.setKB(KB kb) |
void |
DocGen.PresentationNameComparator.setKB(KB kbObj) |
void |
DocGen.setMetaDataFromKB(KB kb,
java.lang.String ontology)
Tries to use the values obtained from kb and ontology to set
some of the parameter values used for HTML generation.
|
void |
DocGen.setOutputParentDir(KB kb,
java.lang.String ontology)
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.
|
protected java.lang.String |
DocGen.showCardinalityCell(KB kb,
java.lang.String kbHref,
java.lang.String term,
java.lang.String context)
Returns a String containing HTML markup for the Cardinality
field of an HTML page displaying the definition of term in kb.
|
static java.lang.String |
HTMLformatter.showMap(KB kb,
java.lang.String term)
Show a map if coordinates are given in the kb
|
static java.lang.String |
HTMLformatter.showNeighborTerms(KB kb,
java.lang.String term) |
static java.lang.String |
HTMLformatter.showNeighborTerms(KB kb,
java.lang.String nonRelTerm,
java.lang.String relTerm)
Show alphabetic list of neighbor terms
|
static java.lang.String |
HTMLformatter.showNumberPictures(KB kb,
java.lang.String term,
int count)
Show knowledge base pictures
|
static java.lang.String |
HTMLformatter.showPictures(KB kb,
java.lang.String term)
Show knowledge base pictures
|
static java.lang.String |
HTMLformatter.showREMatches(KB kb,
java.lang.String relREmatch,
java.lang.String nonRelREmatch,
java.lang.String term)
Show list of 30 relation & nonRelation terms that contain a match to the input RE term.
|
static java.lang.String |
HTMLformatter.showStatistics(KB kb)
Show knowledge base statistics
|
java.lang.String |
DocGen.showTermName(KB kb,
java.lang.String term,
java.lang.String language)
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.
|
void |
DocGen.sortByPresentationName(KB kb,
java.lang.String namespaceTerm,
java.util.List stringList)
Sorts stringList in place by the presentation name of each its
terms, which could be very different from the raw term name.
|
protected java.lang.String |
DocGen.stripNamespacePrefix(KB kb,
java.lang.String term)
Returns term without its namespace prefix if it appears to have
one in kb, else just returns term.
|
java.lang.String |
EProver.submitQuery(java.lang.String formula,
KB kb)
Submit a query.
|
void |
WordNet.synsetFromTermFormat(java.lang.String tf,
java.lang.String SUMOterm,
KB kb)
Generate a new synset from a termFormat
|
static java.util.ArrayList<java.lang.String> |
WNdiagnostics.synsetsWithoutFoundTerms(KB kb) |
void |
WordNet.termFormatsToSynsets(KB kb)
Generate a new synset from a termFormat
|
static java.util.ArrayList<Formula> |
KButilities.termIntersection(KB kb,
java.lang.String term1,
java.lang.String term2)
Get all formulas that contain both terms.
|
static java.util.ArrayList<java.lang.String> |
Diagnostics.termsNotBelowEntity(KB kb)
Return a list of terms that do not have Entity as a parent term.
|
static java.util.ArrayList<java.lang.String> |
Diagnostics.termsWithMultipleDoc(KB kb)
Return a list of terms that have more than one documentation string.
|
static java.util.ArrayList |
Diagnostics.termsWithoutDoc(KB kb)
Return a list of terms that do not have a documentation string.
|
static java.util.ArrayList<java.lang.String> |
Diagnostics.termsWithoutRelation(KB kb,
java.lang.String rel,
int argnum,
int limit,
char letter)
Return a list of terms (for a given argument position) that do not
have a specified relation.
|
static java.util.ArrayList<java.lang.String> |
Diagnostics.termsWithoutRules(KB kb)
Find all terms which do not appear in any implication (rule).
|
static java.lang.String |
InferenceTestSuite.test(KB kb)
Convenience method that sets default parameters
|
static java.lang.String |
CELTTestSuite.test(KB kb)
Reads a KIF file consisting of pairs of (sentence...
|
static java.lang.String |
InferenceTestSuite.test(KB kb,
java.lang.String systemChosen,
int timeout)
Convenience method that sets some default parameters
|
static java.lang.String |
InferenceTestSuite.test(KB kb,
java.lang.String systemChosen,
int defaultTimeout,
java.lang.String TPTPlocation)
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.
|
protected java.lang.String |
DocGen.toKifNamespace(KB kb,
java.lang.String term)
Returns a SUO-KIF term denoting a namespace.
|
java.util.ArrayList<java.lang.String> |
SUMOformulaToTPTPformula.tptpParse(Formula input,
boolean query,
KB kb)
Parse formulae into TPTP format
|
void |
SUMOformulaToTPTPformula.tptpParse(Formula input,
boolean query,
KB kb,
java.util.List<Formula> preProcessedForms)
Parse formulae into TPTP format
Result is returned in _f.theTptpFormulas
|
java.lang.String |
WordNet.verbSynsetFromTermFormat(java.lang.String tf,
java.lang.String SUMOterm,
KB kb)
Generate a new verb synset from a termFormat
|
void |
FormulaPreprocessor.winnowTypeList(java.util.HashSet<java.lang.String> types,
KB kb)
This method tries to remove all but the most specific relevant
classes from a List of sortal classes.
|
static void |
KButilities.writeDisplayText(KB kb,
java.lang.String displayFormatPredicate,
java.lang.String displayTermPredicate,
java.lang.String language,
java.lang.String fname) |
void |
WordNet.writeProlog(KB kb) |
static int |
DB.writeSuoKifStatements(KB kb,
java.lang.String sourceFilePath)
Writes to sourceFilePath all Formulae in kb that have
sourceFilePath as source file.
|
| Constructor and Description |
|---|
CCheck(KB kb,
java.lang.String filename) |
CCheck(KB kb,
java.lang.String fileName,
java.lang.String chosenEngine,
int timeout) |
CCheck(KB kb,
java.lang.String fileName,
java.lang.String chosenEngine,
java.lang.String systemChosen,
java.lang.String quietFlag,
java.lang.String location,
java.lang.String language,
int timeout) |
KB(KB kbIn)
Perform a deep copy of the kb input
|
KBcache(KB kb)
Constructor
|
KBcache(KBcache kbCacheIn,
KB kbIn) |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
NLGUtils.containsProcess(java.util.Collection<java.lang.String> vals,
KB kb)
Return true if the given list includes "Process", or if one of its elements is a subclass of Process.
|
static java.lang.String |
SumoProcessCollector.getProperFormOfEntity(java.lang.String entity,
KB kb)
Retain capitalization of names and reified instances by lower-casing if the entity is an Entity.
|
java.lang.String |
SumoProcessEntityProperty.getSurfaceFormForNoun(java.lang.String noun,
KB kb)
For a given property, combine it with the given noun into a natural-sounding expression.
|
static java.lang.String |
NLGUtils.htmlParaphrase(java.lang.String href,
java.lang.String stmt,
java.util.Map<java.lang.String,java.lang.String> phraseMap,
java.util.Map<java.lang.String,java.lang.String> termMap,
KB kb,
java.lang.String language)
Hyperlink terms in a natural language format string.
|
static boolean |
Noun.takesIndefiniteArticle(java.lang.String noun,
KB kb)
Determine whether the given noun requires an indefinite article ("a"/"an").
|
static CaseRole |
CaseRole.toCaseRole(java.lang.String input,
KB kb)
Return a valid case role based on the string input.
|
void |
LanguageFormatterStack.translateCurrProcessInstantiation(KB kb,
Formula formula)
If possible, translate the process instantiation and insert the translation into the topmost
stack element.
|
static java.lang.String |
LanguageFormatter.variableReplace(java.lang.String form,
java.util.Map<java.lang.String,java.util.Set<java.lang.String>> instMap,
java.util.HashMap<java.lang.String,java.util.Set<java.lang.String>> classMap,
KB kb,
java.lang.String language)
Replace variables in a formula with paraphrases expressing their
type.
|
| Constructor and Description |
|---|
LanguageFormatter(java.lang.String stmt,
java.util.Map<java.lang.String,java.lang.String> phraseMap,
java.util.Map<java.lang.String,java.lang.String> termMap,
KB kb,
java.lang.String language) |
Sentence(com.google.common.collect.Multimap<CaseRole,java.lang.String> roles,
SumoProcess process,
KB inKB,
com.google.common.collect.Multimap<java.lang.String,SumoProcessEntityProperty> properties)
Constructor.
|
SumoProcess(java.lang.String verb,
KB kb) |
SumoProcess(SumoProcess process,
KB kb) |
SumoProcessCollector(KB kb,
java.lang.String role,
java.lang.String process,
java.lang.String entity)
Construct a SumoProcessCollector.
|
| Modifier and Type | Method and Description |
|---|---|
static java.lang.String |
Interpreter.formatAnswer(Formula query,
java.util.List<java.lang.String> inferenceAnswers,
KB kb) |