public OWLReasoner getReasoner() { return getOWLReasonerManager().getCurrentReasoner(); }
public OWLReasonerFactory getReasonerFactory() { return new ProtegeOWLReasonerFactoryWrapper(modelManager.getOWLReasonerManager().getCurrentReasonerFactory()); }
public ReasonerPreferences getReasonerPreferences() { return getOWLReasonerManager().getReasonerPreferences(); }
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); }
/** * Invoked when an action occurs. */ public void actionPerformed(ActionEvent e) { ReasonerPreferences preferences = getOWLModelManager().getOWLReasonerManager().getReasonerPreferences(); Set<InferenceType> precompute; precompute = preferences.getPrecomputedInferences(); if (!getOWLModelManager().getOWLReasonerManager().classifyAsynchronously(precompute)) { Object[] options = {"OK", "Interrupt Current Reasoning Task"}; int ret = JOptionPane.showOptionDialog(null, "Reasoner initialization still in progress. New initialization can't be started", "Reasoner initialization in progress", JOptionPane.YES_NO_CANCEL_OPTION, JOptionPane.QUESTION_MESSAGE, null, options, options[0]); if (ret == 1) { getOWLModelManager().getOWLReasonerManager().killCurrentClassification(); } } }
public void initialise() { super.initialise(); ProtegeApplication.getLogManager().addErrorLogListener(errorLogListener); createActiveOntologyPanel(); owlComponentFactory = new OWLComponentFactoryImpl(getOWLEditorKit()); final OWLModelManager mngr = getOWLModelManager(); mngr.addListener(owlModelManagerListener); mngr.addOntologyChangeListener(listener); OWLReasonerManager reasonerManager = mngr.getOWLReasonerManager(); reasonerManager.setReasonerProgressMonitor(new ReasonerProgressUI(getOWLEditorKit())); reasonerManager.setReasonerExceptionHandler(new UIReasonerExceptionHandler(this)); reasonerManagerStarted = true; updateReasonerStatus(false); displayReasonerResults.setSelected(reasonerManager.getReasonerPreferences().isShowInferences()); displayReasonerResults.addActionListener(e -> { ReasonerPreferences prefs = reasonerManager.getReasonerPreferences(); prefs.setShowInferences(displayReasonerResults.isSelected()); }); reasonerStatus.setFont(Fonts.getSmallDialogFont()); displayReasonerResults.putClientProperty("JComponent.sizeVariant", "small"); displayReasonerResults.setFont(Fonts.getSmallDialogFont()); new OntologySourcesChangedHandlerUI(this); }
public ExplanationResult explain(OWLAxiom axiom) { OWLOntology activeOntology = getOWLModelManager().getActiveOntology(); OWLReasonerFactory rFactory = getOWLModelManager().getOWLReasonerManager().getCurrentReasonerFactory().getReasonerFactory(); OWLReasoner reasoner = getOWLModelManager().getOWLReasonerManager().getCurrentReasoner(); BlackBoxExplanation explain = new BlackBoxExplanation(activeOntology, rFactory, reasoner); Set<OWLAxiom> axioms = explain.getExplanation(getClassExpression(axiom)); AxiomListFrame frame = new AxiomListFrame(getOWLEditorKit()); frame.setRootObject(axioms); final OWLFrameList<Set<OWLAxiom>> frameList = new OWLFrameList<Set<OWLAxiom>>(getOWLEditorKit(), frame); frameList.setPreferredSize(new Dimension(800, 600)); frameList.refreshComponent(); ExplanationResult result = new ExplanationResult() { @Override public void dispose() { frameList.dispose(); } }; result.setLayout(new BorderLayout()); result.add(new JScrollPane(frameList), BorderLayout.CENTER); return result; }
Set<ProtegeOWLReasonerInfo> factories = mngr.getOWLReasonerManager().getInstalledReasonerFactories(); List<ProtegeOWLReasonerInfo> factoriesList = new ArrayList<>(factories); Collections.sort(factoriesList, new ReasonerInfoComparator()); for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item); bg.add(item); item.addActionListener(e -> { mngr.getOWLReasonerManager().setCurrentReasonerFactoryId(plugin.getReasonerId()); });
public static void warnUserIfReasonerIsNotConfigured(Component owner, OWLReasonerManager manager) { switch (manager.getReasonerStatus()) { case NO_REASONER_FACTORY_CHOSEN: JOptionPane.showMessageDialog(owner,
Set<ProtegeOWLReasonerInfo> factories = mngr.getOWLReasonerManager().getInstalledReasonerFactories(); List<ProtegeOWLReasonerInfo> factoriesList = new ArrayList<ProtegeOWLReasonerInfo>(factories); Collections.sort(factoriesList, new ReasonerInfoComparator()); for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item); bg.add(item);
public void setCancelled() { taskLabel.setText("Cancelled. Waiting for reasoner to terminate..."); cancelledAction.setEnabled(false); owlEditorKit.getOWLModelManager().getOWLReasonerManager().killCurrentClassification(); }
private void updateHeader() { getView().setHeaderText("Classified using " + getOWLModelManager().getOWLReasonerManager().getCurrentReasonerName()); }
public void dispose() { super.dispose(); OntologySourcesManager sourcesMngr = get(OntologySourcesManager.ID); removeIOListener(sourcesMngr); try { // Empty caches owlEntityRenderingCache.dispose(); owlObjectRenderingCache.dispose(); if(entityRenderer != null) { entityRenderer.dispose(); } owlReasonerManager.dispose(); } catch(Exception e) { logger.error("An error occurred whilst disposing of the model manager: {}", e.getMessage(), e); } // Name and shame plugins that do not (or can't be bothered to) clean up // their listeners! modelManagerListenerManager.dumpWarningForAllListeners(logger, "(Listeners should be removed in the plugin dispose method!)"); changeListenerManager.dumpWarningForAllListeners(logger, "(Listeners should be removed in the plugin dispose method!)"); }
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); }
/** * Invoked when an action occurs. */ public void actionPerformed(ActionEvent e) { ReasonerPreferences preferences = getOWLModelManager().getOWLReasonerManager().getReasonerPreferences(); Set<InferenceType> precompute; precompute = preferences.getPrecomputedInferences(); if (!getOWLModelManager().getOWLReasonerManager().classifyAsynchronously(precompute)) { Object[] options = {"OK", "Interrupt Current Reasoning Task"}; int ret = JOptionPane.showOptionDialog(null, "Reasoner initialization still in progress. New initialization can't be started", "Reasoner initialization in progress", JOptionPane.YES_NO_CANCEL_OPTION, JOptionPane.QUESTION_MESSAGE, null, options, options[0]); if (ret == 1) { getOWLModelManager().getOWLReasonerManager().killCurrentClassification(); } } }
mngr.addOntologyChangeListener(listener); mngr.getOWLReasonerManager().setReasonerProgressMonitor(new ReasonerProgressUI(getOWLEditorKit())); mngr.getOWLReasonerManager().setReasonerExceptionHandler(new UIReasonerExceptionHandler(this)); reasonerManagerStarted = true; updateReasonerStatus(false); displayReasonerResults.setSelected(mngr.getOWLReasonerManager().getReasonerPreferences().isShowInferences()); displayReasonerResults.addActionListener(new ActionListener() {
Set<ProtegeOWLReasonerInfo> factories = mngr.getOWLReasonerManager().getInstalledReasonerFactories(); List<ProtegeOWLReasonerInfo> factoriesList = new ArrayList<>(factories); Collections.sort(factoriesList, new ReasonerInfoComparator()); for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item); bg.add(item); item.addActionListener(e -> { mngr.getOWLReasonerManager().setCurrentReasonerFactoryId(plugin.getReasonerId()); });
public static void warnUserIfReasonerIsNotConfigured(Component owner, OWLReasonerManager manager) { switch (manager.getReasonerStatus()) { case NO_REASONER_FACTORY_CHOSEN: JOptionPane.showMessageDialog(owner,
Set<ProtegeOWLReasonerInfo> factories = mngr.getOWLReasonerManager().getInstalledReasonerFactories(); List<ProtegeOWLReasonerInfo> factoriesList = new ArrayList<ProtegeOWLReasonerInfo>(factories); Collections.sort(factoriesList, new ReasonerInfoComparator()); for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item); bg.add(item);
public void setCancelled() { SwingUtilities.invokeLater(() -> { initWindow(); taskLabel .setText("Cancelled. Waiting for reasoner to terminate..."); cancelledAction.setEnabled(false); }); owlEditorKit.getOWLModelManager().getOWLReasonerManager() .killCurrentClassification(); }