public interface PrefixManager extends Serializable
Modifier and Type | Method and Description |
---|---|
boolean |
containsPrefixMapping(String prefixName)
Determines if this manager knows about a given prefix name and it
contains a (non-null) mapping for the prefix.
|
String |
getDefaultPrefix()
Gets the default prefix.
|
IRI |
getIRI(String prefixIRI)
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.
|
String getDefaultPrefix()
null
if there is no default
prefix.boolean containsPrefixMapping(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.String getPrefix(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.Map<String,String> getPrefixName2PrefixMap()
IRI getIRI(String prefixIRI)
prefixIRI
- The Prefix IRIOWLRuntimeException
- if the prefix name of the prefix IRI doesn't have a corresponding
prefix managed by this manager.String getPrefixIRI(IRI iri)
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.