public interface PrefixManager
extends java.io.Serializable
Modifier and Type | Method and Description |
---|---|
boolean |
containsPrefixMapping(java.lang.String prefixName)
Determines if this manager knows about a given prefix name and it contains a (non-null) mapping for the
prefix.
|
java.lang.String |
getDefaultPrefix()
Gets the default prefix.
|
IRI |
getIRI(java.lang.String prefixIRI)
Gets the URI for a given prefix IRI.
|
java.lang.String |
getPrefix(java.lang.String prefixName)
Gets the prefix that is bound to a particular prefix name.
|
java.lang.String |
getPrefixIRI(IRI iri)
Gets the prefix IRI given a IRI (URI).
|
java.util.Map<java.lang.String,java.lang.String> |
getPrefixName2PrefixMap()
Gets a map that maps prefix names to prefixes.
|
java.util.Set<java.lang.String> |
getPrefixNames()
Gets the prefix names that have a mapping in this prefix manager
|
java.lang.String getDefaultPrefix()
null
if there is no default prefix.boolean containsPrefixMapping(java.lang.String prefixName)
prefixName
- 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.java.lang.String getPrefix(java.lang.String prefixName)
getDefaultPrefix()
method.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.java.util.Map<java.lang.String,java.lang.String> getPrefixName2PrefixMap()
IRI getIRI(java.lang.String prefixIRI)
prefixIRI
- The Prefix IRIOWLRuntimeException
- if the prefix name of the prefix IRI doesn't have a corresponding prefix managed by this
manager.java.lang.String getPrefixIRI(IRI iri)
iri
- The IRI whose prefix it to be retrievednull
if a prefix IRI cannot be generated.java.util.Set<java.lang.String> getPrefixNames()