iw.model
Class IWWff

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

public class IWWff

extends IWModelElement

Field Summary

protected iw.model.IWKIF	_content
protected com.hp.hpl.jena.daml.DAMLCommon	_DAMLobj
protected boolean	_fullLoaded
protected List	_inferenceSteps
protected static HashMap	_loadedWff
protected List	_ontologies
static int	PARTIAL_LOADING

Fields inherited from class iw.model.IWModelElement

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

Constructor Summary

IWWff()

IWWff(boolean _full)

IWWff(iw.model.IWModel _model)

Method Summary

void	addInferenceStep(iw.model.IWInferenceStep newInferenceStep)
void	addOntology(iw.model.IWOntology newOntology)
static iw.model.IWWff	fromDAML(String _fromURI, int _depth)
iw.model.IWKIF	getContent()
List	getInferenceSteps()
List	getOntologies()
static iw.model.IWWff	getWff(com.hp.hpl.jena.daml.DAMLInstance _di, int _depth)
static iw.model.IWWff	getWff(String _fromURI, int _depth)
boolean	isAxiom()
boolean	isFullLoaded()
void	setContent(iw.model.IWKIF newContent)
void	setInferenceSteps(List _newInferenceSteps)
void	toDAML(String _dumpingURL)

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

PARTIAL_LOADING

public static int PARTIAL_LOADING

_loadedWff

protected static HashMap _loadedWff

_content

protected iw.model.IWKIF _content

_DAMLobj

protected com.hp.hpl.jena.daml.DAMLCommon _DAMLobj

_ontologies

protected List _ontologies

_inferenceSteps

protected List _inferenceSteps

_fullLoaded

protected boolean _fullLoaded

Constructor Detail

IWWff

public IWWff()

IWWff

public IWWff(boolean _full)

IWWff

public IWWff(iw.model.IWModel _model)

Method Detail

isAxiom

public boolean isAxiom()

isFullLoaded

public boolean isFullLoaded()

getContent

public iw.model.IWKIF getContent()

setContent

public void setContent(iw.model.IWKIF newContent)

getInferenceSteps

public List getInferenceSteps()

setInferenceSteps

public void setInferenceSteps(List _newInferenceSteps)

addInferenceStep

public void addInferenceStep(iw.model.IWInferenceStep newInferenceStep)

getOntologies

public List getOntologies()

addOntology

public void addOntology(iw.model.IWOntology newOntology)

toDAML

public void toDAML(String _dumpingURL)
            throws com.hp.hpl.mesa.rdf.jena.model.RDFException

com.hp.hpl.mesa.rdf.jena.model.RDFException

getWff

public static iw.model.IWWff getWff(String _fromURI,
                                    int _depth)
                             throws com.hp.hpl.mesa.rdf.jena.model.RDFException,
                                    IOException

com.hp.hpl.mesa.rdf.jena.model.RDFException

IOException

getWff

public static iw.model.IWWff getWff(com.hp.hpl.jena.daml.DAMLInstance _di,
                                    int _depth)
                             throws com.hp.hpl.mesa.rdf.jena.model.RDFException,
                                    IOException

com.hp.hpl.mesa.rdf.jena.model.RDFException

IOException

fromDAML

public static iw.model.IWWff fromDAML(String _fromURI,
                                      int _depth)
                               throws com.hp.hpl.mesa.rdf.jena.model.RDFException,
                                      IOException

com.hp.hpl.mesa.rdf.jena.model.RDFException

IOException