The beginnings of a logical semantics framework for the integration of thematic map data

$61.20 plus tax (Refund Policy)

Buy Article:

Abstract:

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

DOI: http://dx.doi.org/10.1080/13658810410001672917

Affiliations: Department of Computer Science Keele University Staffordshire ST5 5BG UK

Publication date: June 1, 2004

More about this publication?
Related content

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more