iw.model
Class IWDerivedRule

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

public class IWDerivedRule

extends IWInferenceRule

Field Summary

protected iw.model.IWInferenceStep

_inferenceStep

Fields inherited from class iw.model.IWInferenceRule

_conclusion, _englishDescriptionTemplate, _englishExample, _loadedIR, _premises, _sources

Fields inherited from class iw.model.IWModelElement

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

Constructor Summary

IWDerivedRule()

Method Summary

iw.model.IWInferenceStep	getInferenceStep()
void	setInferenceStep(iw.model.IWInferenceStep newInferenceStep)
com.hp.hpl.jena.daml.DAMLCommon	toDAML(com.hp.hpl.jena.daml.DAMLModel dm)

Methods inherited from class iw.model.IWInferenceRule

addPremise, addSource, fromDAML, getConclusion, getConclusionStr, getEnglishDescriptionTemplate, getEnglishExample, getInferenceRule, getInferenceRule, getPremises, getPremisesStr, getSourceNames, getSources, setConclusion, setEnglishDescriptionTemplate, setEnglishExample, setSources, 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

_inferenceStep

protected iw.model.IWInferenceStep _inferenceStep

Constructor Detail

IWDerivedRule

public IWDerivedRule()

Method Detail

getInferenceStep

public iw.model.IWInferenceStep getInferenceStep()

setInferenceStep

public void setInferenceStep(iw.model.IWInferenceStep newInferenceStep)

toDAML

public com.hp.hpl.jena.daml.DAMLCommon toDAML(com.hp.hpl.jena.daml.DAMLModel dm)