Modifier and Type | Class and Description |
---|---|
static class |
InferenceEngine.EngineFactory |
Constructor and Description |
---|
InferenceEngine() |
Modifier and Type | Method and Description |
---|---|
abstract java.lang.String |
assertFormula(java.lang.String formula)
Add an assertion.
|
abstract java.lang.String |
submitQuery(java.lang.String formula,
int timeLimit,
int bindingsLimit)
Submit a query.
|
void |
terminate()
Terminates this instance of InferenceEngine.
|
public abstract java.lang.String submitQuery(java.lang.String formula, int timeLimit, int bindingsLimit) throws java.io.IOException
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 abstract java.lang.String assertFormula(java.lang.String formula) throws java.io.IOException
formula
- asserted formula in the KIF syntaxjava.io.IOException
- should not normally be thrownpublic void terminate() throws java.io.IOException
java.io.IOException
- should not normally be thrown