deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libghc-base-dev-4.15.1.0-78aa1, libghc-containers-dev-0.6.4.1-567e5, libghc-directory-dev-1.3.6.2-fe524,
libghc-filepath-dev-1.4.2.1-56c4c, libghc-hashable-dev-1.3.5.0-22c73, libghc-intern-dev-0.9.4-5989b,
libghc-mtl-dev-2.2.2-e3bae, libghc-network-uri-dev-2.6.4.1-32579, libghc-polyparse-dev-1.13-f6ccd,
libghc-text-dev-1.2.5.0-901e9, libghc-time-dev-1.9.3-dbc8a, libc6 (>= 2.29), libgmp10
(>= 2:6.2.1+dfsg1)
Description: |-
semantic web toolkit - libraries
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.
Ghc-Package: swish-0.10.3.0-1DvnNegdx1R5QxlHeaUoU6
Homepage: https://gitlab.com/dburke/swish
Installed-Size: '22852'
Maintainer: Debian Haskell Group <debian-haskell@lists.debian.org>
Package: libghc-swish-dev
Priority: optional
Provides: libghc-swish-dev-0.10.3.0-86de3
Section: haskell
Source: haskell-swish
Version: 0.10.3.0-1
srcpkg_name: haskell-swish
srcpkg_version: 0.10.3.0-1