public class OWLOntologyXMLNamespaceManager extends XMLWriterNamespaceManager
Constructor and Description |
---|
OWLOntologyXMLNamespaceManager(OWLOntologyManager man,
OWLOntology ontology) |
OWLOntologyXMLNamespaceManager(OWLOntology ontology,
OWLOntologyFormat format) |
Modifier and Type | Method and Description |
---|---|
protected java.util.Set<OWLEntity> |
getEntitiesThatRequireNamespaces() |
protected OWLOntology |
getOntology() |
java.lang.String |
getQName(java.lang.String name)
Gets a QName for a full URI.
|
addWellKnownNamespace, createPrefixForNamespace, getDefaultNamespace, getDefaultPrefix, getNamespaceForPrefix, getNamespaces, getPrefixes, getPrefixForNamespace, getPrefixNamespaceMap, setDefaultNamespace, setPrefix
public OWLOntologyXMLNamespaceManager(OWLOntologyManager man, OWLOntology ontology)
public OWLOntologyXMLNamespaceManager(OWLOntology ontology, OWLOntologyFormat format)
protected OWLOntology getOntology()
protected java.util.Set<OWLEntity> getEntitiesThatRequireNamespaces()
public java.lang.String getQName(java.lang.String name)
getQName
in class XMLWriterNamespaceManager
name
- The name which represents the full name.null
if a QName could not be generated.