1 Search Results for "Du, Heshan"


Document
Short Paper
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}
}
  • Refine by Author
  • 1 Du, Heshan
  • 1 Farjudian, Amin
  • 1 Qi, Yanmin
  • 1 Zhu, Yunqiang

  • Refine by Classification
  • 1 Theory of computation → Semantics and reasoning

  • Refine by Keyword
  • 1 Haskell
  • 1 computational relation
  • 1 functional programming
  • 1 geo-knowledge graph
  • 1 spatial relation

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 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