private void setPrefixOfNamespace(String namespace, String value) {
OWLModel owlModel = ontology.getOWLModel();
try {
owlModel.beginTransaction(
"Change prefix of " + namespace + " to " + value, ontology.getName());
owlModel.getNamespaceManager().setPrefix(namespace, value);
owlModel.commitTransaction();
} catch (Exception ex) {
owlModel.rollbackTransaction();
OWLUI.handleError(owlModel, ex);
}
}
public boolean displayHostResource(RDFResource resource) {
return OWLUI.setSelectedNodeInTree(this, resource);
}