tüm seçenekler
[  bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Kaynak: haskell-swish  ]

Paket: libghc-swish-dev (0.10.10.0-1 ve diğerleri)

libghc-swish-dev için bağlantılar

Screenshot

Debian Kaynakları:

haskell-swish Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

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 ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libghc-swish-dev indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
alpha (resmi olmayan port) 0.10.10.0-1 2.335,0 kB28.141,0 kB [dosya listesi]
amd64 0.10.10.0-1+b1 1.331,2 kB15.086,0 kB [dosya listesi]
arm64 0.10.10.0-1+b1 1.440,3 kB17.605,0 kB [dosya listesi]
armel 0.10.10.0-1+b1 1.886,1 kB19.015,0 kB [dosya listesi]
armhf 0.10.10.0-1+b1 1.847,8 kB18.792,0 kB [dosya listesi]
hppa (resmi olmayan port) 0.10.10.0-1+b3 2.788,4 kB28.773,0 kB [dosya listesi]
i386 0.10.10.0-1+b1 2.345,9 kB20.152,0 kB [dosya listesi]
ia64 (resmi olmayan port) 0.10.4.0-1+b3 2.564,0 kB54.100,0 kB [dosya listesi]
loong64 (resmi olmayan port) 0.10.10.0-1 3.018,1 kB35.228,0 kB [dosya listesi]
m68k (resmi olmayan port) 0.10.10.0-1+b1 2.210,4 kB20.148,0 kB [dosya listesi]
mips64el 0.10.10.0-1+b1 2.205,9 kB27.616,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 0.10.10.0-1+b1 1.930,1 kB27.231,0 kB [dosya listesi]
ppc64el 0.10.10.0-1+b1 1.965,7 kB24.630,0 kB [dosya listesi]
riscv64 0.10.10.0-1 2.652,3 kB31.031,0 kB [dosya listesi]
s390x 0.10.10.0-1+b1 2.645,2 kB32.456,0 kB [dosya listesi]
sparc64 (resmi olmayan port) 0.10.10.0-1 2.349,5 kB38.234,0 kB [dosya listesi]
x32 (resmi olmayan port) 0.10.9.0-2 2.595,7 kB21.846,0 kB [dosya listesi]