Table 2: Formal EID ontology assertions.

Number Entity Assertions

Number 1 Band (band_id exactly 1) and (band_is_shown_by_satellite_image min 0) and (band_name exactly 1)

Number 2 Classification (classification_id exactly 1) and ((classification_shows_layer min 1) or (classification_uses_satellite_image min 1)) and (classification_ends_time exactly 1) and (classification_is_made_by_technician min 1) and (classification_name exactly 1) and (classification_shows_geography exactly 1) and (classification_starts_time exactly 1)

Number 3 Geography (geography_id exactly 1) and (geography_is_shown_by_classification min 0) and (geography_locality exactly 1) and (geography_name exactly 1) and (geography_town exactly 1)

#4 Layer (layer_id exactly 1) and (layer_has_variable min 1) and (layer_is_shown_by_classification exactly 1) and (layer_name exactly 1) and (layer_observations max 1)

Number 5 Satellite_image (satellite_image_id exactly 1) and (satellite_image_is_used_by_classification min 0) and (satellite_image_shows_band min 1)

Number 6 Technician (technician_id exactly 1) and (technician_first_name exactly 1) and (technician_last_name exactly 1) and (technician_makes_classification min 0) and (technician_organization max 1)

Number 7 Time (time_id exactly 1) and (time_day exactly 1) and (time_month exactly 1) and (time_year exactly 1) and (time_is_started_by_classification min 0)

Number 8 Variable (variable_id exactly 1) and (variable_name exactly 1) and (variable_is_had_by_layer exactly 1)