@Override public BufferingMode getBufferingMode() { return delegate_.getBufferingMode(); }
@Override public synchronized BufferingMode getBufferingMode() { return r.getBufferingMode(); }
@Override public BufferingMode getBufferingMode() { return delegate_.getBufferingMode(); }
@Override public BufferingMode getBufferingMode() { return delegate_.getBufferingMode(); }
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 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; }
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 ontologiesChanged(List<? extends OWLOntologyChange> changes) throws OWLException { OWLReasoner reasoner = owlModelManager.getReasoner(); // the reasoner may not know it has updates yet - but we can check if it believes it will handle them if (!(reasoner instanceof NoOpReasoner) && reasoner.getBufferingMode() == BufferingMode.NON_BUFFERING) { boolean needsRefresh = false; for (OWLOntologyChange change : changes) { if (change instanceof OWLAxiomChange && ((OWLAxiomChange) change).getAxiom().isLogicalAxiom()) { needsRefresh = true; break; } } if (needsRefresh) { // too tricky... too tricky... wait until after the reasoner has reacted to the changes. SwingUtilities.invokeLater(new Runnable() { public void run() { if (owlModelManager.getOWLReasonerManager().getReasonerStatus() == ReasonerStatus.INITIALIZED) { fireHierarchyChanged(); } } }); } } } };
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; }
public void ontologiesChanged(List<? extends OWLOntologyChange> changes) throws OWLException { OWLReasoner reasoner = owlModelManager.getReasoner(); // the reasoner may not know it has updates yet - but we can check if it believes it will handle them if (!(reasoner instanceof NoOpReasoner) && reasoner.getBufferingMode() == BufferingMode.NON_BUFFERING) { boolean needsRefresh = false; for (OWLOntologyChange change : changes) { if (change instanceof OWLAxiomChange && ((OWLAxiomChange) change).getAxiom().isLogicalAxiom()) { needsRefresh = true; break; } } if (needsRefresh) { // too tricky... too tricky... wait until after the reasoner has reacted to the changes. SwingUtilities.invokeLater(new Runnable() { public void run() { try { if (owlModelManager.getOWLReasonerManager().getReasonerStatus() == ReasonerStatus.INITIALIZED) { fireHierarchyChanged(); } } catch (ReasonerDiedException rde) { ReasonerUtilities.warnThatReasonerDied(null, rde); } } }); } } } };
public void ontologiesChanged(List<? extends OWLOntologyChange> changes) throws OWLException { OWLReasoner reasoner = getCurrentReasoner(); if (reasoner instanceof NoOpReasoner || reasoner.getBufferingMode() != BufferingMode.NON_BUFFERING) { return;
public void ontologiesChanged(List<? extends OWLOntologyChange> changes) throws OWLException { OWLReasoner reasoner = getCurrentReasoner(); if (reasoner instanceof NoOpReasoner || reasoner.getBufferingMode() != BufferingMode.NON_BUFFERING) { return;
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); }
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); }