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)