private JCheckBox getCheckBox(OptionalInferenceTask task, String description) { JCheckBox enabledBox = enabledMap.get(task); if (enabledBox == null) { description = "<html><body>" + description + " <span style='color: gray;'>(" + timeToString(preferences.getTimeInTask(task)) + " total/" + timeToString(preferences.getAverageTimeInTask(task)) + " average)</span>"; enabledBox = new JCheckBox(description); enabledBox.setSelected(preferences.isEnabled(task)); enabledMap.put(task, enabledBox); } return enabledBox; }
public OWLReasonerManagerImpl(OWLModelManager owlModelManager) { this.owlModelManager = owlModelManager; preferences = new ReasonerPreferences(); preferences.load(); reasonerFactories = new HashSet<ProtegeOWLReasonerInfo>(); reasonerProgressMonitor = new NullReasonerProgressMonitor(); installFactories(); exceptionHandler = new DefaultOWLReasonerExceptionHandler(); }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_SUPER_CLASSES, new Runnable() { public void run() { refillInferredDoIt(); } }); }
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()); }
public void requestPrecomputedInferences(String requestor, Set<InferenceType> types) { precompute.requestPrecomputedInferences(requestor, types); fireChanged(); }
public void load() { Preferences prefs = getPreferences(); displayed.load(this); precompute.load(prefs); defaultReasonerId = prefs.getString(DEFAULT_REASONER_ID, NoOpReasonerInfo.NULL_REASONER_ID); }
private void installFactories() { ProtegeOWLReasonerPluginLoader loader = new ProtegeOWLReasonerPluginLoader(owlModelManager); addReasonerFactories(loader.getPlugins()); setCurrentReasonerFactoryId(preferences.getDefaultReasonerId()); }
/** * 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(); } } }
prepareReasonerInferences.classClassificationRequired=preferences.isEnabled( ReasonerPreferences.OptionalInferenceTask.SHOW_CLASS_UNSATISFIABILITY) || preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_EQUIVALENT_CLASSES) || preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_DISJOINT_CLASSES) || preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_SUPER_CLASSES) || preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_OBJECT_PROPERTY_DOMAINS) || preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_OBJECT_PROPERTY_RANGES) || preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_DATATYPE_PROPERTY_DOMAINS ); prepareReasonerInferences.objectPropertyClassificationRequired=preferences.isEnabled( ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_EQUIVALENT_OBJECT_PROPERTIES) || preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_INVERSE_PROPERTIES) || preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_SUPER_OBJECT_PROPERTIES) || preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_OBJECT_PROPERTY_UNSATISFIABILITY ); prepareReasonerInferences.dataPropertyClassificationRequired=preferences.isEnabled( ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_EQUIVALENT_DATATYPE_PROPERTIES) || preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_SUPER_DATATYPE_PROPERTIES) || preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_DATA_PROPERTY_ASSERTIONS ); prepareReasonerInferences.realisationRequired=preferences.isEnabled( ReasonerPreferences.OptionalInferenceTask.SHOW_INFERED_CLASS_MEMBERS) || preferences.isEnabled(ReasonerPreferences.OptionalInferenceTask.SHOW_INFERRED_TYPES ); prepareReasonerInferences.objectPropertyRealisationRequired=preferences.isEnabled(
public void requestPrecomputedInferences(String requestor, Set<InferenceType> types) { precompute.requestPrecomputedInferences(requestor, types); fireChanged(); }
public void save() { Preferences prefs = getPreferences(); displayed.save(this); precompute.save(prefs); prefs.putString(DEFAULT_REASONER_ID, defaultReasonerId); }
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 installFactories() { ProtegeOWLReasonerPluginLoader loader = new ProtegeOWLReasonerPluginLoader(owlModelManager); addReasonerFactories(loader.getPlugins()); setCurrentReasonerFactoryId(preferences.getDefaultReasonerId()); }
/** * 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(); } } }
private JCheckBox getCheckBox(OptionalInferenceTask task, String description) { JCheckBox enabledBox = enabledMap.get(task); if (enabledBox == null) { description = description + " (" + timeToString(preferences.getTimeInTask(task)) + " total/" + timeToString(preferences.getAverageTimeInTask(task)) + " average)"; enabledBox = new JCheckBox(description); enabledBox.setSelected(preferences.isEnabled(task)); enabledMap.put(task, enabledBox); } return enabledBox; }
protected void refillInferred() { getOWLModelManager().getReasonerPreferences().executeTask(OptionalInferenceTask.SHOW_INFERRED_INHERITED_ANONYMOUS_CLASSES, new Runnable() { public void run() { refillInferredDoIt(); } }); }
public void setShowInferences(boolean showInferences) { displayed.setShowInferences(showInferences); fireChanged(); }
public OWLReasonerManagerImpl(OWLModelManager owlModelManager) { this.owlModelManager = owlModelManager; preferences = new ReasonerPreferences(); preferences.load(); reasonerFactories = new HashSet<ProtegeOWLReasonerInfo>(); reasonerProgressMonitor = new NullReasonerProgressMonitor(); installFactories(); exceptionHandler = new DefaultOWLReasonerExceptionHandler(); }
public void save() { Preferences prefs = getPreferences(); displayed.save(this); precompute.save(prefs); prefs.putString(DEFAULT_REASONER_ID, defaultReasonerId); }
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()); }