Skip to main content

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

Buy Article:

$60.90 plus tax (Refund Policy)


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: June 1, 2004

More about this publication?

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
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