Package 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	Description
static class	SInE.SInEFactory

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

InferenceEngine.EngineFactory

Constructor Summary

Constructors

Constructor	Description
SInE(Iterable<String> formulaSource)

Method Summary

Modifier and Type	Method	Description
String	assertFormula(String formula)	Add an assertion.
Set<String>	get1RequiredFormulas(Collection<String> symbols)	Returns formulas that are directly required by given symbols (in the sense of requirements map).
static InferenceEngine.EngineFactory	getFactory()
static SInE	getNewInstance(String kbFileName)
Set<String>	getRequiredFormulas(Collection<String> symbols)	Returns formulas that are transitively required by given symbols (in the sense of requirements map).
Set<String>	getRequiredSymbols(Collection<String> symbols)	Returns all symbols transitively required by given symbols (in the sense of requirements map).
Set<String>	getSymbols(String form)	Returns all symbols occurring in given formula.
Set<String>	getSymbols(Collection<String> forms)
void	loadFormulas(Iterable<String> formulaSource)	Loads formulas from given source.
List<String>	loadNonKif(File kbFile)	Loads formulas from given source.
static void	main(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.
Set<String>	performSelection(String form)	Performs axiom selection for given query.
String	submitQuery(String formula, int timeLimit, int bindingsLimit)	Submit a query.
static void	test(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.

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 Details

SInE

public SInE(Iterable<String> formulaSource)

Method Details

getNewInstance

public static SInE getNewInstance(String kbFileName)

getFactory

public static InferenceEngine.EngineFactory getFactory()

loadNonKif

public List<String> loadNonKif(File kbFile)

Loads formulas from given source.

loadFormulas

public void loadFormulas(Iterable<String> formulaSource)

Loads formulas from given source.

Parameters:

formulaSource - Iterable object that contains strings representing formulas.

getSymbols

public Set<String> getSymbols(String form)

Returns all symbols occurring in given formula.

Parameters:

form - Formula to get symbols from.

Returns:

Symbols occurring in given formula.

getSymbols

public Set<String> getSymbols(Collection<String> forms)

get1RequiredFormulas

public Set<String> get1RequiredFormulas(Collection<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 Set<String> getRequiredSymbols(Collection<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 Set<String> getRequiredFormulas(Collection<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 Set<String> performSelection(String form)

Performs axiom selection for given query.

Parameters:

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

Returns:

Selected formulas.

submitQuery

public String submitQuery(String formula,
 int timeLimit,
 int bindingsLimit)
                   throws 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:

IOException - should not normally be thrown

assertFormula

public String assertFormula(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)

test

public static void test(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.

main

public static void main(String[] args)
                 throws 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:

Exception