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
amd64 0.10.4.0-1+b2 1,290.8 kB13,948.0 kB [list of files]