Representing Computational Relations in Knowledge Graphs Using Functional Languages

Yanmin Qi, Heshan Du, Amin Farjudian, Yunqiang Zhu

Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

Abstract

Knowledge representation is the cornerstone of constructing a geoscience knowledge graph (GKG). The existing representations of spatial and computational relations in GKGs, however, are inadequate. In this paper, we use Dimensionally Extended Nine-Intersection Model (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.

Original languageEnglish
Title of host publication15th International Conference on Spatial Information Theory, COSIT 2022
EditorsToru Ishikawa, Sara Irina Fabrikant, Stephan Winter
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959772570
DOIs
Publication statusPublished - 1 Sep 2022
Event15th International Conference on Spatial Information Theory, COSIT 2022 - Kobe, Japan
Duration: 5 Sep 20229 Sep 2022

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume240
ISSN (Print)1868-8969

Conference

Conference15th International Conference on Spatial Information Theory, COSIT 2022
Country/TerritoryJapan
CityKobe
Period5/09/229/09/22

Keywords

  • computational relation
  • functional programming
  • geo-knowledge graph
  • Haskell
  • spatial relation

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Representing Computational Relations in Knowledge Graphs Using Functional Languages'. Together they form a unique fingerprint.

Cite this