com.articulate.sigma

Class SInE

java.lang.Object

com.articulate.sigma.InferenceEngine

com.articulate.sigma.SInE

public class SInE
extends InferenceEngine

Author:

Krystof Hoder - Minor changes by Adam Pease

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SInE.SInEFactory

Nested classes/interfaces inherited from class com.articulate.sigma.InferenceEngine

InferenceEngine.EngineFactory

Constructor Summary

Constructors

Constructor and Description
SInE(java.lang.Iterable<java.lang.String> formulaSource)

Method Summary

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.

Methods inherited from class com.articulate.sigma.InferenceEngine

terminate

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SInE

public SInE(java.lang.Iterable<java.lang.String> formulaSource)

Method Detail

getNewInstance

public static SInE getNewInstance(java.lang.String kbFileName)

getFactory

public static InferenceEngine.EngineFactory getFactory()

loadFormulas

public void loadFormulas(java.lang.Iterable<java.lang.String> formulaSource)

Loads formulas from given source.

Parameters:

formulaSource - Iterable object that contains strings representing formulas.

getSymbols

public java.util.Set<java.lang.String> getSymbols(java.lang.String form)

Returns all symbols occurring in given formula.

Parameters:

form - Formula to get symbols from.

Returns:

Symbols occurring in given formula.

getSymbols

public java.util.Set<java.lang.String> getSymbols(java.util.Collection<java.lang.String> forms)

get1RequiredFormulas

public 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).

Parameters:

symbols - Symbols whose required formulas will be found.

Returns:

Formulas required by symbols.

getRequiredSymbols

public 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).

Parameters:

symbols - Collection of symbols to be closed under requirements relation.

Returns:

Closure of given collection of symbols under requirements relation.

getRequiredFormulas

public 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).

Parameters:

symbols - Symbols whose required formulas will be found.

Returns:

Formulas transitively required by symbols.

performSelection

public java.util.Set<java.lang.String> performSelection(java.lang.String form)

Performs axiom selection for given query.

Parameters:

form - Formula, according to which axioms will be selected.

Returns:

Selected formulas.

submitQuery

public java.lang.String submitQuery(java.lang.String formula,
                                    int timeLimit,
                                    int bindingsLimit)
                             throws java.io.IOException

Description copied from class: InferenceEngine

Submit a query.

Specified by:

submitQuery in class InferenceEngine

Parameters:

formula - query in the KIF syntax

timeLimit - time limit for answering the query (in seconds)

bindingsLimit - limit on the number of bindings

Returns:

answer to the query (in the XML syntax)

Throws:

java.io.IOException - should not normally be thrown

assertFormula

public java.lang.String assertFormula(java.lang.String formula)

Description copied from class: InferenceEngine

Add an assertion.

Specified by:

assertFormula in class InferenceEngine

Parameters:

formula - asserted formula in the KIF syntax

Returns:

answer to the assertion (in the XML syntax)

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception

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.

Throws:

java.lang.Exception