套件: libghc-swish-doc (0.10.0.2-1build2)
libghc-swish-doc 的相關超連結
Trisquel 的資源:
下載原始碼套件 haskell-swish:
- [haskell-swish_0.10.0.2-1build2.dsc]
- [haskell-swish_0.10.0.2.orig.tar.gz]
- [haskell-swish_0.10.0.2-1build2.debian.tar.xz]
維護者:
Original Maintainers:
- Debian Haskell Group (郵件存檔)
- Jonas Smedegaard
外部的資源:
- 主頁 [gitlab.com]
相似套件:
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 有關的套件
|
|
|
-
- dep: haddock-interface-33
- 本虛擬套件由這些套件提供: ghc
-
- rec: ghc-doc
- Documentation for the Glasgow Haskell Compilation system
-
- rec: libghc-hashable-doc
- class for types that can be converted to a hash value; documentation
-
- rec: libghc-network-uri-doc
- URI manipulation; documentation
-
- rec: libghc-polyparse-doc
- alternative parser combinator libraries for Haskell; documentation
-
- rec: libjs-mathjax
- JavaScript display engine for LaTeX and MathML