iw.model
Interface IWDerivedRule

All Superinterfaces:

IWInferenceRule, IWModelElement, IWProvenanceElement

All Known Subinterfaces:

DBDerivedRule, OWLDerivedRule

public interface IWDerivedRule

extends IWInferenceRule

Models the class of derived inference rules in Inference Web. Inference Web divides inference rules into three classes - primitive and derived and Translation. Derived rules are those that can be derived from other rules. A derived inference rule is an inference rule specified from a PML node set schema with a restriction that each node set schema must have exactly one inference steps.

Method Summary

void	addAxiom(IWAxiom newAxiom) Adds the speified axiom to the list of axioms used by the derived rule
IWAxiom	getAxiom(java.lang.String _AxiomShortName) Returns the axiom with the short name _AxiomShortName.
java.lang.String[]	getAxiomNames() Returns an array of strings corresponding to the name of the axioms used by the derived rule
java.util.List	getAxioms() Returns a list of the axioms used by the derived rule
java.util.List	getAxiomURIs() Returns a list of strings corresponding to the uri of the axioms used by the derived rule
java.lang.String	getClassName() GUESS Returns the OWL class name of the declarative rule
IWNodeSet	getRuleNodeSet() Returns the node set schema from which the derived rule is specified
void	setAxioms(java.util.List newAxioms) Sets the list of axioms used by the derived rule
void	setRuleNodeSet(IWNodeSet _ns) Sets the node set schema from which the derived rule is specified

Methods inherited from interface iw.model.IWInferenceRule

getEnglishDescriptionTemplate, setEnglishDescriptionTemplate

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

getRuleNodeSet

public IWNodeSet getRuleNodeSet()

Returns the node set schema from which the derived rule is specified

Returns:

the node set schema from which the derived rule is specified

setRuleNodeSet

public void setRuleNodeSet(IWNodeSet _ns)

Sets the node set schema from which the derived rule is specified

getAxioms

public java.util.List getAxioms()

Returns a list of the axioms used by the derived rule

Returns:

a list of the axioms used by the derived rule

getAxiom

public IWAxiom getAxiom(java.lang.String _AxiomShortName)

Returns the axiom with the short name _AxiomShortName.

Parameters:

_AxiomShortName - the short name of the desired inference rule

Returns:

an IWAxiom instance corresponding to the rule with short name _AxiomShortName

getAxiomNames

public java.lang.String[] getAxiomNames()

Returns an array of strings corresponding to the name of the axioms used by the derived rule

Returns:

an array of strings corresponding to the name of the axioms used by the derived rule

getAxiomURIs

public java.util.List getAxiomURIs()

Returns a list of strings corresponding to the uri of the axioms used by the derived rule

Returns:

a llist of strings corresponding to the uri of the axioms used by the derived rule

setAxioms

public void setAxioms(java.util.List newAxioms)

Sets the list of axioms used by the derived rule

Parameters:

newAxioms - a new list of the axioms used by the derived rule

addAxiom

public void addAxiom(IWAxiom newAxiom)

Adds the speified axiom to the list of axioms used by the derived rule

Parameters:

newAxiom - the new axiom to be added to the list of axioms used by the derived rule

getClassName

public java.lang.String getClassName()

GUESS Returns the OWL class name of the declarative rule

Specified by:

getClassName in interface IWInferenceRule

Returns:

the OWL class name of thed eclarative rule