iw.model
Class IWModel

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

public class IWModel

extends IWModelElement

Field Summary

protected com.hp.hpl.jena.daml.DAMLModel	_DM
protected String	_dumpingURL
protected List	_IWModelElements
protected String	_publishingURL
protected int	_URIcounter

Fields inherited from class iw.model.IWModelElement

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

Constructor Summary

IWModel()

Method Summary

void	addInferenceRule(String fromURI)
void	addIWModelElement(iw.model.IWModelElement newIWModelElement)
void	addOntology(String fromURI)
void	addOrganization(String fromURI)
void	addSemanticContext(String fromURI)
void	addSemanticContextAxiom(String fromURI)
void	addSource(String fromURI)
String	getDumpingURL()
List	getIWModelElements()
String	getPublishingURL()
String	newName()
String	newWffName(iw.model.IWWff _wff)
void	setDumpingURL(String newDumpingURL)
void	setPublishingURL(String newPublishingURL)
void	updateURIs()
void	wffsToFiles()

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

_publishingURL

protected String _publishingURL

_dumpingURL

protected String _dumpingURL

_IWModelElements

protected List _IWModelElements

_URIcounter

protected int _URIcounter

_DM

protected com.hp.hpl.jena.daml.DAMLModel _DM

Constructor Detail

IWModel

public IWModel()

Method Detail

getPublishingURL

public String getPublishingURL()

setPublishingURL

public void setPublishingURL(String newPublishingURL)

getDumpingURL

public String getDumpingURL()

setDumpingURL

public void setDumpingURL(String newDumpingURL)

getIWModelElements

public List getIWModelElements()

addIWModelElement

public void addIWModelElement(iw.model.IWModelElement newIWModelElement)

newName

public String newName()

newWffName

public String newWffName(iw.model.IWWff _wff)

updateURIs

public void updateURIs()

wffsToFiles

public void wffsToFiles()

addInferenceRule

public void addInferenceRule(String fromURI)

addOntology

public void addOntology(String fromURI)

addSemanticContext

public void addSemanticContext(String fromURI)

addSemanticContextAxiom

public void addSemanticContextAxiom(String fromURI)

addSource

public void addSource(String fromURI)

addOrganization

public void addOrganization(String fromURI)