private void installFactories() { ProtegeOWLReasonerPluginLoader loader = new ProtegeOWLReasonerPluginLoader(owlModelManager); addReasonerFactories(loader.getPlugins()); setCurrentReasonerFactoryId(preferences.getDefaultReasonerId()); }
public void requestPrecomputedInferences(String requestor, Set<InferenceType> types) { precompute.requestPrecomputedInferences(requestor, types); fireChanged(); }
public void setEnabled(OptionalInferenceTask task, boolean enabled) { displayed.setEnabled(task, enabled); fireChanged(); }
public void load() { Preferences prefs = getPreferences(); displayed.load(this); precompute.load(prefs); defaultReasonerId = prefs.getString(DEFAULT_REASONER_ID, NoOpReasonerInfo.NULL_REASONER_ID); }
public void save() { Preferences prefs = getPreferences(); displayed.save(this); precompute.save(prefs); prefs.putString(DEFAULT_REASONER_ID, defaultReasonerId); }
public void setDisallowed(InferenceType type, boolean isDisallowed) { precompute.setDisallowed(type, isDisallowed); fireChanged(); }
public void setRequired(InferenceType type, boolean isRequired) { precompute.setRequired(type, isRequired); fireChanged(); }
public void setShowInferences(boolean showInferences) { displayed.setShowInferences(showInferences); fireChanged(); }
public String getCurrentReasonerFactoryId() { return getCurrentReasonerFactory().getReasonerId(); }
public void dispose() { if (preferences != null) { preferences.save(); } clearAndDisposeReasoners(); }
public void fireChanged() { for (ReasonerPreferencesListener listener : listeners) { listener.preferencesChanged(); } }
private void installFactories() { ProtegeOWLReasonerPluginLoader loader = new ProtegeOWLReasonerPluginLoader(owlModelManager); addReasonerFactories(loader.getPlugins()); setCurrentReasonerFactoryId(preferences.getDefaultReasonerId()); }
public void requestPrecomputedInferences(String requestor, Set<InferenceType> types) { precompute.requestPrecomputedInferences(requestor, types); fireChanged(); }
public void setEnabled(OptionalInferenceTask task, boolean enabled) { displayed.setEnabled(task, enabled); fireChanged(); }
public void setDisallowed(InferenceType type, boolean isDisallowed) { precompute.setDisallowed(type, isDisallowed); fireChanged(); }
public void setRequired(InferenceType type, boolean isRequired) { precompute.setRequired(type, isRequired); fireChanged(); }
private void installFactories() { ProtegeOWLReasonerPluginLoader loader = new ProtegeOWLReasonerPluginLoader(owlModelManager); addReasonerFactories(loader.getPlugins()); setCurrentReasonerFactoryId(preferences.getDefaultReasonerId()); }
public void requestPrecomputedInferences(String requestor, Set<InferenceType> types) { precompute.requestPrecomputedInferences(requestor, types); fireChanged(); }
private void installFactories() { ProtegeOWLReasonerPluginLoader loader = new ProtegeOWLReasonerPluginLoader(owlModelManager); addReasonerFactories(loader.getPlugins()); setCurrentReasonerFactoryId(preferences.getDefaultReasonerId()); }
public void requestPrecomputedInferences(String requestor, Set<InferenceType> types) { precompute.requestPrecomputedInferences(requestor, types); fireChanged(); }