public String getCurrentReasonerName() { return getCurrentReasoner().getReasonerName(); }
public String getCurrentReasonerName() { return getCurrentReasoner().getReasonerName(); }
public String getCurrentReasonerName() { return getCurrentReasoner().getReasonerName(); }
public String getCurrentReasonerName() { return getCurrentReasoner().getReasonerName(); }
public boolean isClassified() { synchronized (reasonerMap) { OWLReasoner reasoner = getCurrentReasoner(); return !(reasoner instanceof NoOpReasoner) && (reasoner.getPendingChanges() == null || reasoner.getPendingChanges().isEmpty()); } }
public boolean isClassified() { synchronized (reasonerMap) { OWLReasoner reasoner = getCurrentReasoner(); return !(reasoner instanceof NoOpReasoner) && (reasoner.getPendingChanges() == null || reasoner.getPendingChanges().isEmpty()); } }
public boolean isClassified() { synchronized (reasonerMap) { OWLReasoner reasoner = getCurrentReasoner(); return !(reasoner instanceof NoOpReasoner) && (reasoner.getPendingChanges() == null || reasoner.getPendingChanges().isEmpty()); } }
public boolean isClassified() { synchronized (reasonerMap) { OWLReasoner reasoner = getCurrentReasoner(); return !(reasoner instanceof NoOpReasoner) && (reasoner.getPendingChanges() == null || reasoner.getPendingChanges().isEmpty()); } }
public void killCurrentReasoner() { OWLReasoner reasoner = getCurrentReasoner(); if (!(reasoner instanceof NoOpReasoner)) { reasoner.dispose(); synchronized (reasonerMap) { reasonerMap.put(owlModelManager.getActiveOntology(), null); } } }
public void killCurrentReasoner() { OWLReasoner reasoner = getCurrentReasoner(); if (!(reasoner instanceof NoOpReasoner)) { try { reasoner.dispose(); } catch (Exception ex) { logger.warn("An error occurred whilst disposing of the current reasoner ({}). Error: {}", reasoner.getReasonerName(), ex); } synchronized (reasonerMap) { reasonerMap.put(owlModelManager.getActiveOntology(), null); } } }
public void killCurrentReasoner() { OWLReasoner reasoner = getCurrentReasoner(); if (!(reasoner instanceof NoOpReasoner)) { try { reasoner.dispose(); } catch (Exception ex) { logger.warn("An error occurred whilst disposing of the current reasoner ({}). Error: {}", reasoner.getReasonerName(), ex); } synchronized (reasonerMap) { reasonerMap.put(owlModelManager.getActiveOntology(), null); } } }
public ReasonerStatus getReasonerStatus() { synchronized (reasonerMap) { if (classificationInProgress) { return ReasonerStatus.INITIALIZATION_IN_PROGRESS; } if (currentReasonerFactory.getReasonerFactory() instanceof NoOpReasonerFactory) { return ReasonerStatus.NO_REASONER_FACTORY_CHOSEN; } else { OWLReasoner reasoner = getCurrentReasoner(); if (reasoner instanceof NoOpReasoner) { return ReasonerStatus.REASONER_NOT_INITIALIZED; } else if (!reasoner.isConsistent()) { return ReasonerStatus.INCONSISTENT; } else if (reasoner.getPendingChanges().isEmpty()) { return ReasonerStatus.INITIALIZED; } else { return ReasonerStatus.OUT_OF_SYNC; } } } }
public void killCurrentReasoner() { OWLReasoner reasoner = getCurrentReasoner(); if (!(reasoner instanceof NoOpReasoner)) { try { reasoner.dispose(); } catch (Exception ex) { ProtegeApplication.getErrorLog().logError(ex); } synchronized (reasonerMap) { reasonerMap.put(owlModelManager.getActiveOntology(), null); } } }
OWLReasoner reasoner = getCurrentReasoner(); try { if (reasoner instanceof NoOpReasoner) {
OWLReasoner reasoner = getCurrentReasoner(); try { if (reasoner instanceof NoOpReasoner) {
OWLReasoner reasoner = getCurrentReasoner(); try { if (reasoner instanceof NoOpReasoner) {
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;