Package: libghc-swish-dev (0.10.10.0-1 and others)
Links for libghc-swish-dev
Debian Resources:
Download Source Package haskell-swish:
- [haskell-swish_0.10.10.0-1.dsc]
- [haskell-swish_0.10.10.0.orig.tar.bz2]
- [haskell-swish_0.10.10.0-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [gitlab.com]
Similar packages:
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.
Other Packages Related to libghc-swish-dev
|
|
|
|
-
- dep: libc6 (>= 2.27) [riscv64]
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.29) [not riscv64]
-
- dep: libghc-base-dev-4.18.2.1-038db [i386]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-3be9b [armel, armhf]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-75247 [arm64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-8e81e [amd64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-b5217 [riscv64]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-b7e3b [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-base-dev-4.18.2.1-f2473 [s390x]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-138bd [armel, armhf]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-3eda8 [arm64]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-69002 [ppc64el, riscv64]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-7a228 [amd64]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-a865b [i386]
- virtual package provided by ghc
-
- dep: libghc-containers-dev-0.6.7-e8181 [s390x]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-71f9f [arm64]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-8eb88 [armel, armhf]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-98ebe [amd64]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-aca59 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-cba38 [s390x]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-d5b6b [i386]
- virtual package provided by ghc
-
- dep: libghc-directory-dev-1.3.8.5-dd052 [riscv64]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.300.1-16f57 [armel, armhf]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.300.1-4a448 [arm64]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.300.1-4ef81 [riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.300.1-a5a56 [i386]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.300.1-daa7f [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-filepath-dev-1.4.300.1-f6cd4 [amd64]
- virtual package provided by ghc
-
- dep: libghc-hashable-dev-1.4.4.0-1b435 [s390x]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.4.0-2c563 [ppc64el]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.4.0-3ee83 [arm64]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.4.0-409e6 [armel, armhf]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.4.0-45230 [i386]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.4.0-c0454 [riscv64]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-hashable-dev-1.4.4.0-fb202 [amd64]
- virtual package provided by libghc-hashable-dev
-
- dep: libghc-intern-dev-0.9.6-03c8a [amd64]
- virtual package provided by libghc-intern-dev
-
- dep: libghc-intern-dev-0.9.6-55217 [arm64]
- virtual package provided by libghc-intern-dev
-
- dep: libghc-intern-dev-0.9.6-594b4 [ppc64el]
- virtual package provided by libghc-intern-dev
-
- dep: libghc-intern-dev-0.9.6-6725a [i386]
- virtual package provided by libghc-intern-dev
-
- dep: libghc-intern-dev-0.9.6-97798 [s390x]
- virtual package provided by libghc-intern-dev
-
- dep: libghc-intern-dev-0.9.6-aef64 [armel, armhf]
- virtual package provided by libghc-intern-dev
-
- dep: libghc-intern-dev-0.9.6-da6c6 [riscv64]
- virtual package provided by libghc-intern-dev
-
- dep: libghc-mtl-dev-2.3.1-831d0 [i386]
- virtual package provided by ghc
-
- dep: libghc-mtl-dev-2.3.1-c3eca [armel, armhf]
- virtual package provided by ghc
-
- dep: libghc-mtl-dev-2.3.1-f8119 [not armel, armhf, i386]
- virtual package provided by ghc
-
- dep: libghc-network-uri-dev-2.6.4.2-01d3a [armel, armhf]
- virtual package provided by libghc-network-uri-dev
-
- dep: libghc-network-uri-dev-2.6.4.2-2a756 [amd64]
- virtual package provided by libghc-network-uri-dev
-
- dep: libghc-network-uri-dev-2.6.4.2-5434b [i386]
- virtual package provided by libghc-network-uri-dev
-
- dep: libghc-network-uri-dev-2.6.4.2-729e3 [riscv64]
- virtual package provided by libghc-network-uri-dev
-
- dep: libghc-network-uri-dev-2.6.4.2-856c5 [arm64]
- virtual package provided by libghc-network-uri-dev
-
- dep: libghc-network-uri-dev-2.6.4.2-901a0 [ppc64el]
- virtual package provided by libghc-network-uri-dev
-
- dep: libghc-network-uri-dev-2.6.4.2-e388c [s390x]
- virtual package provided by libghc-network-uri-dev
-
- dep: libghc-polyparse-dev-1.13-23a45 [amd64]
- virtual package provided by libghc-polyparse-dev
-
- dep: libghc-polyparse-dev-1.13-4c738 [armel, armhf]
- virtual package provided by libghc-polyparse-dev
-
- dep: libghc-polyparse-dev-1.13-4e1d0 [s390x]
- virtual package provided by libghc-polyparse-dev
-
- dep: libghc-polyparse-dev-1.13-5b69b [ppc64el]
- virtual package provided by libghc-polyparse-dev
-
- dep: libghc-polyparse-dev-1.13-6003d [riscv64]
- virtual package provided by libghc-polyparse-dev
-
- dep: libghc-polyparse-dev-1.13-b36ef [i386]
- virtual package provided by libghc-polyparse-dev
-
- dep: libghc-polyparse-dev-1.13-e1959 [arm64]
- virtual package provided by libghc-polyparse-dev
-
- dep: libghc-text-dev-2.0.2-41553 [s390x]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-5b954 [amd64]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-62568 [i386]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-974c0 [riscv64]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-ca8a7 [ppc64el]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-da1a9 [armel, armhf]
- virtual package provided by ghc
-
- dep: libghc-text-dev-2.0.2-edcc7 [arm64]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.12.2-17989 [i386]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.12.2-2cc4e [ppc64el, riscv64, s390x]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.12.2-a9ccc [arm64]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.12.2-d0f76 [armel, armhf]
- virtual package provided by ghc
-
- dep: libghc-time-dev-1.12.2-eb20f [amd64]
- virtual package provided by ghc
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Multiprecision arithmetic library
Download libghc-swish-dev
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
amd64 | 0.10.10.0-1+b1 | 1,331.2 kB | 15,086.0 kB | [list of files] |
arm64 | 0.10.10.0-1+b1 | 1,440.3 kB | 17,605.0 kB | [list of files] |
armel | 0.10.10.0-1+b1 | 1,886.1 kB | 19,015.0 kB | [list of files] |
armhf | 0.10.10.0-1+b1 | 1,847.8 kB | 18,792.0 kB | [list of files] |
i386 | 0.10.10.0-1+b1 | 2,345.9 kB | 20,152.0 kB | [list of files] |
ppc64el | 0.10.10.0-1+b1 | 1,965.7 kB | 24,630.0 kB | [list of files] |
riscv64 | 0.10.10.0-1 | 2,652.3 kB | 31,031.0 kB | [list of files] |
s390x | 0.10.10.0-1+b1 | 2,645.2 kB | 32,456.0 kB | [list of files] |