DROPS

Document

Short Paper

DOI: 10.4230/LIPIcs.COSIT.2024.17

A Logic of East and West for Intervals (Short Paper)

Authors: Zekai Li, Amin Farjudian, and Heshan Du

Published in: LIPIcs, Volume 315, 16th International Conference on Spatial Information Theory (COSIT 2024)

Abstract

This paper proposes a logic of east and west for intervals (LEWI), which extends the logic of east and west for points. For intervals in 1D Euclidean space, the logic LEWI formalises the qualitative direction relations "east", "west", "definitely east", "definitely west", "partially east", "partially west", etc. To cope with imprecision in geometry representations, the logic LEWI is parameterized by a margin of error σ ∈ ℝ_{> 0} and a level of indeterminacy in directions τ ∈ ℕ_{> 1}. For every τ, we provide an axiomatisation of the logic LEWI, and prove that it is sound and complete with respect to 1D Euclidean space.

Cite as

Zekai Li, Amin Farjudian, and Heshan Du. A Logic of East and West for Intervals (Short Paper). In 16th International Conference on Spatial Information Theory (COSIT 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 315, pp. 17:1-17:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@InProceedings{li_et_al:LIPIcs.COSIT.2024.17,
  author =	{Li, Zekai and Farjudian, Amin and Du, Heshan},
  title =	{{A Logic of East and West for Intervals}},
  booktitle =	{16th International Conference on Spatial Information Theory (COSIT 2024)},
  pages =	{17:1--17:8},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-330-0},
  ISSN =	{1868-8969},
  year =	{2024},
  volume =	{315},
  editor =	{Adams, Benjamin and Griffin, Amy L. and Scheider, Simon and McKenzie, Grant},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2024.17},
  URN =		{urn:nbn:de:0030-drops-208320},
  doi =		{10.4230/LIPIcs.COSIT.2024.17},
  annote =	{Keywords: Qualitative Spatial Logic, Soundness, Completeness}
}

Document

Short Paper

DOI: 10.4230/LIPIcs.COSIT.2022.29

Representing Computational Relations in Knowledge Graphs Using Functional Languages (Short Paper)

Authors: Yanmin Qi, Heshan Du, Amin Farjudian, and Yunqiang Zhu

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

Abstract

Knowledge representation is the cornerstone of constructing a GKG. The existing representations of spatial and computational relations in GKGs, however, are inadequate. In this paper, we use DE-9IM to represent spatial topological relations. To represent computational relations, we use typed lambda calculus via its implementation in the functional language Haskell, in which functions are first-class primitives. We exemplify our ideas through some basic examples in Haskell.

Cite as

Yanmin Qi, Heshan Du, Amin Farjudian, and Yunqiang Zhu. Representing Computational Relations in Knowledge Graphs Using Functional Languages (Short Paper). In 15th International Conference on Spatial Information Theory (COSIT 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 240, pp. 29:1-29:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@InProceedings{qi_et_al:LIPIcs.COSIT.2022.29,
  author =	{Qi, Yanmin and Du, Heshan and Farjudian, Amin and Zhu, Yunqiang},
  title =	{{Representing Computational Relations in Knowledge Graphs Using Functional Languages}},
  booktitle =	{15th International Conference on Spatial Information Theory (COSIT 2022)},
  pages =	{29:1--29:7},
  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.29},
  URN =		{urn:nbn:de:0030-drops-169147},
  doi =		{10.4230/LIPIcs.COSIT.2022.29},
  annote =	{Keywords: spatial relation, computational relation, functional programming, Haskell, geo-knowledge graph}
}

Search Results

Documents authored by Du, Heshan

A Logic of East and West for Intervals (Short Paper)

Abstract

Cite as

Representing Computational Relations in Knowledge Graphs Using Functional Languages (Short Paper)

Abstract

Cite as

Thanks for your feedback!

Could not send message