Representing Computational Relations in Knowledge Graphs Using Functional Languages

Yanmin Qi; Heshan Du; Amin Farjudian; Yunqiang Zhu

doi:10.4230/LIPIcs.COSIT.2022.29

Representing Computational Relations in Knowledge Graphs Using Functional Languages

Yanmin Qi, Heshan Du, Amin Farjudian, Yunqiang Zhu

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	15th International Conference on Spatial Information Theory, COSIT 2022
Editors	Toru Ishikawa, Sara Irina Fabrikant, Stephan Winter
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)	9783959772570
DOIs	https://doi.org/10.4230/LIPIcs.COSIT.2022.29
Publication status	Published - 1 Sept 2022
Event	15th International Conference on Spatial Information Theory, COSIT 2022 - Kobe, Japan Duration: 5 Sept 2022 → 9 Sept 2022

Publication series

Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	240
ISSN (Print)	1868-8969

Conference

Conference	15th International Conference on Spatial Information Theory, COSIT 2022
Country/Territory	Japan
City	Kobe
Period	5/09/22 → 9/09/22

Keywords

Haskell
computational relation
functional programming
geo-knowledge graph
spatial relation

ASJC Scopus subject areas

Software

Access to Document

10.4230/LIPIcs.COSIT.2022.29

Cite this

Qi, Y., Du, H., Farjudian, A., & Zhu, Y. (2022). Representing Computational Relations in Knowledge Graphs Using Functional Languages. In T. Ishikawa, S. I. Fabrikant, & S. Winter (Eds.), 15th International Conference on Spatial Information Theory, COSIT 2022 Article 29 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 240). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.COSIT.2022.29

Qi, Yanmin ; Du, Heshan ; Farjudian, Amin et al. / Representing Computational Relations in Knowledge Graphs Using Functional Languages. 15th International Conference on Spatial Information Theory, COSIT 2022. editor / Toru Ishikawa ; Sara Irina Fabrikant ; Stephan Winter. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2022. (Leibniz International Proceedings in Informatics, LIPIcs).

@inproceedings{1d562cfca81048bc8b307900e9f2f013,

title = "Representing Computational Relations in Knowledge Graphs Using Functional Languages",

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.",

keywords = "Haskell, computational relation, functional programming, geo-knowledge graph, spatial relation",

author = "Yanmin Qi and Heshan Du and Amin Farjudian and Yunqiang Zhu",

note = "Publisher Copyright: {\textcopyright} 2022 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.; 15th International Conference on Spatial Information Theory, COSIT 2022 ; Conference date: 05-09-2022 Through 09-09-2022",

year = "2022",

month = sep,

day = "1",

doi = "10.4230/LIPIcs.COSIT.2022.29",

language = "English",

series = "Leibniz International Proceedings in Informatics, LIPIcs",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

editor = "Toru Ishikawa and Fabrikant, {Sara Irina} and Stephan Winter",

booktitle = "15th International Conference on Spatial Information Theory, COSIT 2022",

address = "Germany",

}

Qi, Y , Du, H, Farjudian, A & Zhu, Y 2022, Representing Computational Relations in Knowledge Graphs Using Functional Languages. in T Ishikawa, SI Fabrikant & S Winter (eds), 15th International Conference on Spatial Information Theory, COSIT 2022., 29, Leibniz International Proceedings in Informatics, LIPIcs, vol. 240, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15th International Conference on Spatial Information Theory, COSIT 2022, Kobe, Japan, 5/09/22. https://doi.org/10.4230/LIPIcs.COSIT.2022.29

Representing Computational Relations in Knowledge Graphs Using Functional Languages. / Qi, Yanmin ; Du, Heshan; Farjudian, Amin et al.
15th International Conference on Spatial Information Theory, COSIT 2022. ed. / Toru Ishikawa; Sara Irina Fabrikant; Stephan Winter. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2022. 29 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 240).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Representing Computational Relations in Knowledge Graphs Using Functional Languages

AU - Qi, Yanmin

AU - Du, Heshan

AU - Farjudian, Amin

AU - Zhu, Yunqiang

PY - 2022/9/1

Y1 - 2022/9/1

N2 - 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.

AB - 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.

KW - Haskell

KW - computational relation

KW - functional programming

KW - geo-knowledge graph

KW - spatial relation

UR - http://www.scopus.com/inward/record.url?scp=85137672025&partnerID=8YFLogxK

U2 - 10.4230/LIPIcs.COSIT.2022.29

DO - 10.4230/LIPIcs.COSIT.2022.29

M3 - Conference contribution

AN - SCOPUS:85137672025

T3 - Leibniz International Proceedings in Informatics, LIPIcs

BT - 15th International Conference on Spatial Information Theory, COSIT 2022

A2 - Ishikawa, Toru

A2 - Fabrikant, Sara Irina

A2 - Winter, Stephan

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

T2 - 15th International Conference on Spatial Information Theory, COSIT 2022

Y2 - 5 September 2022 through 9 September 2022

ER -

Qi Y , Du H, Farjudian A, Zhu Y. Representing Computational Relations in Knowledge Graphs Using Functional Languages. In Ishikawa T, Fabrikant SI, Winter S, editors, 15th International Conference on Spatial Information Theory, COSIT 2022. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2022. 29. (Leibniz International Proceedings in Informatics, LIPIcs). doi: 10.4230/LIPIcs.COSIT.2022.29

Representing Computational Relations in Knowledge Graphs Using Functional Languages

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this