public boolean ensureRunningReasonerInitialized() { boolean reasonerChanged = false; if (runningReasoner instanceof NoOpReasoner) { runningReasoner = null; } if (runningReasoner != null && !runningReasoner.getPendingChanges().isEmpty()) { if (runningReasoner.getBufferingMode() == null || runningReasoner.getBufferingMode() == BufferingMode.NON_BUFFERING) { runningReasoner.dispose(); runningReasoner = null; } else { runningReasoner.flush(); } } if (runningReasoner == null) { runningReasoner = ReasonerUtilities.createReasoner(applyReasonerFilters(ontology), currentReasonerFactory, reasonerProgressMonitor); reasonerChanged = true; } if (runningReasoner == null) { classificationInProgress = false; logger.warn("An error occurred during reasoner initialisation"); } return reasonerChanged; }
public void uncaughtException(Thread thread, Throwable throwable) { ProtegeApplication.getErrorLog().logError(throwable); try { if (getReasonerStatus() != ReasonerStatus.REASONER_NOT_INITIALIZED) { exceptionHandler.handle(throwable); } } catch (ReasonerDiedException died) { ReasonerUtilities.warnThatReasonerDied(null, died); } } });
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 boolean ensureRunningReasonerInitialized() { boolean reasonerChanged = false; if (runningReasoner instanceof NoOpReasoner) { runningReasoner = null; } if (runningReasoner != null && !runningReasoner.getPendingChanges().isEmpty()) { if (runningReasoner.getBufferingMode() == null || runningReasoner.getBufferingMode() == BufferingMode.NON_BUFFERING) { runningReasoner.dispose(); runningReasoner = null; } else { runningReasoner.flush(); } } if (runningReasoner == null) { runningReasoner = ReasonerUtilities.createReasoner(applyReasonerFilters(ontology), currentReasonerFactory, reasonerProgressMonitor); reasonerChanged = true; } if (runningReasoner == null) { classificationInProgress = false; logger.warn("An error occurred during reasoner initialisation"); } return reasonerChanged; }
ReasonerUtilities.warnThatReasonerDied(null, died);
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 boolean ensureRunningReasonerInitialized() { boolean reasonerChanged = false; if (runningReasoner instanceof NoOpReasoner) { runningReasoner = null; } if (runningReasoner != null && !runningReasoner.getPendingChanges().isEmpty()) { if (runningReasoner.getBufferingMode() == null || runningReasoner.getBufferingMode() == BufferingMode.NON_BUFFERING) { runningReasoner.dispose(); runningReasoner = null; } else { runningReasoner.flush(); } } if (runningReasoner == null) { runningReasoner = ReasonerUtilities.createReasoner(ontology, currentReasonerFactory, reasonerProgressMonitor); reasonerChanged = true; } return reasonerChanged; }
ReasonerUtilities.warnThatReasonerDied(null, died);
try { OWLReasonerManager reasonerManager = getOWLModelManager().getOWLReasonerManager(); ReasonerUtilities.warnUserIfReasonerIsNotConfigured(this, reasonerManager);
public boolean ensureRunningReasonerInitialized() { boolean reasonerChanged = false; if (runningReasoner instanceof NoOpReasoner) { runningReasoner = null; } if (runningReasoner != null && !runningReasoner.getPendingChanges().isEmpty()) { if (runningReasoner.getBufferingMode() == null || runningReasoner.getBufferingMode() == BufferingMode.NON_BUFFERING) { runningReasoner.dispose(); runningReasoner = null; } else { runningReasoner.flush(); } } if (runningReasoner == null) { runningReasoner = ReasonerUtilities.createReasoner(applyReasonerFilters(ontology), currentReasonerFactory, reasonerProgressMonitor); reasonerChanged = true; } if (runningReasoner == null) { classificationInProgress = false; ProtegeApplication.getErrorLog().logError(new Exception("Reasoner Initialization failed (ontology is probably inconsistent)")); } return reasonerChanged; }
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); }