všetky možnosti
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Zdroj: haskell-swish  ]

Balík: libghc-swish-dev (0.10.0.2-1 a iné)

Odkazy pre libghc-swish-dev

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík haskell-swish:

Správcovia:

Externé zdroje:

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom libghc-swish-dev

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libghc-swish-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
alpha (neoficiálny port) 0.10.0.2-1 2,247.1 kB27,381.0 kB [zoznam súborov]
amd64 0.10.0.2-1 1,325.3 kB14,644.0 kB [zoznam súborov]
arm64 0.10.0.2-1 1,597.1 kB18,643.0 kB [zoznam súborov]
armel 0.10.0.2-1 1,454.8 kB15,279.0 kB [zoznam súborov]
armhf 0.10.0.2-1 1,436.9 kB15,084.0 kB [zoznam súborov]
hppa (neoficiálny port) 0.10.0.2-1 2,701.4 kB28,376.0 kB [zoznam súborov]
i386 0.10.0.2-1 1,315.5 kB12,076.0 kB [zoznam súborov]
m68k (neoficiálny port) 0.10.0.2-1 2,185.1 kB20,314.0 kB [zoznam súborov]
mips64el 0.10.0.2-1 2,027.5 kB26,606.0 kB [zoznam súborov]
mipsel 0.10.0.2-1 1,862.3 kB20,542.0 kB [zoznam súborov]
powerpcspe (neoficiálny port) 0.9.2.1-2 1,997.0 kB21,417.0 kB [zoznam súborov]
ppc64 (neoficiálny port) 0.10.0.2-1 1,987.7 kB28,001.0 kB [zoznam súborov]
ppc64el 0.10.0.2-1 2,075.8 kB25,407.0 kB [zoznam súborov]
riscv64 (neoficiálny port) 0.10.0.2-1 3,065.2 kB39,051.0 kB [zoznam súborov]
s390x 0.10.0.2-1 2,137.4 kB25,227.0 kB [zoznam súborov]
sparc64 (neoficiálny port) 0.10.0.2-1 2,556.2 kB40,693.0 kB [zoznam súborov]
x32 (neoficiálny port) 0.10.0.2-1 2,533.9 kB21,520.0 kB [zoznam súborov]