toutes les options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Paquet source : haskell-swish  ]

Paquet : libghc-swish-dev (0.10.0.2-1 et autres)

Liens pour libghc-swish-dev

Screenshot

Ressources Debian :

Télécharger le paquet source haskell-swish :

Responsables :

Ressources externes :

Paquets similaires :

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.

Autres paquets associés à libghc-swish-dev

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libghc-swish-dev

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 0.10.0.2-1 2 247,1 ko27 381,0 ko [liste des fichiers]
amd64 0.10.0.2-1 1 325,3 ko14 644,0 ko [liste des fichiers]
arm64 0.10.0.2-1 1 597,1 ko18 643,0 ko [liste des fichiers]
armel 0.10.0.2-1 1 454,8 ko15 279,0 ko [liste des fichiers]
armhf 0.10.0.2-1 1 436,9 ko15 084,0 ko [liste des fichiers]
hppa (portage non officiel) 0.10.0.2-1 2 701,4 ko28 376,0 ko [liste des fichiers]
i386 0.10.0.2-1 1 315,5 ko12 076,0 ko [liste des fichiers]
m68k (portage non officiel) 0.10.0.2-1 2 185,1 ko20 314,0 ko [liste des fichiers]
mips64el 0.10.0.2-1 2 027,5 ko26 606,0 ko [liste des fichiers]
mipsel 0.10.0.2-1 1 862,3 ko20 542,0 ko [liste des fichiers]
powerpcspe (portage non officiel) 0.9.2.1-2 1 997,0 ko21 417,0 ko [liste des fichiers]
ppc64 (portage non officiel) 0.10.0.2-1 1 987,7 ko28 001,0 ko [liste des fichiers]
ppc64el 0.10.0.2-1 2 075,8 ko25 407,0 ko [liste des fichiers]
riscv64 (portage non officiel) 0.10.0.2-1 3 065,2 ko39 051,0 ko [liste des fichiers]
s390x 0.10.0.2-1 2 137,4 ko25 227,0 ko [liste des fichiers]
sparc64 (portage non officiel) 0.10.0.2-1 2 556,2 ko40 693,0 ko [liste des fichiers]
x32 (portage non officiel) 0.10.0.2-1 2 533,9 ko21 520,0 ko [liste des fichiers]