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) 

