deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libghc-base-dev-4.18.2.1-75247, libghc-containers-dev-0.6.7-3eda8, libghc-directory-dev-1.3.8.5-71f9f,
libghc-filepath-dev-1.4.300.1-4a448, libghc-hashable-dev-1.4.4.0-3ee83, libghc-intern-dev-0.9.5-b35c7,
libghc-mtl-dev-2.3.1-f8119, libghc-network-uri-dev-2.6.4.2-856c5, libghc-polyparse-dev-1.13-e1959,
libghc-text-dev-2.0.2-edcc7, libghc-time-dev-1.12.2-a9ccc, libc6 (>= 2.29), libgmp10
(>= 2:6.3.0+dfsg)
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 Swish libraries compiled for GHC.
Ghc-Package: swish-0.10.9.0-55LNIN5emsdIVbkpnVBZa8
Homepage: https://gitlab.com/dburke/swish
Installed-Size: '17585'
Maintainer: Debian Haskell Group <debian-haskell@lists.debian.org>
Package: libghc-swish-dev
Priority: optional
Provides: libghc-swish-dev-0.10.9.0-41aaf
Section: haskell
Source: haskell-swish
Version: 0.10.9.0-2
srcpkg_name: haskell-swish
srcpkg_version: 0.10.9.0-2