libghc-swish-dev 0.10.0.4-1build1 (arm64 binary) in ubuntu groovy
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 libraries compiled for GHC.
Details
- Package version:
- 0.10.0.4-1build1
- Status:
- Superseded
- Component:
- universe
- Priority:
- Extra
Downloadable files
Package relationships
- Depends on:
- libc6 (>= 2.29)
- libghc-base-dev-4.13.0.0-4eb86
- libghc-containers-dev-0.6.2.1-2c076
- libghc-directory-dev-1.3.6.0-db53a
- libghc-filepath-dev-1.4.2.1-69c9d
- libghc-hashable-dev-1.3.0.0-b95d4
- libghc-intern-dev-0.9.2-25805
- libghc-mtl-dev-2.2.2-13482
- libghc-network-uri-dev-2.6.3.0-1b6f7
- libghc-old-locale-dev-1.0.0.7-f78e4
- libghc-polyparse-dev-1.13-9fde5
- libghc-text-dev-1.2.4.0-923ad
- libghc-time-dev-1.9.3-f890c
- libgmp10
- Provides:
- libghc-swish-dev-0.10.0.4-00bc4
- Suggests: