org.coode.owlapi.obo12.parser

Class OBO12DocumentFormat

java.lang.Object

org.semanticweb.owlapi.model.OWLDocumentFormatImpl

org.coode.owlapi.obo12.parser.OBO12DocumentFormat

All Implemented Interfaces:

Serializable, OWLDocumentFormat, OWLOntologyFormat

public class OBO12DocumentFormat
extends OWLDocumentFormatImpl
implements OWLOntologyFormat

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 10-Jan-2007

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OBO12DocumentFormat()

Method Summary

Modifier and Type	Method and Description
PrefixDocumentFormat	asPrefixOWLOntologyFormat() If this format is an instance of PrefixDocumentFormat then this method will obtain it as a PrefixDocumentFormat.
org.coode.owlapi.obo12.parser.IDSpaceManager	getIdSpaceManager() Gets the OBO id-space manager.
String	getKey()
boolean	isPrefixOWLOntologyFormat() Determines if this format is an instance of a format that uses prefixes to shorted IRIs.
void	setIDSpaceManager(org.coode.owlapi.obo12.parser.IDSpaceManager m)
String	toString()

Methods inherited from class org.semanticweb.owlapi.model.OWLDocumentFormatImpl

determineIllegalPunnings, equals, getOntologyLoaderMetaData, getParameter, hashCode, isAddMissingTypes, isMissingType, isTextual, setAddMissingTypes, setOntologyLoaderMetaData, setParameter

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLDocumentFormat

getOntologyLoaderMetaData, getParameter, isAddMissingTypes, isTextual, setAddMissingTypes, setOntologyLoaderMetaData, setParameter

Constructor Detail

OBO12DocumentFormat

public OBO12DocumentFormat()

Method Detail

toString

public String toString()

Overrides:

toString in class OWLDocumentFormatImpl

setIDSpaceManager

public void setIDSpaceManager(org.coode.owlapi.obo12.parser.IDSpaceManager m)

Parameters:

m - An IDSpaceManager which specifies mappings between id prefixes and IRI prefixes.

getIdSpaceManager

public org.coode.owlapi.obo12.parser.IDSpaceManager getIdSpaceManager()

Gets the OBO id-space manager. This is NOT the same as a prefix manager.

Returns:

The IDSpaceManager for this format. For ontologies parsed from an OBO file this will contain any id prefix to IRI prefix mappings that were parsed out of the file (from id-space tags). Not null.

getKey

public String getKey()

Specified by:

getKey in interface OWLDocumentFormat

Returns:

A unique key for this format.

isPrefixOWLOntologyFormat

public boolean isPrefixOWLOntologyFormat()

Description copied from interface: OWLDocumentFormat

Determines if this format is an instance of a format that uses prefixes to shorted IRIs.

Specified by:

isPrefixOWLOntologyFormat in interface OWLDocumentFormat

Returns:

true if this format is an instance of PrefixDocumentFormat other wise false.

asPrefixOWLOntologyFormat

public PrefixDocumentFormat asPrefixOWLOntologyFormat()

Description copied from interface: OWLDocumentFormat

If this format is an instance of PrefixDocumentFormat then this method will obtain it as a PrefixDocumentFormat.

Specified by:

asPrefixOWLOntologyFormat in interface OWLDocumentFormat

Returns:

This format as a more specific PrefixDocumentFormat.