SKOS(语义网)的 Haskell 数据结构

Question

简介

我正在用 haskell 编写一个语义 Web 应用程序。

使用 hsparql http://hackage.haskell.org/package/hsparql我可以访问我的 Tripple 商店。目前我使用http://4store.org/ (主要是因为它易于安装)。我使用快照http://snapframework.com/进行 servlet 编程(Yesod 也很酷!!)。

目前我使用 SKOS 来表示 RDF 中的书签类别。

SKOS 链接:

• http://www.w3.org/TR/skos-reference/
• http://www.athenaeurope.org/athenawiki/index.php/SKOS

基本上，Skos 概念是一个类别。它有一个 URL(作为一种 ID)和一个标签。进一步的 Skos 概念可以有子概念，用“更广泛”定义和“更窄”。

例如，在我的书签中，有 SKOS 概念“所有书签”，以及一个子概念“ haskell 书签”。这两个概念都有 URL(例如 ID)和标签。此外，“haskell 书签”与更广泛的概念是“所有书签”有关系。

我的问题

我需要一个用于 SKOS 的 haskell 数据结构。

我当前的是:

-- Type Aliases.

type Url = String
type Label = String


-- Date Structure.

data SkosConcept = SkosConcept {
      url :: Url
    , label :: Label
    , subConcepts :: [SkosConcept]
    } deriving (Show)

我认为这不是一个好方法，但我不知道更好的方法。

此外， future 数据结构需要扩展到多个标签，以及存储相关概念的方法，...

此外，某些概念可能没有任何子概念。

有关如何改进数据结构或“正确执行”的任何指示吗？

====编辑:======

问题是一个 skos 概念可能有多个更广泛的 skos 概念。因此，我的“haskell 书签”可以有两个更广泛的 skos 概念(例如类别)，名为“编程书签”和“我的重要书签”。

目前我能想到的唯一解决方案是使用:

• skos 概念“更广泛”关系的有向图
• “更广泛”的二元关系(但我不知道是否有良好的 haskell 支持)
• 没有中间数据结构，我的所有函数都查询 RDF Tripple Store

Answer 1

与其尝试直接存储双向结构，为什么不使用标准的图形方法，并存储一个既包含概念集又包含概念之间关系集的元组？

比照:http://hackage.haskell.org/package/fgl