Ontology-Based Formal Specifications for User-Friendly Geospatial Data Discovery.
Ammar MechoucheNathalie AbadieEmeric ProuteauSébastien MustièrePublished in: EGC (best of volume) (2011)
Keyphrases
- user friendly
- geospatial data
- formal specification
- spatial data
- model checking
- data collection
- graphical interface
- data processing
- data sources
- multiple sources
- formal methods
- user interface
- geospatial information
- data management
- reverse engineering
- spatial objects
- user friendly interface
- protocol specification
- context aware
- knowledge discovery
- software components
- data analysis
- digital libraries
- expert systems
- heterogeneous data
- information systems
- artificial intelligence
- data mining
- database