iw.model
Interface IWInferenceStep

All Known Subinterfaces:

IWInferenceStepOccur, OWLInferenceStep

public interface IWInferenceStep

Models inference steps within the inference web. An inference step represent a justification of the conclusion of a node set by the application of an inference rule.

Method Summary

void	addAntecedent(java.lang.String newAntecedent) Adds the specified antecedent URI to the list of antecedents of the inference step.
void	addAntecedentNode(IWNodeSet newAntecedent) Adds the specified antecedent node set (not URI) to the list of antecedents of the inference step.
void	addDischarge(java.lang.String newDischarge) Adds the specified assumption to the list of discharged assumptions.
void	addMetaBinding(IWMetaBinding newMetaBinding)
void	addQuery(java.lang.String newQuery) PROBLEM
void	addSourceUsage(IWSourceUsage newSourceUsage) PROBLEM
void	addVariableMapping(IWVariableMapping newVariableMapping) Adds the specified variable mapping to the list of variable mappings for the inference step.
java.lang.String	getAnswer() PROBLEM
java.util.List	getAntecedentNodes() Returns the list of antecedent node sets (not URIs) of the inference step.
java.util.List	getAntecedents() Returns the list of antecedent node set URIs of the inference step
java.util.List	getDischarges() Returns a list of assumptions that are discharged by the inference step.
int	getIndex()
IWInferenceEngine	getInferenceEngine() Returns the inference engine that produced the inference step
IWInferenceRule	getInferenceRule() Returns the inference rule applied in the inference step
java.util.List	getMetaBindings()
java.util.List	getQueries() PROBLEM
java.lang.String	getShortName() PROBLEM
java.util.List	getSourceUsages() PROBLEM
java.util.List	getVariableMappings() Returns the list of variable mappings for the inference step.
void	setAnswer(java.lang.String newAnswer) PROBLEM
void	setAntecedentNodes(java.util.List newAntecedents) Sets the list of antecedent node sets (not URIs) of the inference step.
void	setAntecedents(java.util.List newAntecedents) Sets the list of antecedent node set URIs of the inference step.
void	setDischarges(java.util.List newDischarges) Sets the list of assumptions that are discharged by the inference step.
void	setIndex(int newIndex)
void	setInferenceEngine(IWInferenceEngine newInferenceEngine) Sets the inference engine that produced the inference step
void	setInferenceRule(IWInferenceRule newInferenceRule) Sets the inference rule applied in the inference step
void	setMetaBindings(java.util.List newMetaBindings)
void	setQueries(java.util.List newQueries) PROBLEM
void	setShortName(java.lang.String newShortName) PROBLEM
void	setSourceUsages(java.util.List _newSourcesUsed) PROBLEM
void	setVariableMappings(java.util.List newVariableMappings) Sets the list of variable mappings for the inference step.

Method Detail

getInferenceRule

public IWInferenceRule getInferenceRule()

Returns the inference rule applied in the inference step

Returns:

the inference rule applied in the inference step

setInferenceRule

public void setInferenceRule(IWInferenceRule newInferenceRule)

Sets the inference rule applied in the inference step

Parameters:

newInferenceRule - the new inference rule applied in the inference step

getInferenceEngine

public IWInferenceEngine getInferenceEngine()

Returns the inference engine that produced the inference step

Returns:

the inference engine that produced the inference step

setInferenceEngine

public void setInferenceEngine(IWInferenceEngine newInferenceEngine)

Sets the inference engine that produced the inference step

Parameters:

newInferenceEngine - the new inference engine that produced the inference step

getAntecedents

public java.util.List getAntecedents()

Returns the list of antecedent node set URIs of the inference step

Returns:

the list of antecedent node set URIs of the inference step

setAntecedents

public void setAntecedents(java.util.List newAntecedents)

Sets the list of antecedent node set URIs of the inference step. The antecedennts of an inference step is a sequence of node sets, each of whose conclusions is a premise to the application of the step's inference rule.

Parameters:

newAntecedents - the new list of antecedent node set URIs of the inference step

addAntecedent

public void addAntecedent(java.lang.String newAntecedent)

Adds the specified antecedent URI to the list of antecedents of the inference step. The antecedennts of an inference step is a sequence of node sets, each of whose conclusions is a premise to the application of the step's inference rule.

