public void setOntologies(Set<OWLOntology> ontologies){ this.ontologies = ontologies; reload(); }
public void setOntologies(Set<OWLOntology> ontologies){ this.ontologies = ontologies; reload(); }
public void setOntologies(Set<OWLOntology> ontologies){ this.ontologies.clear(); this.ontologies.addAll(ontologies); reload(); }
public void setOntologies(Set<OWLOntology> ontologies){ this.ontologies.clear(); this.ontologies.addAll(ontologies); reload(); }
private void handleClose(OWLOntology ont){ if (owlEditorKit.getModelManager().removeOntology(ont)){ ontologies.remove(ont); reload(); } else{ ProtegeManager.getInstance().disposeOfEditorKit(owlEditorKit); } }
private void handleClose(OWLOntology ont){ if (owlEditorKit.getModelManager().removeOntology(ont)){ ontologies.remove(ont); reload(); } else{ ProtegeManager.getInstance().disposeOfEditorKit(owlEditorKit); } }
private void handleClose(OWLOntology ont){ if (owlEditorKit.getModelManager().removeOntology(ont)){ ontologies.remove(ont); reload(); } else{ ProtegeManager.getInstance().disposeOfEditorKit(owlEditorKit); } }
private void handleClose(OWLOntology ont){ if (owlEditorKit.getModelManager().removeOntology(ont)){ ontologies.remove(ont); reload(); } else{ ProtegeManager.getInstance().disposeOfEditorKit(owlEditorKit); } }
private void handleSave(OWLOntology ont){ try { owlEditorKit.getOWLModelManager().save(ont); owlEditorKit.addRecent(owlEditorKit.getOWLModelManager().getOntologyPhysicalURI(ont)); SaveConfirmationPanel.showDialog(owlEditorKit, Collections.singleton(ont)); reload(); } catch (OWLOntologyStorageException e) { ErrorLogPanel.showErrorDialog(e); } }
private void handleSave(OWLOntology ont){ try { owlEditorKit.getOWLModelManager().save(ont); owlEditorKit.addRecent(owlEditorKit.getOWLModelManager().getOntologyPhysicalURI(ont)); SaveConfirmationPanel.showDialog(owlEditorKit, Collections.singleton(ont)); reload(); } catch (OWLOntologyStorageException e) { ErrorLogPanel.showErrorDialog(e); } }
private void handleSave(){ if (ontologiesPanel.getSelectedValue() instanceof OntologyListItem) { OntologyListItem item = (OntologyListItem) ontologiesPanel.getSelectedValue(); OWLOntology ont = item.ont; try { owlEditorKit.getOWLModelManager().save(ont); owlEditorKit.addRecent(owlEditorKit.getOWLModelManager().getOntologyPhysicalURI(ont)); SaveConfirmationPanel.showDialog(owlEditorKit, Collections.singleton(ont)); reload(); } catch (OWLOntologyStorageException e) { ErrorLogPanel.showErrorDialog(e); } } }
private void handleSave(){ if (ontologiesPanel.getSelectedValue() instanceof OntologyListItem) { OntologyListItem item = (OntologyListItem) ontologiesPanel.getSelectedValue(); OWLOntology ont = item.ont; try { owlEditorKit.getOWLModelManager().save(ont); owlEditorKit.addRecent(owlEditorKit.getOWLModelManager().getOntologyPhysicalURI(ont)); SaveConfirmationPanel.showDialog(owlEditorKit, Collections.singleton(ont)); reload(); } catch (OWLOntologyStorageException e) { ErrorLogPanel.showErrorDialog(e); } } }