What is in a contour map? A region-based logical formalization of contour semantics

By:  and 

Links

Abstract

Contours maps (such as topographic maps) compress the information of a function over a two-dimensional area into a discrete set of closed lines that connect points of equal value (isolines), striking a fine balance between expressiveness and cognitive simplicity. They allow humans to perform many common sense reasoning tasks about the underlying function (e.g. elevation).

This paper analyses and formalizes contour semantics in a first-order logic ontology that forms the basis for enabling computational common sense reasoning about contour information. The elicited contour semantics comprises four key concepts – contour regions, contour lines, contour values, and contour sets – and their subclasses and associated relations, which are grounded in an existing qualitative spatial ontology. All concepts and relations are illustrated and motivated by physical-geographic features identifiable on topographic contour maps. The encoding of the semantics of contour concepts in first-order logic and a derived conceptual model as basis for an OWL ontology lay the foundation for fully automated, semantically-aware qualitative and quantitative reasoning about contours.

Additional publication details

Publication type Book chapter
Publication Subtype Book Chapter
Title What is in a contour map? A region-based logical formalization of contour semantics
Subseries Lecture Notes in Computer Science
DOI 10.1007/978-3-319-23374-1_18
Volume 9368
Year Published 2015
Language English
Publisher Springer
Contributing office(s) National Geospatial Program
Description 25 p.
Larger Work Type Book
Larger Work Subtype Conference publication
Larger Work Title Spatial information theory: 12th International Conference, COSIT 2015 Santa Fe, NM, USA, October 12–16, 2015, proceedings
First page 375
Last page 399
Online Only (Y/N) N
Additional Online Files (Y/N) N