软件包:libghc-swish-dev(0.10.3.0-1)
libghc-swish-dev 的相关链接
Debian 的资源:
下载源码包 haskell-swish:
- [haskell-swish_0.10.3.0-1.dsc]
- [haskell-swish_0.10.3.0.orig.tar.gz]
- [haskell-swish_0.10.3.0-1.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 libraries compiled for GHC.
其他与 libghc-swish-dev 有关的软件包
|
|
|
|
-
- dep: libc6 (>= 2.29)
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6-udeb
-
- dep: libghc-base-dev-4.15.1.0-6a406
- 本虚包由这些包填实: ghc
-
- dep: libghc-containers-dev-0.6.4.1-31c3b
- 本虚包由这些包填实: ghc
-
- dep: libghc-directory-dev-1.3.6.2-311c9
- 本虚包由这些包填实: ghc
-
- dep: libghc-filepath-dev-1.4.2.1-4459f
- 本虚包由这些包填实: ghc
-
- dep: libghc-hashable-dev-1.3.5.0-3fad8
- 本虚包由这些包填实: libghc-hashable-dev
-
- dep: libghc-intern-dev-0.9.4-cafcb
- 本虚包由这些包填实: libghc-intern-dev
-
- dep: libghc-mtl-dev-2.2.2-e3bae
- 本虚包由这些包填实: ghc
-
- dep: libghc-network-uri-dev-2.6.4.1-35b94
- 本虚包由这些包填实: libghc-network-uri-dev
-
- dep: libghc-polyparse-dev-1.13-d8ec9
- 本虚包由这些包填实: libghc-polyparse-dev
-
- dep: libghc-text-dev-1.2.5.0-8553e
- 本虚包由这些包填实: ghc
-
- dep: libghc-time-dev-1.9.3-bda76
- 本虚包由这些包填实: ghc
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1)
- 多精度运算库