iw.model.owl
Interface OWLNodeSet

All Superinterfaces:

IWModelElement, IWNodeSet, IWProofElement

All Known Subinterfaces:

DBNodeSet

public interface OWLNodeSet

extends IWNodeSet

The OWL version of the IWNodeSet interface

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

PROBLEM

Throws:

java.lang.Exception

storeNodeSet

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

Stores the nodeset to a file as an OWL document

Parameters:

_dumpingURL - the URL of the

Throws:

java.lang.Exception