套件:libghc-swish-dev(0.10.4.0-1 以及其他的) [debports]
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.1 (>= 2.29)
- GNU C 函式庫:共用函式庫
同時作為一個虛擬套件由這些套件填實: libc6.1-udeb
-
- dep: libghc-base-dev-4.17.2.0-09ce5
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-containers-dev-0.6.7-a1650
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-directory-dev-1.3.7.1-f2d83
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-filepath-dev-1.4.2.2-290a6
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-hashable-dev-1.4.3.0-f3706
- 本虛擬套件由這些套件填實: libghc-hashable-dev
-
- dep: libghc-intern-dev-0.9.5-ca9b3
- 本虛擬套件由這些套件填實: libghc-intern-dev
-
- dep: libghc-mtl-dev-2.2.2-6f39a
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-network-uri-dev-2.6.4.2-8eb8e
- 本虛擬套件由這些套件填實: libghc-network-uri-dev
-
- dep: libghc-polyparse-dev-1.13-1f232
- 本虛擬套件由這些套件填實: libghc-polyparse-dev
-
- dep: libghc-text-dev-2.0.2-b0ed7
- 本虛擬套件由這些套件填實: ghc
-
- dep: libghc-time-dev-1.12.2-491a0
- 本虛擬套件由這些套件填實: ghc
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Multiprecision arithmetic library