2 Search Results for "Long, Zhiguo"


Document
An Incremental Algorithm for Handling Qualitative Spatio-Temporal Information

Authors: Zhiguo Long, Qiyuan Hu, Hua Meng, and Michael Sioutis

Published in: LIPIcs, Volume 240, 15th International Conference on Spatial Information Theory (COSIT 2022)


Abstract
In this paper, we present an online (incremental) algorithm for checking the satisfiability of qualitative spatio-temporal data, with direct implications to other fundamental knowledge representation and reasoning problems for such data, like the problems of deductive closure and redundancy removal. In particular, qualitative data come in the form of human-like, symbolic, descriptions such as "region x contains or overlaps region y", which are abundant in the Web of Data. Our approach is also able to maintain, to some extent, any sparse graph structure that may be inherent in the data, i.e., it acts parsimoniously and only tries to infer new information when needed for soundness and completeness. To this end, we complement our practical algorithm with certain theoretical results to assert its correctness and efficiency. A subsequent evaluation with publicly available large-scale real-world and random datasets against the state of the art, shows the interest and promise of our method.

Cite as

Zhiguo Long, Qiyuan Hu, Hua Meng, and Michael Sioutis. An Incremental Algorithm for Handling Qualitative Spatio-Temporal Information. In 15th International Conference on Spatial Information Theory (COSIT 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 240, pp. 5:1-5:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@InProceedings{long_et_al:LIPIcs.COSIT.2022.5,
  author =	{Long, Zhiguo and Hu, Qiyuan and Meng, Hua and Sioutis, Michael},
  title =	{{An Incremental Algorithm for Handling Qualitative Spatio-Temporal Information}},
  booktitle =	{15th International Conference on Spatial Information Theory (COSIT 2022)},
  pages =	{5:1--5:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-257-0},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{240},
  editor =	{Ishikawa, Toru and Fabrikant, Sara Irina and Winter, Stephan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2022.5},
  URN =		{urn:nbn:de:0030-drops-168907},
  doi =		{10.4230/LIPIcs.COSIT.2022.5},
  annote =	{Keywords: Online algorithm, qualitative data, spatio-temporal reasoning, satisfiability checking, knowledge representation and reasoning}
}
Document
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}
}
  • Refine by Author
  • 1 Hahmann, Torsten
  • 1 Hu, Qiyuan
  • 1 Long, Zhiguo
  • 1 Meng, Hua
  • 1 Sioutis, Michael
  • Show More...

  • Refine by Classification
  • 2 Computing methodologies → Spatial and physical reasoning
  • 1 Computing methodologies → Ontology engineering
  • 1 Computing methodologies → Temporal reasoning
  • 1 Information systems → Geographic information systems
  • 1 Theory of computation → Constraint and logic programming

  • Refine by Keyword
  • 1 Online algorithm
  • 1 formal ontology
  • 1 geometry
  • 1 geospatial semantics
  • 1 knowledge representation and reasoning
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2019
  • 1 2022

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