[ 原始碼: haskell-swish ]
套件:libghc-swish-dev(0.10.9.0-2)
libghc-swish-dev 的相關連結
Debian 的資源:
下載原始碼套件 haskell-swish:
- [haskell-swish_0.10.9.0-2.dsc]
- [haskell-swish_0.10.9.0.orig.tar.bz2]
- [haskell-swish_0.10.9.0-2.debian.tar.xz]
維護小組:
外部的資源:
- 主頁 [gitlab.com]
相似套件:
semantic web toolkit - libraries
Swish is a framework for performing deductions in RDF data using a variety of techniques. Swish is conceived as a toolkit for experimenting with RDF inference, and for implementing stand-alone RDF file processors (usable in similar style to CWM, but with a view to being extensible in declarative style through added Haskell function and data value declarations). It explores Haskell as "a scripting language for the Semantic Web".
Swish is a work-in-progress, and currently incorporates:
* Turtle, Notation3 and NTriples input and output. The N3 support is incomplete (no handling of @forAll). * RDF graph isomorphism testing and merging. * Display of differences between RDF graphs. * Inference operations in forward chaining, backward chaining and proof-checking modes. * Simple Horn-style rule implementations, extendable through variable binding modifiers and filters. * Class restriction rule implementation, primarily for datatype inferences. * RDF formal semantics entailment rule implementation. * Complete, ready-to-run, command-line and script-driven programs.
This package contains the Swish libraries compiled for GHC.
其他與 libghc-swish-dev 有關的套件
|
|
|
|
-
- dep: libc6 (>= 2.29)
- GNU C 函式庫:共用函式庫
同時作為一個虛擬套件由這些套件填實: libc6-udeb
-
- dep: libghc-base-dev-4.18.2.1-8e81e
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-containers-dev-0.6.7-7a228
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-directory-dev-1.3.8.5-98ebe
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-filepath-dev-1.4.300.1-f6cd4
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-hashable-dev-1.4.4.0-fb202
- 本虛擬套件由這些套件填實: libghc-hashable-dev
-
- dep: libghc-intern-dev-0.9.5-e2df5
- 本虛擬套件由這些套件填實: libghc-intern-dev
-
- dep: libghc-mtl-dev-2.3.1-f8119
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-network-uri-dev-2.6.4.2-2a756
- 本虛擬套件由這些套件填實: libghc-network-uri-dev
-
- dep: libghc-polyparse-dev-1.13-23a45
- 本虛擬套件由這些套件填實: libghc-polyparse-dev
-
- dep: libghc-text-dev-2.0.2-5b954
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-time-dev-1.12.2-eb20f
- 本虛擬套件由這些套件填實: ghc
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Multiprecision arithmetic library