Parameters:

newAntecedent - the URI of the new antecedent for the inference step

getAntecedentNodes

public java.util.List getAntecedentNodes()

Returns the list of antecedent node sets (not URIs) of the inference step. The antecedennts of an inference step is a sequence of node sets, each of whose conclusions is a premise to the application of the step's inference rule.

Returns:

the list of antecedent node sets of the inference step

setAntecedentNodes

public void setAntecedentNodes(java.util.List newAntecedents)

Sets the list of antecedent node sets (not URIs) of the inference step. The antecedennts of an inference step is a sequence of node sets, each of whose conclusions is a premise to the application of the step's inference rule.

Parameters:

newAntecedents - the new list of antecedent node sets of the inference step

addAntecedentNode

public void addAntecedentNode(IWNodeSet newAntecedent)

Adds the specified antecedent node set (not URI) to the list of antecedents of the inference step. The antecedennts of an inference step is a sequence of node sets, each of whose conclusions is a premise to the application of the step's inference rule.

Parameters:

newAntecedent - an IWNodeSet instance corresponding to the new antecedent for the inference step

getDischarges

public java.util.List getDischarges()

Returns a list of assumptions that are discharged by the inference step. Each discharged assumption of an inference step is an expression that is discharged as an assumption by the application of the step's rule.

Returns:

a list of assumptions that are discharged by the inference step

setDischarges

public void setDischarges(java.util.List newDischarges)

Sets the list of assumptions that are discharged by the inference step. Each discharged assumption of an inference step is an expression that is discharged as an assumption by the application of the step's rule.

Parameters:

newDischarges - the new list of assumptions that are discharged by the inference step

addDischarge

public void addDischarge(java.lang.String newDischarge)

Adds the specified assumption to the list of discharged assumptions. Each discharged assumption of an inference step is an expression that is discharged as an assumption by the application of the step's rule.

Parameters:

newDischarge - the new assumption which is to be added to the list of discharged assumption

getVariableMappings

public java.util.List getVariableMappings()

Returns the list of variable mappings for the inference step. Each binding of an inference step is a mapping from a variable to a term specifying substitutions performed on the premises before the application of the step's rule. For instance, substitutions may be required to unify the terms in premises in order to perform resolution. Variable mappings are used to model these bindings.

Returns:

the list of variable mappinfs for the inference step

setVariableMappings

public void setVariableMappings(java.util.List newVariableMappings)

Sets the list of variable mappings for the inference step. Each binding of an inference step is a mapping from a variable to a term specifying substitutions performed on the premises before the application of the step's rule. For instance, substitutions may be required to unify the terms in premises in order to perform resolution. Variable mappings are used to model these bindings.

Parameters:

newVariableMappings - the new list of variable mappinfs for the inference step

addVariableMapping

public void addVariableMapping(IWVariableMapping newVariableMapping)

Adds the specified variable mapping to the list of variable mappings for the inference step. Each binding of an inference step is a mapping from a variable to a term specifying substitutions performed on the premises before the application of the step's rule. For instance, substitutions may be required to unify the terms in premises in order to perform resolution. Variable mappings are used to model these bindings.

Parameters:

newVariableMapping - the new variabl mapping for the inference step

getIndex

public int getIndex()

setIndex

public void setIndex(int newIndex)

getMetaBindings

public java.util.List getMetaBindings()

setMetaBindings

public void setMetaBindings(java.util.List newMetaBindings)

addMetaBinding

public void addMetaBinding(IWMetaBinding newMetaBinding)

getSourceUsages

public java.util.List getSourceUsages()

PROBLEM

setSourceUsages

public void setSourceUsages(java.util.List _newSourcesUsed)

PROBLEM

addSourceUsage

public void addSourceUsage(IWSourceUsage newSourceUsage)

PROBLEM

getQueries

public java.util.List getQueries()

PROBLEM

setQueries

public void setQueries(java.util.List newQueries)

PROBLEM

addQuery

public void addQuery(java.lang.String newQuery)

PROBLEM

getAnswer

public java.lang.String getAnswer()

PROBLEM

setAnswer

public void setAnswer(java.lang.String newAnswer)

PROBLEM

getShortName

public java.lang.String getShortName()

PROBLEM

setShortName

public void setShortName(java.lang.String newShortName)

PROBLEM