public class PrefixOWLOntologyFormat extends OWLOntologyFormat implements PrefixManager
USE_INTERMEDIATE_OUTPUT_FILE
Constructor and Description |
---|
PrefixOWLOntologyFormat()
default constructor
|
PrefixOWLOntologyFormat(DefaultPrefixManager manager) |
Modifier and Type | Method and Description |
---|---|
void |
clearPrefixes()
Clears any previously set prefixes.
|
boolean |
containsPrefixMapping(String prefix)
Determines if this manager knows about a given prefix name and it
contains a (non-null) mapping for the prefix.
|
void |
copyPrefixesFrom(PrefixManager prefixManager) |
void |
copyPrefixesFrom(PrefixOWLOntologyFormat fromFormat)
Copies the prefix from another ontology format into this format.
|
String |
getDefaultPrefix()
Gets the default prefix.
|
IRI |
getIRI(String iri)
Gets the URI for a given prefix IRI.
|
String |
getPrefix(String prefixName)
Gets the prefix that is bound to a particular prefix name.
|
String |
getPrefixIRI(IRI iri)
Gets the prefix IRI given a IRI (URI).
|
Map<String,String> |
getPrefixName2PrefixMap()
Gets a map that maps prefix names to prefixes.
|
Set<String> |
getPrefixNames()
Gets the prefix names that have a mapping in this prefix manager.
|
void |
setDefaultPrefix(String namespace)
Sets the default namespace.
|
void |
setPrefix(String prefixName,
String prefix)
A convenience method to add a prefix name to prefix mapping.
|
void |
setPrefixManager(DefaultPrefixManager m) |
asPrefixOWLOntologyFormat, equals, getCommonExtensions, getOntologyLoaderMetaData, getParameter, hashCode, isPrefixOWLOntologyFormat, setOntologyLoaderMetaData, setParameter
public PrefixOWLOntologyFormat()
public PrefixOWLOntologyFormat(DefaultPrefixManager manager)
manager
- prefix manager to usepublic void setPrefixManager(DefaultPrefixManager m)
m
- prefix manager to usepublic void setPrefix(String prefixName, String prefix)
prefixName
- The prefix name which maps to a prefixprefix
- The prefixpublic void clearPrefixes()
public void copyPrefixesFrom(PrefixOWLOntologyFormat fromFormat)
fromFormat
- The format that the prefixes should be copied frompublic void copyPrefixesFrom(PrefixManager prefixManager)
prefixManager
- prefix to copy prefixes frompublic Set<String> getPrefixNames()
PrefixManager
getPrefixNames
in interface PrefixManager
public void setDefaultPrefix(String namespace)
namespace
- The namespace to be set.public boolean containsPrefixMapping(String prefix)
PrefixManager
containsPrefixMapping
in interface PrefixManager
prefix
- The prefix name to be tested for.true
if the manager knows about this prefix and there is
a non-null mapping for this prefix.public String getDefaultPrefix()
PrefixManager
getDefaultPrefix
in interface PrefixManager
null
if there is no default
prefix.public Map<String,String> getPrefixName2PrefixMap()
PrefixManager
getPrefixName2PrefixMap
in interface PrefixManager
public String getPrefix(String prefixName)
PrefixManager
getDefaultPrefix()
method.getPrefix
in interface PrefixManager
prefixName
- The prefix name. A string that represents a prefix name of the
prefix to be retrieved. Note that specifying ":" is the same as
asking for the default prefix (see the getDefaultPrefix() method).null
if there is no prefix name bound to
this prefix, or the prefix name doesn't exist.public IRI getIRI(String iri)
PrefixManager
getIRI
in interface PrefixManager
iri
- The Prefix IRIpublic String getPrefixIRI(IRI iri)
PrefixManager
getPrefixIRI
in interface PrefixManager
iri
- The IRI whose prefix it to be retrievednull
if a prefix IRI
cannot be generated.Copyright © 2017 The University of Manchester. All Rights Reserved.