Paket: libghc-swish-doc (0.10.0.1-1)
libghc-swish-doc için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
haskell-swish Kaynak Paketini İndir:
- [haskell-swish_0.10.0.1-1.dsc]
- [haskell-swish_0.10.0.1.orig.tar.gz]
- [haskell-swish_0.10.0.1-1.debian.tar.xz]
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [bitbucket.org]
Benzer paketler:
semantic web toolkit - library documentation
Swish is a framework for performing deductions in RDF data using a variety of techniques. Swish is conceived as a toolkit for experimenting with RDF inference, and for implementing stand-alone RDF file processors (usable in similar style to CWM, but with a view to being extensible in declarative style through added Haskell function and data value declarations). It explores Haskell as "a scripting language for the Semantic Web".
Swish is a work-in-progress, and currently incorporates:
* Turtle, Notation3 and NTriples input and output. The N3 support is incomplete (no handling of @forAll). * RDF graph isomorphism testing and merging. * Display of differences between RDF graphs. * Inference operations in forward chaining, backward chaining and proof-checking modes. * Simple Horn-style rule implementations, extendable through variable binding modifiers and filters. * Class restriction rule implementation, primarily for datatype inferences. * RDF formal semantics entailment rule implementation. * Complete, ready-to-run, command-line and script-driven programs.
This package contains the library documentation for swish.
libghc-swish-doc ile İlgili Diğer Paketler
|
|
|
|
-
- dep: haddock-interface-33
- sanal paketi sağlayan ghc
-
- rec: ghc-doc
- Documentation for the Glasgow Haskell Compilation system
-
- rec: libghc-network-uri-doc
- URI manipulation; documentation
-
- rec: libjs-mathjax
- JavaScript display engine for LaTeX and MathML
libghc-swish-doc indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
all | 508,8 kB | 8.171,0 kB | [dosya listesi] |