License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.COSIT.2019.15
URN: urn:nbn:de:0030-drops-111074
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2019/11107/
Go to the corresponding LIPIcs Volume Portal

Stephen, Shirly ; Hahmann, Torsten

Formal Qualitative Spatial Augmentation of the Simple Feature Access Model

pdf-format:
LIPIcs-COSIT-2019-15.pdf (0.5 MB)

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.

BibTeX - Entry

@InProceedings{stephen_et_al:LIPIcs:2019:11107,
  author =	{Shirly Stephen and Torsten Hahmann},
  title =	{{Formal Qualitative Spatial Augmentation of the Simple Feature Access Model}},
  booktitle =	{14th International Conference on Spatial Information Theory (COSIT 2019)},
  pages =	{15:1--15:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-115-3},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{142},
  editor =	{Sabine Timpf and Christoph Schlieder and Markus Kattenbeck and Bernd Ludwig and Kathleen Stewart},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/11107},
  URN =		{urn:nbn:de:0030-drops-111074},
  doi =		{10.4230/LIPIcs.COSIT.2019.15},
  annote =	{Keywords: space, geometry, geospatial semantics, qualitative spatial representation (QSR), simple feature access, topological relations, formal ontology}
}

Keywords: space, geometry, geospatial semantics, qualitative spatial representation (QSR), simple feature access, topological relations, formal ontology
Collection: 14th International Conference on Spatial Information Theory (COSIT 2019)
Issue Date: 2019
Date of publication: 03.09.2019

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI