public class OBO12DocumentFormat
extends org.semanticweb.owlapi.model.OWLOntologyFormat
| Constructor and Description |
|---|
OBO12DocumentFormat() |
| Modifier and Type | Method and Description |
|---|---|
Collection<String> |
getCommonExtensions() |
org.coode.owlapi.obo12.parser.IDSpaceManager |
getIdSpaceManager()
Gets the OBO id-space manager.
|
void |
setIDSpaceManager(org.coode.owlapi.obo12.parser.IDSpaceManager m) |
String |
toString() |
public void setIDSpaceManager(org.coode.owlapi.obo12.parser.IDSpaceManager m)
m - An IDSpaceManager which specifies mappings between id
prefixes and IRI prefixes.public org.coode.owlapi.obo12.parser.IDSpaceManager getIdSpaceManager()
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.public Collection<String> getCommonExtensions()
getCommonExtensions in class org.semanticweb.owlapi.model.OWLOntologyFormatCopyright © 2010-2015 The University of Manchester. All Rights Reserved.