public class SInE extends InferenceEngine
Modifier and Type | Class and Description |
---|---|
static class |
SInE.SInEFactory |
InferenceEngine.EngineFactory
Constructor and Description |
---|
SInE(java.lang.Iterable<java.lang.String> formulaSource) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
assertFormula(java.lang.String formula)
Add an assertion.
|
java.util.Set<java.lang.String> |
get1RequiredFormulas(java.util.Collection<java.lang.String> symbols)
Returns formulas that are directly required by given symbols
(in the sense of requirements map).
|
static InferenceEngine.EngineFactory |
getFactory() |
static SInE |
getNewInstance(java.lang.String kbFileName) |
java.util.Set<java.lang.String> |
getRequiredFormulas(java.util.Collection<java.lang.String> symbols)
Returns formulas that are transitively required by given symbols
(in the sense of requirements map).
|
java.util.Set<java.lang.String> |
getRequiredSymbols(java.util.Collection<java.lang.String> symbols)
Returns all symbols transitively required by given symbols
(in the sense of requirements map).
|
java.util.Set<java.lang.String> |
getSymbols(java.util.Collection<java.lang.String> forms) |
java.util.Set<java.lang.String> |
getSymbols(java.lang.String form)
Returns all symbols occurring in given formula.
|
void |
loadFormulas(java.lang.Iterable<java.lang.String> formulaSource)
Loads formulas from given source.
|
static void |
main(java.lang.String[] args)
A simple test to load a KB file and pose a query, which are
the first and second item, respectively, given on the
command line.
|
java.util.Set<java.lang.String> |
performSelection(java.lang.String form)
Performs axiom selection for given query.
|
java.lang.String |
submitQuery(java.lang.String formula,
int timeLimit,
int bindingsLimit)
Submit a query.
|
terminate
public static SInE getNewInstance(java.lang.String kbFileName)
public static InferenceEngine.EngineFactory getFactory()
public void loadFormulas(java.lang.Iterable<java.lang.String> formulaSource)
formulaSource
- Iterable object that contains strings representing formulas.public java.util.Set<java.lang.String> getSymbols(java.lang.String form)
form
- Formula to get symbols from.public java.util.Set<java.lang.String> getSymbols(java.util.Collection<java.lang.String> forms)
public java.util.Set<java.lang.String> get1RequiredFormulas(java.util.Collection<java.lang.String> symbols)
symbols
- Symbols whose required formulas will be found.public java.util.Set<java.lang.String> getRequiredSymbols(java.util.Collection<java.lang.String> symbols)
symbols
- Collection of symbols to be closed under requirements relation.public java.util.Set<java.lang.String> getRequiredFormulas(java.util.Collection<java.lang.String> symbols)
symbols
- Symbols whose required formulas will be found.public java.util.Set<java.lang.String> performSelection(java.lang.String form)
form
- Formula, according to which axioms will be selected.public java.lang.String submitQuery(java.lang.String formula, int timeLimit, int bindingsLimit) throws java.io.IOException
InferenceEngine
submitQuery
in class InferenceEngine
formula
- query in the KIF syntaxtimeLimit
- time limit for answering the query (in seconds)bindingsLimit
- limit on the number of bindingsjava.io.IOException
- should not normally be thrownpublic java.lang.String assertFormula(java.lang.String formula)
InferenceEngine
assertFormula
in class InferenceEngine
formula
- asserted formula in the KIF syntaxpublic static void main(java.lang.String[] args) throws java.lang.Exception
java.lang.Exception