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

Mathematics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

42 Downloads (Pure)

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
Number of pages	7
ISBN (Electronic)	9783959772570
DOIs	https://doi.org/10.4230/LIPIcs.COSIT.2022.29
Publication status	Published - 22 Aug 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)
Publisher	Schloss Dagstuhl
Volume	240
ISSN (Electronic)	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

Bibliographical note

Funding Information:
National Natural Science Foundation of China [grant number 42050101]

Publisher Copyright:
© 2022 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.

Keywords

computational relation
functional programming
geo-knowledge graph
Haskell
spatial relation

ASJC Scopus subject areas

Software

Access to Document

10.4230/LIPIcs.COSIT.2022.29Licence: Creative Commons: Attribution (CC BY)

QiY2022RepresentingFinal published version, 560 KBLicence: Creative Commons: Attribution (CC BY)

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. https://doi.org/10.4230/LIPIcs.COSIT.2022.29

@inproceedings{9616fd98a8eb49f987096bd071a6c219,

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 = "computational relation, functional programming, geo-knowledge graph, Haskell, spatial relation",

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

note = "Funding Information: National Natural Science Foundation of China [grant number 42050101] 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 = aug,

day = "22",

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

language = "English",

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

publisher = "Schloss Dagstuhl",

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, 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, 2022. 29 (Leibniz International Proceedings in Informatics (LIPIcs); Vol. 240).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Representing Computational Relations in Knowledge Graphs Using Functional Languages

AU - Qi, Yanmin

AU - Du, Heshan

AU - Farjudian, Amin

AU - Zhu, Yunqiang

N1 - Funding Information: National Natural Science Foundation of China [grant number 42050101] Publisher Copyright: © 2022 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.

PY - 2022/8/22

Y1 - 2022/8/22

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 - computational relation

KW - functional programming

KW - geo-knowledge graph

KW - Haskell

KW - spatial relation

UR - https://www.scopus.com/pages/publications/85137672025

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

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

Y2 - 5 September 2022 through 9 September 2022

ER -

Representing Computational Relations in Knowledge Graphs Using Functional Languages

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this