Ejemplo n.º 1
0
 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);
   }
 }
Ejemplo n.º 2
0
 public boolean displayHostResource(RDFResource resource) {
   return OWLUI.setSelectedNodeInTree(this, resource);
 }