Balík: swish (0.10.0.4-1 a iné)
Odkazy pre swish
Zdroje Debian:
Stiahnuť zdrojový balík haskell-swish:
- [haskell-swish_0.10.0.4-1.dsc]
- [haskell-swish_0.10.0.4.orig.tar.gz]
- [haskell-swish_0.10.0.4-1.debian.tar.xz]
Správcovia:
Externé zdroje:
- Domovská stránka [gitlab.com]
Podobné balíky:
sada nástrojov pre sémantický web - nástroje
Swish je platforma na dedukciu v dátach RDF pomocou rozličných techník. Swish je navrhnutý ako sada nástrojov na experimentovanie s odvodzovaním v RDF a na implementáciu samostatných nástrojov na spracovanie súborov RDF (dá sa použiť podobným spôsobom ako CWM, ale s výhľadom rozšíriteľnosti deklaratívnym spôsobom prostredníctvom pridaných deklarácií funkcií a dátových hodnôt v jazyku Haskell). Skúma použitie jazyka Haskell v roli skriptovacieho jazyka pre sémantický web.
Na Swish sa ešte stále pracuje. Momentálne obsahuje:
* Vstup a výstup vo formátoch Turtle, Notation3 a NTriples. Podpora N3 je neúplná (chýba obsluha @forAll). * Testovanie izomorfizmu grafov RDF a zlučovanie grafov. * Zobrazenie rozdielov medzi grafmi RDF. * Operácie odvodzovania v režimoch dopredného reťazenia, spätného reťazenia a kontroly dôkazov. * Jednoduchá implementácia pravidiel v štýle Horn; rozšíriteľné prostredníctvom modifikátorov a filtrov viazania premenných. * Implementácia pravidla obmedzenia tried, primárne pre odvodzovanie údajových typov. * Implementácia odvodzovacích pravidiel formálnej sémantiky RDF. * Hotové programy pripravené na spúšťanie z príkazového riadka a riadené skriptami.
Tento balík obsahuje nástroj swish.
Ostatné balíky súvisiace s balíkom swish
|
|
|
|
-
- dep: libc6 (>= 2.29)
- knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
-
- dep: libffi7 (>= 3.3~20180313)
- rozhranie k cudzím funkciám - dynamická knižnica
-
- dep: libgmp10
- aritmetická knižnica s viacnásobnou presnosťou
Stiahnuť swish
Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|---|
arm64 | 0.10.0.4-1+b2 | 866.3 kB | 5,344.0 kB | [zoznam súborov] |