iw.model
Class IWInferenceRule

java.lang.Object
  |
  +--iw.model.IWModelElement
        |
        +--iw.model.IWInferenceRule

Direct Known Subclasses:

IWDerivedRule

public class IWInferenceRule

extends IWModelElement

Field Summary

protected iw.model.IWKIF	_conclusion
protected String	_englishDescriptionTemplate
protected String	_englishExample
protected static HashMap	_loadedIR
protected List	_premises
protected List	_sources

Fields inherited from class iw.model.IWModelElement

_DM, _fileName, _firstSubmissionDate, _fullName, _lastSubmissionDate, _shortName, _submitter, _URI, _URL

Constructor Summary

IWInferenceRule()

Method Summary

void	addPremise(iw.model.IWKIF newPremise)
void	addSource(iw.model.IWSource newSource)
static iw.model.IWInferenceRule	fromDAML(String _fromURI)
iw.model.IWKIF	getConclusion()
String	getConclusionStr()
String	getEnglishDescriptionTemplate()
String	getEnglishExample()
static iw.model.IWInferenceRule	getInferenceRule(com.hp.hpl.jena.daml.DAMLInstance _di)
static iw.model.IWInferenceRule	getInferenceRule(String _fromURI)
List	getPremises()
String	getPremisesStr()
String[]	getSourceNames()
List	getSources()
void	setConclusion(iw.model.IWKIF _newConclusion)
void	setEnglishDescriptionTemplate(String newEnglishDescriptionTemplate)
void	setEnglishExample(String newEnglishExample)
void	setSources(List newSources)
void	toDAML()

Methods inherited from class iw.model.IWModelElement

fromDAMLRegistry, getDAMLModel, getFileName, getFirstSubmissionDate, getFullName, getLastSubmissionDate, getShortName, getSubmitter, getSubmitterName, getURI, getURL, modelSize, setDAMLModel, setFileName, setFirstSubmissionDate, setFullName, setLastSubmissionDate, setShortName, setSubmitter, setURI, setURL, toDAMLRegistry, toFile, write

Methods inherited from class java.lang.Object

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

Field Detail

_loadedIR

protected static HashMap _loadedIR

_englishDescriptionTemplate

protected String _englishDescriptionTemplate

_englishExample

protected String _englishExample

_sources

protected List _sources

_premises

protected List _premises

_conclusion

protected iw.model.IWKIF _conclusion

Constructor Detail

IWInferenceRule

public IWInferenceRule()

Method Detail

getEnglishDescriptionTemplate

public String getEnglishDescriptionTemplate()

setEnglishDescriptionTemplate

public void setEnglishDescriptionTemplate(String newEnglishDescriptionTemplate)

getEnglishExample

public String getEnglishExample()

setEnglishExample

public void setEnglishExample(String newEnglishExample)

getSources

public List getSources()

setSources

public void setSources(List newSources)

getSourceNames

public String[] getSourceNames()

addSource

public void addSource(iw.model.IWSource newSource)

getPremises

public List getPremises()

getPremisesStr

public String getPremisesStr()

addPremise

public void addPremise(iw.model.IWKIF newPremise)

getConclusion

public iw.model.IWKIF getConclusion()

getConclusionStr

public String getConclusionStr()

setConclusion

public void setConclusion(iw.model.IWKIF _newConclusion)

toDAML

public void toDAML()
            throws com.hp.hpl.mesa.rdf.jena.model.RDFException

com.hp.hpl.mesa.rdf.jena.model.RDFException

getInferenceRule

public static iw.model.IWInferenceRule getInferenceRule(String _fromURI)
                                                 throws com.hp.hpl.mesa.rdf.jena.model.RDFException,
                                                        IOException

com.hp.hpl.mesa.rdf.jena.model.RDFException

IOException

getInferenceRule

public static iw.model.IWInferenceRule getInferenceRule(com.hp.hpl.jena.daml.DAMLInstance _di)
                                                 throws com.hp.hpl.mesa.rdf.jena.model.RDFException,
                                                        IOException

com.hp.hpl.mesa.rdf.jena.model.RDFException

IOException

fromDAML

public static iw.model.IWInferenceRule fromDAML(String _fromURI)
                                         throws com.hp.hpl.mesa.rdf.jena.model.RDFException,
                                                IOException

com.hp.hpl.mesa.rdf.jena.model.RDFException

IOException