public static void warnUserIfReasonerIsNotConfigured(Component owner, OWLReasonerManager manager) { switch (manager.getReasonerStatus()) { case NO_REASONER_FACTORY_CHOSEN: JOptionPane.showMessageDialog(owner,
public static void warnUserIfReasonerIsNotConfigured(Component owner, OWLReasonerManager manager) { switch (manager.getReasonerStatus()) { case NO_REASONER_FACTORY_CHOSEN: JOptionPane.showMessageDialog(owner,
public static void warnUserIfReasonerIsNotConfigured(Component owner, OWLReasonerManager manager) { switch (manager.getReasonerStatus()) { case NO_REASONER_FACTORY_CHOSEN: JOptionPane.showMessageDialog(owner, "No reasoner has been selected and initialized so inference cannot proceed. Select a reasoner from the Reasoner menu.", "Reasoner not initialized.", JOptionPane.WARNING_MESSAGE); break; case REASONER_NOT_INITIALIZED: JOptionPane.showMessageDialog(owner, "No reasoner has been initialized so inference cannot proceed. Go to the reasoner menu and select Start reasoner", "Reasoner not initialized.", JOptionPane.WARNING_MESSAGE); break; case OUT_OF_SYNC: JOptionPane.showMessageDialog(owner, "The reasoner is not synchronized. This may produce misleading results. Consider Reasoner->Synchronize reasoner.", "Reasoner out of sync", JOptionPane.WARNING_MESSAGE); break; case INITIALIZATION_IN_PROGRESS: JOptionPane.showMessageDialog(owner, "Reasoner still intializing. Wait for initialization to complete.", "Reasoner initializing.", JOptionPane.WARNING_MESSAGE); break; case INITIALIZED: break; // nothing to do... } }
public static void warnUserIfReasonerIsNotConfigured(Component owner, OWLReasonerManager manager) { switch (manager.getReasonerStatus()) { case NO_REASONER_FACTORY_CHOSEN: JOptionPane.showMessageDialog(owner,
private void updateReasonerStatus(boolean changesInProgress) { if (!reasonerManagerStarted) { return; } OWLReasonerManager reasonerManager = getOWLEditorKit().getOWLModelManager().getOWLReasonerManager(); ReasonerStatus newStatus = reasonerManager.getReasonerStatus(); if (changesInProgress && (newStatus == ReasonerStatus.INITIALIZED || newStatus == ReasonerStatus.INCONSISTENT) && reasonerManager.getCurrentReasoner().getBufferingMode() == BufferingMode.BUFFERING) { newStatus = ReasonerStatus.OUT_OF_SYNC; } updateReasonerStatus(newStatus); }
public void actionPerformed(ActionEvent e) { try { OWLReasonerManager reasonerManager = getOWLModelManager().getOWLReasonerManager(); ReasonerStatus status = reasonerManager.getReasonerStatus(); if (status != ReasonerStatus.INITIALIZED && status != ReasonerStatus.OUT_OF_SYNC) { ReasonerUtilities.warnUserIfReasonerIsNotConfigured(getOWLWorkspace(), reasonerManager); return; } final ExportInferredOntologyWizard wizard = new ExportInferredOntologyWizard(getOWLEditorKit()); int ret = wizard.showModalDialog(); if (ret != Wizard.FINISH_RETURN_CODE) { return; } new Thread(new ExportTask(wizard), "Export Inferred Axioms").start(); } catch (OWLOntologyCreationException e1) { JOptionPane.showMessageDialog(getWorkspace(), "Could not create ontology:\n" + e1.getMessage(), "Error", JOptionPane.ERROR_MESSAGE); } }
public void actionPerformed(ActionEvent e) { try { OWLReasonerManager reasonerManager = getOWLModelManager().getOWLReasonerManager(); ReasonerStatus status = reasonerManager.getReasonerStatus(); if (status != ReasonerStatus.INITIALIZED && status != ReasonerStatus.OUT_OF_SYNC) { ReasonerUtilities.warnUserIfReasonerIsNotConfigured(getOWLWorkspace(), reasonerManager); return; } final ExportInferredOntologyWizard wizard = new ExportInferredOntologyWizard(getOWLEditorKit()); int ret = wizard.showModalDialog(); if (ret != Wizard.FINISH_RETURN_CODE) { return; } new Thread(new ExportTask(wizard), "Export Inferred Axioms").start(); } catch (OWLOntologyCreationException e1) { JOptionPane.showMessageDialog(getWorkspace(), "Could not create ontology:\n" + e1.getMessage(), "Error", JOptionPane.ERROR_MESSAGE); } }
public void actionPerformed(ActionEvent e) { try { OWLReasonerManager reasonerManager = getOWLModelManager().getOWLReasonerManager(); ReasonerStatus status = reasonerManager.getReasonerStatus(); if (status != ReasonerStatus.INITIALIZED && status != ReasonerStatus.OUT_OF_SYNC) { ReasonerUtilities.warnUserIfReasonerIsNotConfigured(getOWLWorkspace(), reasonerManager); return; } final ExportInferredOntologyWizard wizard = new ExportInferredOntologyWizard(getOWLEditorKit()); int ret = wizard.showModalDialog(); if (ret != Wizard.FINISH_RETURN_CODE) { return; } new Thread(new ExportTask(wizard), "Export Inferred Axioms").start(); } catch (OWLOntologyCreationException e1) { JOptionPane.showMessageDialog(getWorkspace(), "Could not create ontology:\n" + e1.getMessage(), "Error", JOptionPane.ERROR_MESSAGE); } }
public void actionPerformed(ActionEvent e) { try { OWLReasonerManager reasonerManager = getOWLModelManager().getOWLReasonerManager(); ReasonerStatus status = reasonerManager.getReasonerStatus(); if (status != ReasonerStatus.INITIALIZED && status != ReasonerStatus.OUT_OF_SYNC) { ReasonerUtilities.warnUserIfReasonerIsNotConfigured(getOWLWorkspace(), reasonerManager); return; } final ExportInferredOntologyWizard wizard = new ExportInferredOntologyWizard(getOWLEditorKit()); int ret = wizard.showModalDialog(); if (ret != Wizard.FINISH_RETURN_CODE) { return; } new Thread(new ExportTask(wizard), "Export Inferred Axioms").start(); } catch (OWLOntologyCreationException e1) { JOptionPane.showMessageDialog(getWorkspace(), "Could not create ontology:\n" + e1.getMessage(), "Error", JOptionPane.ERROR_MESSAGE); } }
private void updateReasonerStatus(boolean changesInProgress) { if (!reasonerManagerStarted) { return; } OWLReasonerManager reasonerManager = getOWLEditorKit().getOWLModelManager().getOWLReasonerManager(); ReasonerStatus newStatus; try { newStatus = reasonerManager.getReasonerStatus(); } catch (ReasonerDiedException reasonerDied) { newStatus = ReasonerStatus.REASONER_NOT_INITIALIZED; ReasonerUtilities.warnThatReasonerDied(null, reasonerDied); } if (changesInProgress && (newStatus == ReasonerStatus.INITIALIZED || newStatus == ReasonerStatus.INCONSISTENT) && reasonerManager.getCurrentReasoner().getBufferingMode() == BufferingMode.BUFFERING) { newStatus = ReasonerStatus.OUT_OF_SYNC; } updateReasonerStatus(newStatus); }
private void updateReasonerStatus(boolean changesInProgress) { if (!reasonerManagerStarted) { return; } OWLReasonerManager reasonerManager = getOWLEditorKit().getOWLModelManager().getOWLReasonerManager(); ReasonerStatus newStatus; try { newStatus = reasonerManager.getReasonerStatus(); } catch (ReasonerDiedException reasonerDied) { newStatus = ReasonerStatus.REASONER_NOT_INITIALIZED; ReasonerUtilities.warnThatReasonerDied(null, reasonerDied); } if (changesInProgress && (newStatus == ReasonerStatus.INITIALIZED || newStatus == ReasonerStatus.INCONSISTENT) && reasonerManager.getCurrentReasoner().getBufferingMode() == BufferingMode.BUFFERING) { newStatus = ReasonerStatus.OUT_OF_SYNC; } updateReasonerStatus(newStatus); }
private void updateReasonerStatus(boolean changesInProgress) { if (!reasonerManagerStarted) { return; } OWLReasonerManager reasonerManager = getOWLEditorKit().getOWLModelManager().getOWLReasonerManager(); ReasonerStatus newStatus; try { newStatus = reasonerManager.getReasonerStatus(); } catch (ReasonerDiedException reasonerDied) { newStatus = ReasonerStatus.REASONER_NOT_INITIALIZED; ReasonerUtilities.warnThatReasonerDied(null, reasonerDied); } if (changesInProgress && (newStatus == ReasonerStatus.INITIALIZED || newStatus == ReasonerStatus.INCONSISTENT) && reasonerManager.getCurrentReasoner().getBufferingMode() == BufferingMode.BUFFERING) { newStatus = ReasonerStatus.OUT_OF_SYNC; } updateReasonerStatus(newStatus); }