org.semanticweb.owlapi.model

Interface PrefixManager

All Superinterfaces:

Serializable

All Known Implementing Classes:

DefaultOntologyFormat, DefaultPrefixManager, OWLFunctionalSyntaxOntologyFormat, OWLXMLOntologyFormat, PrefixOWLOntologyFormat, RDFOntologyFormat, RDFXMLOntologyFormat

public interface PrefixManager
extends Serializable

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 10-Sep-2008

A prefix manager than can provide prefixes for prefix names.

Method Summary

Methods

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

Method Detail

getDefaultPrefix

String getDefaultPrefix()

Gets the default prefix. The default prefix is denoted by the prefix name ":"

Returns:

The default prefix, or null if there is no default prefix.

containsPrefixMapping

boolean containsPrefixMapping(String prefixName)

Determines if this manager knows about a given prefix name and it contains a (non-null) mapping for the prefix.

Parameters:

prefixName - The prefix name to be tested for.

Returns:

true if the manager knows about this prefix and there is a non-null mapping for this prefix.

getPrefix

String getPrefix(String prefixName)

Gets the prefix that is bound to a particular prefix name. Note that specifying ":" corresponds to requesting the default prefix and will return the same result as a call to the getDefaultPrefix() method.

Parameters:

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).

Returns:

The prefix, or null if there is no prefix name bound to this prefix, or the prefix name doesn't exist.

getPrefixName2PrefixMap

Map<String,String> getPrefixName2PrefixMap()

Gets a map that maps prefix names to prefixes.

Returns:

The map of prefix names to prefixes. Note that modifying the contents of this map will not change the prefix name - prefix mappings

getIRI

IRI getIRI(String prefixIRI)

Gets the URI for a given prefix IRI. The prefix IRI must have a prefix name that is registered with this manager, or a runtime exception will be thrown.

Parameters:

prefixIRI - The Prefix IRI

Returns:

The full IRI.

Throws:

OWLRuntimeException - if the prefix name of the prefix IRI doesn't have a corresponding prefix managed by this manager.

getPrefixIRI

String getPrefixIRI(IRI iri)

Gets the prefix IRI given a IRI (URI).

Parameters:

iri - The IRI whose prefix it to be retrieved

Returns:

The prefix IRI for this IRI, or null if a prefix IRI cannot be generated.

getPrefixNames

Set<String> getPrefixNames()

Gets the prefix names that have a mapping in this prefix manager

Returns:

The prefix names as a set of strings.