Search Results

Documents authored by Stephen, Shirly

Document
DOI: 10.4230/LIPIcs.COSIT.2019.15
Formal Qualitative Spatial Augmentation of the Simple Feature Access Model

Authors: Shirly Stephen and Torsten Hahmann

Published in: LIPIcs, Volume 142, 14th International Conference on Spatial Information Theory (COSIT 2019)

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.
Cite as

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)

Copy BibTex To Clipboard

@InProceedings{stephen_et_al:LIPIcs.COSIT.2019.15,
  author =	{Stephen, Shirly and Hahmann, Torsten},
  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 =	{Timpf, Sabine and Schlieder, Christoph and Kattenbeck, Markus and Ludwig, Bernd and Stewart, Kathleen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2019.15},
  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}
}
Document
DOI: 10.4230/LIPIcs.COSIT.2017.7
An Ontological Framework for Characterizing Hydrological Flow Processes

Authors: Shirly Stephen and Torsten Hahmann

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
The spatio-temporal processes that describe hydrologic flow - the movement of water above and below the surface of the Earth -- are currently underrepresented in formal semantic representations of the water domain. This paper analyses basic flow processes in the hydrology domain and systematically studies the hydrogeological entities, such as different rock and water bodies, the ground surface or subsurface zones, that participate in them. It identifies the source and goal entities and the transported water (the theme) as common participants in hydrologic flow and constructs a taxonomy of different flow patterns based on differences in source and goal participants. The taxonomy and related concepts are axiomatized in first-order logic as refinements of DOLCE's participation relation and reusing hydrogeological concepts from the Hydro Foundational Ontology (HyFO). The formalization further enhances HyFO and contributes to improved knowledge integration in the hydrology domain.
Cite as

Shirly Stephen and Torsten Hahmann. An Ontological Framework for Characterizing Hydrological Flow Processes. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 7:1-7:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{stephen_et_al:LIPIcs.COSIT.2017.7,
  author =	{Stephen, Shirly and Hahmann, Torsten},
  title =	{{An Ontological Framework for Characterizing Hydrological Flow Processes}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{7:1--7:14},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.7},
  URN =		{urn:nbn:de:0030-drops-77639},
  doi =		{10.4230/LIPIcs.COSIT.2017.7},
  annote =	{Keywords: hydrology, flow processes, formal ontology, participation, semantic roles}
}
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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact