Package: libghc-swish-doc (0.10.0.1-1)

toolkit per web semantico - documentazione della libreria

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 la documentazione della libreria per swish.

This page is also available in the following languages (How to set the default document language):