all options
[  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]
[ Source: haskell-swish  ]

Package: libghc-swish-dev (0.10.4.0-1 and others)

Links for libghc-swish-dev

Screenshot

Debian Resources:

Download Source Package haskell-swish:

Maintainers:

External Resources:

Similar packages:

toolkit per web semantico - librerie

Swish è un'infrastruttura per eseguire deduzioni in dati RDF usando svariate tecniche. Swish è concepito come un toolkit per sperimentare con l'inferenza RDF e per implementare elaboratori autonomi di file RDF (usabili alla maniera di CWM, ma con la prospettiva di essere estensibili in maniera dichiarativa attraverso l'aggiunta di dichiarazioni di funzioni e di valori di dati in Haskell). Esplora Haskell come "linguaggio di script per il web semantico".

Swish è in fase di sviluppo e attualmente incorpora: 

 * input e output Turtle, Notation3 e NTriples. La gestione di N3 è
   incompleta (manca la gestione di @forAll),
 * fusione e test di isomorfismo su grafi RDF,
 * visualizzazione di differenze tra grafi RDF,
 * operazioni di inferenza di tipo deduttivo, di tipo induttivo e
   modalità di verifica delle dimostrazioni,
 * semplici implementazioni di regole di tipo Horn, estensibili tramite
   modificatori e filtri di collegamenti alle variabili,
 * implementazione di regole di restrizione di classe, principalmente per
   inferenze sui tipi di dati,
 * implementazione di regole di conseguenze logiche su semantica formale
   RDF,
 * programmi completi, pronti per l'uso a riga di comando e guidati da
   script.

Questo pacchetto contiene le librerie compilate per GHC.

Other Packages Related to libghc-swish-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-swish-dev

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 0.10.4.0-1+b2 2,328.6 kB27,697.0 kB [list of files]
amd64 0.10.4.0-1+b2 1,290.8 kB13,948.0 kB [list of files]
arm64 0.10.4.0-1+b2 1,420.8 kB16,737.0 kB [list of files]
armel 0.10.4.0-1+b3 1,495.9 kB16,401.0 kB [list of files]
armhf 0.10.4.0-1+b3 1,473.2 kB16,218.0 kB [list of files]
hppa (unofficial port) 0.10.4.0-1+b4 2,831.7 kB28,571.0 kB [list of files]
i386 0.10.4.0-1+b2 2,359.3 kB19,489.0 kB [list of files]
ia64 (unofficial port) 0.10.4.0-1+b3 2,564.0 kB54,100.0 kB [list of files]
m68k (unofficial port) 0.10.4.0-1+b1 2,202.1 kB20,074.0 kB [list of files]
mips64el 0.10.4.0-1 2,072.3 kB26,966.0 kB [list of files]
ppc64 (unofficial port) 0.10.4.0-1+b3 2,046.0 kB27,731.0 kB [list of files]
ppc64el 0.10.4.0-1+b2 2,110.9 kB24,925.0 kB [list of files]
riscv64 0.10.4.0-1+b1 2,339.8 kB28,082.0 kB [list of files]
s390x 0.10.4.0-1+b2 2,154.3 kB27,140.0 kB [list of files]
sparc64 (unofficial port) 0.10.4.0-1 2,351.7 kB38,461.0 kB [list of files]
x32 (unofficial port) 0.10.4.0-1+b1 2,560.1 kB21,795.0 kB [list of files]