protected OWLReasoner getReasoner() { return mngr.getOWLReasonerManager().getCurrentReasoner(); }
protected OWLReasoner getReasoner() { return owlModelManager.getOWLReasonerManager().getCurrentReasoner(); }
public OWLReasoner getReasoner() { return getOWLReasonerManager().getCurrentReasoner(); }
protected OWLReasoner getReasoner() { return mngr.getOWLReasonerManager().getCurrentReasoner(); }
public OWLReasoner getReasoner() { return getOWLReasonerManager().getCurrentReasoner(); }
public OWLReasoner getReasoner() { return getOWLReasonerManager().getCurrentReasoner(); }
protected OWLReasoner getReasoner() { return mngr.getOWLReasonerManager().getCurrentReasoner(); }
protected OWLReasoner getReasoner() { return owlModelManager.getOWLReasonerManager().getCurrentReasoner(); }
protected OWLReasoner getReasoner() { return owlModelManager.getOWLReasonerManager().getCurrentReasoner(); }
protected OWLReasoner getReasoner() { return mngr.getOWLReasonerManager().getCurrentReasoner(); }
public OWLReasoner getCurrentReasoner() { return getOWLModelManager().getOWLReasonerManager().getCurrentReasoner(); }
public OWLReasoner getCurrentReasoner() { return getOWLModelManager().getOWLReasonerManager().getCurrentReasoner(); }
private boolean isSatisfiable(@Nonnull OWLObject owlObject) { return !(owlObject instanceof OWLClass) || editorKit.getOWLModelManager() .getOWLReasonerManager() .getCurrentReasoner() .isSatisfiable((OWLClass) owlObject); }
public OWLClass getInferredOwlClass() { OWLReasoner reasoner = editorKit.getOWLModelManager().getOWLReasonerManager().getCurrentReasoner(); if (individual == null || individual.isAnonymous() || reasoner instanceof NoOpReasoner) { return owlClass; } if (inferredOwlClassNeedsRecalculation) { recalculateInferredOwlClass(reasoner); inferredOwlClassNeedsRecalculation = false; } return inferredOwlClass; }
@Override public void dispose() throws Exception { // if the reasoner is ELK and has already been created, load the // preferences OWLReasoner reasoner = getOWLModelManager().getOWLReasonerManager() .getCurrentReasoner(); if (!(reasoner instanceof ElkReasoner)) return; ((ElkReasoner) reasoner) .setConfigurationOptions(ElkPreferences.getElkConfig()); }
public OWLClass getInferredOwlClass() { OWLReasoner reasoner = editorKit.getOWLModelManager().getOWLReasonerManager().getCurrentReasoner(); if (individual == null || individual.isAnonymous() || reasoner instanceof NoOpReasoner) { return owlClass; } if (inferredOwlClassNeedsRecalculation) { recalculateInferredOwlClass(reasoner); inferredOwlClassNeedsRecalculation = false; } return inferredOwlClass; }
public OWLClass getInferredOwlClass() { OWLReasoner reasoner = editorKit.getOWLModelManager().getOWLReasonerManager().getCurrentReasoner(); if (individual == null || individual.isAnonymous() || reasoner instanceof NoOpReasoner) { return owlClass; } if (inferredOwlClassNeedsRecalculation) { recalculateInferredOwlClass(reasoner); inferredOwlClassNeedsRecalculation = false; } return inferredOwlClass; }
public OWLClass getInferredOwlClass() { OWLReasoner reasoner = editorKit.getOWLModelManager().getOWLReasonerManager().getCurrentReasoner(); if (individual == null || individual.isAnonymous() || reasoner instanceof NoOpReasoner) { return owlClass; } if (inferredOwlClassNeedsRecalculation) { recalculateInferredOwlClass(reasoner); inferredOwlClassNeedsRecalculation = false; } return inferredOwlClass; }
@Override public void dispose() throws Exception { // if the reasoner is ELK and has already been created, load the // preferences OWLReasoner reasoner = getOWLModelManager().getOWLReasonerManager() .getCurrentReasoner(); if (reasoner instanceof ElkReasoner) { ((ElkReasoner) reasoner) .setConfigurationOptions(ElkPreferences.getElkConfig()); } }
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); }