iw.model
Interface IWLanguageAxiomSet

All Superinterfaces:

IWModelElement, IWOntology, IWProvenanceElement, IWSource

All Known Subinterfaces:

DBLanguageAxiomSet, OWLLanguageAxiomSet

public interface IWLanguageAxiomSet

extends IWOntology

Models provenance information about language axiom steps in the Inference Web. These are usually a bunch of language specific axioms - for example, axioms specifying the semantics of DAML may constitute an axiom set.

Method Summary

void	addAxiom(IWAxiom newAxiom) Adds the specified axiom into the language axiom set
java.lang.String[]	getAxiomNames() Returns the names of the axioms in the axiom set ( @return the names of the axioms in the axiom set
java.util.List	getAxioms() Returns the list of axioms in the axiom set
java.lang.String	getClassName() GUESSReturns the OWL class name of the language axiom set
IWLanguage	getLanguage() Returns the language to which the language axiom set corresponds
void	setAxioms(java.util.List newAxioms) Sets the list of axioms in the axiom set
void	setLanguage(IWLanguage _newLang) Sets the language to which the language axiom set corresponds

Methods inherited from interface iw.model.IWOntology

getVersion, setVersion

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

getClassName

public java.lang.String getClassName()

GUESSReturns the OWL class name of the language axiom set

Specified by:

getClassName in interface IWOntology

Returns:

the OWL class name of the language axiom set

getAxioms

public java.util.List getAxioms()

Returns the list of axioms in the axiom set

Returns:

the list of axioms in the axiom set

setAxioms

public void setAxioms(java.util.List newAxioms)

Sets the list of axioms in the axiom set

Parameters:

newAxioms - the new list of axioms in the axiom set

getAxiomNames

public java.lang.String[] getAxiomNames()

Returns the names of the axioms in the axiom set ( @return the names of the axioms in the axiom set

addAxiom

public void addAxiom(IWAxiom newAxiom)

Adds the specified axiom into the language axiom set

Parameters:

newAxiom - the new axiom to be added to the language axiom set

getLanguage

public IWLanguage getLanguage()

Returns the language to which the language axiom set corresponds

Returns:

the language to which the language axiom set corresponds

setLanguage

public void setLanguage(IWLanguage _newLang)

Sets the language to which the language axiom set corresponds

Parameters:

_newLang - the new language to which the language axiom set corresponds