[ 源代码: haskell-swish ]
软件包:libghc-swish-dev(0.10.0.4-1 以及其他的)
libghc-swish-dev 的相关链接
Debian 的资源:
下载源码包 haskell-swish:
- [haskell-swish_0.10.0.4-1.dsc]
- [haskell-swish_0.10.0.4.orig.tar.gz]
- [haskell-swish_0.10.0.4-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.13.0.0-5b8ba
- 本虚包由这些包填实: ghc
-
- dep: libghc-containers-dev-0.6.2.1-53ee1
- 本虚包由这些包填实: ghc
-
- dep: libghc-directory-dev-1.3.6.0-6c350
- 本虚包由这些包填实: ghc
-
- dep: libghc-filepath-dev-1.4.2.1-8143b
- 本虚包由这些包填实: ghc
-
- dep: libghc-hashable-dev-1.3.0.0-565bd
- 本虚包由这些包填实: libghc-hashable-dev
-
- dep: libghc-intern-dev-0.9.3-63374
- 本虚包由这些包填实: libghc-intern-dev
-
- dep: libghc-mtl-dev-2.2.2-c5b7a
- 本虚包由这些包填实: ghc
-
- dep: libghc-network-uri-dev-2.6.3.0-82b6c
- 本虚包由这些包填实: libghc-network-uri-dev
-
- dep: libghc-old-locale-dev-1.0.0.7-2d137
- 本虚包由这些包填实: libghc-old-locale-dev
-
- dep: libghc-polyparse-dev-1.13-62f68
- 本虚包由这些包填实: libghc-polyparse-dev
-
- dep: libghc-text-dev-1.2.4.0-9798c
- 本虚包由这些包填实: ghc
-
- dep: libghc-time-dev-1.9.3-8c784
- 本虚包由这些包填实: ghc
-
- dep: libgmp10
- 多精度运算库
-
- sug: libghc-swish-doc
- semantic web toolkit - library documentation
-
- sug: libghc-swish-prof
- semantic web toolkit - profiling libraries