iw.model
Interface IWProvenanceElement

All Superinterfaces:

IWModelElement

All Known Subinterfaces:

DBAgent, DBAxiom, DBDeclarativeRule, DBDerivedRule, DBInferenceEngine, DBInferenceRule, DBLanguage, DBLanguageAxiomSet, DBMethodRule, DBOntology, DBOrganization, DBPerson, DBPrimitiveRule, DBPublication, DBTeam, DBTranslationRule, DBWebSite, IWAgent, IWAxiom, IWDeclarativeRule, IWDerivedRule, IWInferenceEngine, IWInferenceRule, IWLanguage, IWLanguageAxiomSet, IWMethodRule, IWOntology, IWOrganization, IWPerson, IWPrimitiveRule, IWPublication, IWSource, IWTeam, IWTranslationRule, IWWebSite, OWLAgent, OWLAxiom, OWLDeclarativeRule, OWLDerivedRule, OWLInferenceEngine, OWLInferenceRule, OWLLanguage, OWLLanguageAxiomSet, OWLMethodRule, OWLOntology, OWLOrganization, OWLPerson, OWLPrimitiveRule, OWLPublication, OWLTeam, OWLTranslationRule, OWLWebSite

public interface IWProvenanceElement

extends IWModelElement

Provenance Element represents an information unit describing the origin some PML proof level concept. The ProvenanceElement class is the superclass of other provenance level concepts like IWPublication, IWTeam etc.

Method Summary

void	addSource(IWSource newSource) PROBLEMM/b>
java.lang.String	getEnglishDescription() Returns the engligh description of a provenance element.
java.lang.String	getEnglishExample() Returns the english example of the provenance element.
java.lang.String	getFileName() Returs the IWBase filename of the provenance element
java.lang.String	getFullName() Returns the full name of the provenance element
java.lang.String	getShortName() Returns the short name of the provenance element
java.lang.String[]	getSourceNames() PROBLEMM/b>
java.util.List	getSources() PROBLEM
java.util.List	getSourceURIs() PROBLEMM/b>
IWTeam	getSubmitter() Returns the submitter of the provenance element.
java.lang.String	getSubmitterName() Returns the name of the submitter of the provenance element.
java.lang.String	getURL() Returns the URI of the provenance element.
void	setEnglishDescription(java.lang.String newEnglishDescription) Sets the engligh description of a provenance element.
void	setEnglishExample(java.lang.String newEnglishExample) Sets the english example of the provenance element.
void	setFileName(java.lang.String newFileName) Ssets the IWBase filename of the provenance element
void	setFullName(java.lang.String newFullName) Sets the full name of the provenance element
void	setShortName(java.lang.String newShortName) Sets the short name of the provenance element
void	setSources(java.util.List newSources) PROBLEMM/b>
void	setSubmitter(IWTeam newSubmitter) Sets the submitter of the provenance element.
void	setURL(java.lang.String newURL) Sets the URI of the provenance element.

Methods inherited from interface iw.model.IWModelElement

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

Method Detail

getURL

public java.lang.String getURL()

Returns the URI of the provenance element. The URI of a provenance element is the unique identifier of the provenance element. Every provenance element has a well formed URI.

Returns:

the URI of the provenance element

setURL

public void setURL(java.lang.String newURL)

Sets the URI of the provenance element. The URI of a provenance element is the unique identifier of the provenance element. Every provenance element has a well formed URI. ~ @param newURI the new URI of the provenance element

getFileName

public java.lang.String getFileName()

Returs the IWBase filename of the provenance element

setFileName

public void setFileName(java.lang.String newFileName)

Ssets the IWBase filename of the provenance element

Parameters:

newFileName - the new IWBase filename of the provenance element

getShortName

public java.lang.String getShortName()

Returns the short name of the provenance element

Returns:

the short name of the provenance element

setShortName

public void setShortName(java.lang.String newShortName)

Sets the short name of the provenance element

Parameters:

newShortName - the new short name of the provenance element

getFullName

public java.lang.String getFullName()

Returns the full name of the provenance element

Returns:

the full name of the provenance element

setFullName

public void setFullName(java.lang.String newFullName)

Sets the full name of the provenance element

Parameters:

newFullName - the new full name of the provenance element

getSources

public java.util.List getSources()

PROBLEM

setSources

public void setSources(java.util.List newSources)

PROBLEMM/b>

getSourceNames

public java.lang.String[] getSourceNames()

PROBLEMM/b>

getSourceURIs

public java.util.List getSourceURIs()

PROBLEMM/b>

addSource

public void addSource(IWSource newSource)

PROBLEMM/b>

getEnglishDescription

public java.lang.String getEnglishDescription()

Returns the engligh description of a provenance element. An element may have zero or more descriptions. These descriptions are intended to be used by tools to present human-readable provenance information to users.

Returns:

the english description of the provenance element

setEnglishDescription

public void setEnglishDescription(java.lang.String newEnglishDescription)

Sets the engligh description of a provenance element. An element may have zero or more descriptions. These descriptions are intended to be used by tools to present human-readable provenance information to users.

Parameters:

newEnglishDescription - the english description of the provenance element

getEnglishExample

public java.lang.String getEnglishExample()

Returns the english example of the provenance element. For example, in the case of an inference rule, this should return text which contains a simple english example of the application of the inference rule.

Returns:

the english example for the provenance element

setEnglishExample

public void setEnglishExample(java.lang.String newEnglishExample)

Sets the english example of the provenance element. For example, in the case of an inference rule, this should return text which contains a simple english example of the application of the inference rule.

Parameters:

newEnglishExample - the english example for the provenance element

getSubmitter

public IWTeam getSubmitter()

Returns the submitter of the provenance element. The submitter of a provenance element represents the team of people responsible for registering the element into IWBase.

Returns:

an IWTeam instance corresponding to the submitter of the provenance element

getSubmitterName

public java.lang.String getSubmitterName()

Returns the name of the submitter of the provenance element. The submitter of a provenance element represents the team of people responsible for registering the element into IWBase.

Returns:

the name of the submitter of the provenance element

setSubmitter

public void setSubmitter(IWTeam newSubmitter)

Sets the submitter of the provenance element. The submitter of a provenance element represents the team of people responsible for registering the element into IWBase.

Parameters:

newSubmitter - an IWTeam instance corresponding to the submitter of the provenance element