iw.model.owl.db
Interface DBNodeSet

All Superinterfaces:

IWModelElement, IWNodeSet, IWProofElement, OWLNodeSet

public interface DBNodeSet

extends OWLNodeSet

Method Summary

void	storeNodeSet(java.lang.String _dumpingURL) Stores the nodeset to a file as an OWL document
java.lang.String	storeNodeSet(java.lang.String _dumpingURL, java.util.Hashtable ht) PROBLEM

Methods inherited from interface iw.model.IWNodeSet

addConclusionFiller, addInferenceStep, getConclusion, getConclusionFillers, getInferenceSteps, getLanguage, getProof, isAxiom, isFullLoaded, setConclusion, setConclusionFillers, setInferenceSteps, setLanguage, setProof

Methods inherited from interface iw.model.IWProofElement

getShortName, setShortName

Methods inherited from interface iw.model.IWModelElement

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

Method Detail

storeNodeSet

public java.lang.String storeNodeSet(java.lang.String _dumpingURL,
                                     java.util.Hashtable ht)
                              throws java.lang.Exception

Description copied from interface: OWLNodeSet

PROBLEM

Specified by:

storeNodeSet in interface OWLNodeSet

Throws:

java.lang.Exception

storeNodeSet

public void storeNodeSet(java.lang.String _dumpingURL)
                  throws java.lang.Exception

Description copied from interface: OWLNodeSet

Stores the nodeset to a file as an OWL document

Specified by:

storeNodeSet in interface OWLNodeSet

Parameters:

_dumpingURL - the URL of the

Throws:

java.lang.Exception