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(
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; }
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; }
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; }
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; }