iw.model
Interface IWInferenceEngine

All Superinterfaces:

IWModelElement, IWProvenanceElement

All Known Subinterfaces:

DBInferenceEngine, OWLInferenceEngine

public interface IWInferenceEngine

extends IWProvenanceElement

This models the provenance information for the inference engines registered in IWBase. An inference engine represents an engine that is able to produce a justification for a conclusion. Note that the phrase "inference engine" applies not only to reasoners but also to other systems like search engines which may justify their answers by direct assertion

Method Summary

void	addInferenceEngineRule(IWPrimitiveRule newRule) Adds the speified inference rule to the list of inference rules used by the engine
java.lang.String	getClassName() GUESS Returns the OWL class name of the declarative rule
IWPrimitiveRule	getInferenceEngineRule(java.lang.String _IRShortName) Returns the inference engine rule with the short name _IRShortName.
java.lang.String[]	getInferenceEngineRuleNames() Returns an array of strings corresponding to the name of the inference rules used by the engine
java.util.List	getInferenceEngineRules() Returns a list of the inference rules used by the engine
java.lang.String	getVersion() Returns a string corresponding to the version of the engine
void	setInferenceEngineRules(java.util.List newRules) Sets the list of inference rules used by the engine
void	setVersion(java.lang.String newVersion) Sets a string corresponding to the version of the engine

Methods inherited from interface iw.model.IWProvenanceElement

addSource, getEnglishDescription, getEnglishExample, getFileName, getFullName, getShortName, getSourceNames, getSources, getSourceURIs, getSubmitter, getSubmitterName, getURL, setEnglishDescription, setEnglishExample, setFileName, setFullName, setShortName, setSources, setSubmitter, setURL

Methods inherited from interface iw.model.IWModelElement

getFirstSubmissionDate, getLastSubmissionDate, getModel, getURI, setFirstSubmissionDate, setLastSubmissionDate, setModel, setURI

Method Detail

getVersion

public java.lang.String getVersion()

Returns a string corresponding to the version of the engine

Returns:

a string corresponding to the version of the engine

setVersion

public void setVersion(java.lang.String newVersion)

Sets a string corresponding to the version of the engine

Parameters:

newVersion - a string corresponding to the new version of the engine

getInferenceEngineRules

public java.util.List getInferenceEngineRules()

Returns a list of the inference rules used by the engine

Returns:

a list of the inference rules used by the engine

getInferenceEngineRule

public IWPrimitiveRule getInferenceEngineRule(java.lang.String _IRShortName)

Returns the inference engine rule with the short name _IRShortName. The rule must be primitive to the engine.

Parameters:

_IRShortName - the short name of the desired inference rule

Returns:

an IWPrimitiveRule instance corresponding to the rule with short name _IRShortName

getInferenceEngineRuleNames

public java.lang.String[] getInferenceEngineRuleNames()

Returns an array of strings corresponding to the name of the inference rules used by the engine

Returns:

an array of strings corresponding to the name of the inference rules used by the engine

setInferenceEngineRules

public void setInferenceEngineRules(java.util.List newRules)

Sets the list of inference rules used by the engine

Parameters:

newRules - a new list of the inference rules used by the engine

addInferenceEngineRule

public void addInferenceEngineRule(IWPrimitiveRule newRule)

Adds the speified inference rule to the list of inference rules used by the engine

Parameters:

newRule - the new inference rule to be added to the list of inference rules used by the inference engine

getClassName

public java.lang.String getClassName()

GUESS Returns the OWL class name of the declarative rule

Returns:

the OWL class name of thed eclarative rule