edu.stanford.smi.protegex.owl.model.impl
Class OWLNamespaceManager
java.lang.Object
edu.stanford.smi.protegex.owl.model.impl.AbstractNamespaceManager
edu.stanford.smi.protegex.owl.model.impl.OWLNamespaceManager
- All Implemented Interfaces:
- NamespaceManager, NamespaceMap
- public class OWLNamespaceManager
- extends AbstractNamespaceManager
A NamespaceManager that maintains the prefix information by means of the values
of the corresponding slot in the default OWLOntology of the knowledge base.
- Author:
- Holger Knublauch
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DEFAULT_DEFAULT_BASE
public static final String DEFAULT_DEFAULT_BASE
- See Also:
- Constant Field Values
DEFAULT_DEFAULT_NAMESPACE
public static final String DEFAULT_DEFAULT_NAMESPACE
- See Also:
- Constant Field Values
defaultNamespace
private String defaultNamespace
prefixesSlot
private edu.stanford.smi.protege.model.Slot prefixesSlot
namespace2Prefix
private Map namespace2Prefix
prefix2Namespace
private Map prefix2Namespace
systemPrefixes
private Collection systemPrefixes
OWLNamespaceManager
public OWLNamespaceManager()
addPrefixes
private void addPrefixes(edu.stanford.smi.protege.model.Instance ontology,
boolean isDefaultOntology)
addPrefix
private void addPrefix(String prefix,
String namespace)
getDefaultNamespace
public String getDefaultNamespace()
getNamespaceForPrefix
public String getNamespaceForPrefix(String prefix)
getPrefix
public String getPrefix(String namespace)
getPrefixes
public Collection getPrefixes()
init
public void init(OWLModel owlModel)
- Specified by:
init
in interface NamespaceManager
- Overrides:
init
in class AbstractNamespaceManager
isModifiable
public boolean isModifiable(String prefix)
isValidPrefix
public static boolean isValidPrefix(String prefix)
removePrefix
public void removePrefix(String prefix)
removePrefixHelper
private void removePrefixHelper(String prefix)
setDefaultNamespace
public void setDefaultNamespace(String value)
setDefaultNamespace
private void setDefaultNamespace(OWLOntology oi,
String value)
setModifiable
public void setModifiable(String prefix,
boolean value)
setPrefix
public void setPrefix(String namespace,
String prefix)
update
public void update()
installDefaultNamespaces
private void installDefaultNamespaces()