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

Package: libghc-swish-dev (0.10.0.4-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
amd64 0.10.0.4-1+b2 1,299.1 kB14,727.0 kB [list of files]
arm64 0.10.0.4-1+b2 1,595.6 kB18,708.0 kB [list of files]
armhf 0.10.0.4-1+b2 1,446.7 kB15,157.0 kB [list of files]
i386 0.10.0.4-1+b2 1,304.7 kB12,151.0 kB [list of files]