OntoTrader: An Ontological Web Trading Agent Approach for Environmental Information Retrieval

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)