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 © 2014 The University of Manchester. All Rights Reserved.