swish: A semantic web toolkit.
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
Warnings:
- These packages miss upper bounds: - test-framework Please add them, using `cabal gen-bounds` for suggestions. For more information see: https://pvp.haskell.org/
Swish is a framework, written in the purely functional programming language Haskell, 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.
Changes are given in the https://gitlab.com/dburke/swish/raw/master/CHANGELOG file.
References:
[Skip to Readme]
Properties
Modules
[Index] [Quick Jump]
- Data
- Interned
- Ord
- String
- Network
- Swish
- Swish.Commands
- Swish.Datatype
- Swish.GraphClass
- Swish.GraphMatch
- Swish.GraphMem
- Swish.GraphPartition
- Swish.Monad
- Swish.Namespace
- Swish.Proof
- Swish.QName
- Swish.RDF
- Swish.Rule
- Swish.Ruleset
- Swish.Script
- Utils
- Swish.VarBinding
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| w3ctests | Build the RunW3CTests application | Disabled |
| network-uri | Get Network.URI from the network-uri package | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- swish-0.10.7.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees
Readme for swish-0.10.7.0
[back to package description]
Introduction
Swish - which stands for Semantic Web Inference Scripting in Haskell - was written by Graham Klyne as a framework, written in the purely functional programming language Haskell, for performing deductions in RDF data using a variety of techniques. Swish was 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). One of the aims was to explore Haskell as "a scripting language for the Semantic Web".
It was updated from version 0.2.1 by Vasili I Galchin so that it would build with the current version of GHC, and released on Hackage.
Since then it has been updated to take advantage of recent developments in the Haskell ecosystem, add support for the NTriples and Turtle serialisation formats, and a number of convenience functions. Development is done on GitLab at https://gitlab.com/dburke/swish and the previous bitbucket site is now outdated (you may also find a version on GitHub which should also be ignored).
I attempt to keep Swish buildable on recent GHC versions but it is done on a best-effort basis, so support for "older" versions of GHC is not guaranteed.
Aim
Current development has essentially stalled - I was using this as a RDF library for I/O with limited querying rather than for inferencing or use as a flexible graph-processing library (e.g. for extensions to non-RDF models) - but that project has stopped.
Copyright
(c) 2003, 2004 G. Klyne
(c) 2009 Vasili I Galchin
(c) 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019,
2020, 2021, 2022, 2023 Doug Burke
All rights reserved.
License
Haskell and the Semantic Web
Other Haskell packages for RDF support include
Installation
The following commands will install a command-line tool Swish along
with the modules in the Swish namespace; documentation can be found
on Hackage.
With cabal
Install a recent version of the Haskell platform and then try
% cabal update
% cabal install swish
With stack
Swish is available as part of the stackage curated package set.
There are several stack configuration files, for different GHC versions:
% cd swish
% stack install
% STACK_YAML=stack-9.2.yaml stack install
% STACK_YAML=stack-9.0.yaml stack install
% STACK_YAML=stack-8.10.yaml stack install
% STACK_YAML=stack-8.8.yaml stack install
% STACK_YAML=stack-8.6.yaml stack install
% STACK_YAML=stack-8.4.yaml stack install
% STACK_YAML=stack-8.2.yaml stack install
% STACK_YAML=stack-8.0.yaml stack install
% STACK_YAML=stack-7.10.yaml stack install
With nix
There is now support for building with the nix package manager:
% nix-shell
...
nix-shell% cabal test
or
% nix-shell --argstr compiler ghc921
...
nix-shell% cabal test
or, with a flake, either of
% nix build
% nix develop
swish:13:13 /path/to/swish cabal test