libghc-swish-dev 0.10.0.3-1 (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.3-1
- Status:
- Superseded
- Component:
- universe
- Priority:
- Extra
Downloadable files
- libghc-swish-dev_0.10.0.3-1_arm64.deb (1.5 MiB)
Package relationships
- Depends on:
- libatomic1 (>= 4.8)
- libc6 (>= 2.29)
- libghc-base-dev-4.12.0.0-de69c
- libghc-containers-dev-0.6.0.1-1c5b5
- libghc-directory-dev-1.3.3.0-1bdba
- libghc-filepath-dev-1.4.2.1-7b818
- libghc-hashable-dev-1.2.7.0-d3cac
- libghc-intern-dev-0.9.2-9d5b6
- libghc-mtl-dev-2.2.2-07ff1
- libghc-network-uri-dev-2.6.1.0-e6dda
- libghc-old-locale-dev-1.0.0.7-05a9f
- libghc-polyparse-dev-1.12.1-ae11b
- libghc-text-dev-1.2.3.1-58914
- libghc-time-dev-1.8.0.2-42b5b
- libgmp10
- Provides:
- libghc-swish-dev-0.10.0.3-016db
- Suggests: