Document Open Access Logo

Formal Qualitative Spatial Augmentation of the Simple Feature Access Model

Authors Shirly Stephen, Torsten Hahmann



PDF
Thumbnail PDF

File

LIPIcs.COSIT.2019.15.pdf
  • Filesize: 0.51 MB
  • 18 pages

Document Identifiers

Author Details

Shirly Stephen
  • School of Computing and Information Science, University of Maine, Orono, ME 04469, USA
Torsten Hahmann
  • School of Computing and Information Science, University of Maine, Orono, ME 04469, USA

Acknowledgements

The authors are grateful for the four anonymous reviewer’s thoughtful comments that helped improve the final version of the paper.

Cite AsGet BibTex

Shirly Stephen and Torsten Hahmann. Formal Qualitative Spatial Augmentation of the Simple Feature Access Model. In 14th International Conference on Spatial Information Theory (COSIT 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 142, pp. 15:1-15:18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.COSIT.2019.15

Abstract

The need to share and integrate heterogeneous geospatial data has resulted in the development of geospatial data standards such as the OGC/ISO standard Simple Feature Access (SFA), that standardize operations and simple topological and mereotopological relations over various geometric features such as points, line segments, polylines, polygons, and polyhedral surfaces. While SFA’s supplied relations enable qualitative querying over the geometric features, the relations' semantics are not formalized. This lack of formalization prevents further automated reasoning - apart from simple querying - with the geometric data, either in isolation or in conjunction with external purely qualitative information as one might extract from textual sources, such as social media. To enable joint qualitative reasoning over geometric and qualitative spatial information, this work formalizes the semantics of SFA’s geometric features and mereotopological relations by defining or restricting them in terms of the spatial entity types and relations provided by CODIB, a first-order logical theory from an existing logical formalization of multidimensional qualitative space.

Subject Classification

ACM Subject Classification
  • Computing methodologies → Ontology engineering
  • Computing methodologies → Spatial and physical reasoning
  • Information systems → Geographic information systems
Keywords
  • space
  • geometry
  • geospatial semantics
  • qualitative spatial representation (QSR)
  • simple feature access
  • topological relations
  • formal ontology

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail