public ReasonerPreferences getReasonerPreferences() { return getOWLReasonerManager().getReasonerPreferences(); }
public ReasonerPreferences getReasonerPreferences() { return getOWLReasonerManager().getReasonerPreferences(); }
public ReasonerPreferences getReasonerPreferences() { return getOWLReasonerManager().getReasonerPreferences(); }
public ReasonerPreferences getReasonerPreferences() { return getOWLReasonerManager().getReasonerPreferences(); }
public void actionPerformed(ActionEvent e) { ReasonerPreferences prefs = mngr.getOWLReasonerManager().getReasonerPreferences(); prefs.setShowInferences(displayReasonerResults.isSelected()); } });
public void actionPerformed(ActionEvent e) { ReasonerPreferences prefs = mngr.getOWLReasonerManager().getReasonerPreferences(); prefs.setShowInferences(displayReasonerResults.isSelected()); } });
private void readPreferences() { ReasonerPreferences preferences = getOWLModelManager().getOWLReasonerManager().getReasonerPreferences(); required = EnumSet.noneOf(InferenceType.class); required.addAll(preferences.getRequired()); disallowed = EnumSet.noneOf(InferenceType.class); disallowed.addAll(preferences.getDisallowed()); }
private void readPreferences() { ReasonerPreferences preferences = getOWLModelManager().getOWLReasonerManager().getReasonerPreferences(); required = EnumSet.noneOf(InferenceType.class); required.addAll(preferences.getRequired()); disallowed = EnumSet.noneOf(InferenceType.class); disallowed.addAll(preferences.getDisallowed()); }
private void readPreferences() { ReasonerPreferences preferences = getOWLModelManager().getOWLReasonerManager().getReasonerPreferences(); required = EnumSet.noneOf(InferenceType.class); required.addAll(preferences.getRequired()); disallowed = EnumSet.noneOf(InferenceType.class); disallowed.addAll(preferences.getDisallowed()); }
private void readPreferences() { ReasonerPreferences preferences = getOWLModelManager().getOWLReasonerManager().getReasonerPreferences(); required = EnumSet.noneOf(InferenceType.class); required.addAll(preferences.getRequired()); disallowed = EnumSet.noneOf(InferenceType.class); disallowed.addAll(preferences.getDisallowed()); }
@Override public void applyChanges() { ReasonerPreferences preferences = getOWLModelManager().getOWLReasonerManager().getReasonerPreferences(); for (InferenceType type : InferenceType.values()) { preferences.setRequired(type, required.contains(type)); preferences.setDisallowed(type, disallowed.contains(type)); } preferences.save(); }
@Override public void applyChanges() { ReasonerPreferences preferences = getOWLModelManager().getOWLReasonerManager().getReasonerPreferences(); for (InferenceType type : InferenceType.values()) { preferences.setRequired(type, required.contains(type)); preferences.setDisallowed(type, disallowed.contains(type)); } preferences.save(); }
@Override public void applyChanges() { ReasonerPreferences preferences = getOWLModelManager().getOWLReasonerManager().getReasonerPreferences(); for (InferenceType type : InferenceType.values()) { preferences.setRequired(type, required.contains(type)); preferences.setDisallowed(type, disallowed.contains(type)); } preferences.save(); }
@Override public void applyChanges() { ReasonerPreferences preferences = getOWLModelManager().getOWLReasonerManager().getReasonerPreferences(); for (InferenceType type : InferenceType.values()) { preferences.setRequired(type, required.contains(type)); preferences.setDisallowed(type, disallowed.contains(type)); } preferences.save(); }
/** * 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(); } } }
/** * 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(); } } }
/** * 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(); } } }
/** * 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 OWLModelManagerImpl() { super(); manager = OntologyManagerFactory.createManager(); manager.addOntologyChangeListener(this); objectRenderer = new OWLObjectRendererImpl(this); owlEntityRenderingCache = new OWLEntityRenderingCacheImpl(); owlEntityRenderingCache.setOWLModelManager(this); owlObjectRenderingCache = new OWLObjectRenderingCache(this); owlExpressionCheckerFactory = new ManchesterOWLExpressionCheckerFactory(this); //needs to be initialized activeOntologiesStrategy = new ImportsClosureOntologySelectionStrategy(this); historyManager = new HistoryManagerImpl(this); owlReasonerManager = new OWLReasonerManagerImpl(this); owlReasonerManager.getReasonerPreferences().addListener(() -> fireEvent(EventType.ONTOLOGY_CLASSIFIED)); deprecationCache = new DeprecationCache(manager.getOWLDataFactory().getOWLDeprecated()); // force the renderer to be created // to prevent double cache rebuild once ontologies loaded getOWLEntityRenderer(); put(OntologySourcesManager.ID, new OntologySourcesManager(this)); }