The beginnings of a logical semantics framework for the integration of thematic map data
The integration of spatial datasets from different sources is becoming an increasingly important issue. It is very desirable to have a rigorous approach to integration, as an ad hoc approach can easily lead to incorrect inferences. This paper takes a formal approach, giving the beginnings of a logical semantics framework which allows meaning to be defined mathematically for spatial datasets which represent certain types of thematic map data. The basic idea is to interpret the datasets as summarizations of spatial variables, which are in turn interpreted as sets of possible worlds (ways the world could be). This semantics approach can give a formal meaning to pairs (or sets) of such datasets, which can then be used to determine the valid inferences from an integrated dataset.
Document Type: Research Article
Affiliations: Department of Computer Science Keele University Staffordshire ST5 5BG UK
Publication date: 01 June 2004
- Editorial Board
- Information for Authors
- Subscribe to this Title
- Ingenta Connect is not responsible for the content or availability of external websites
- Access Key
- Free content
- Partial Free content
- New content
- Open access content
- Partial Open access content
- Subscribed content
- Partial Subscribed content
- Free trial content