swish: A semantic web toolkit.
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]
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.9.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.2.1, 0.3.0.0, 0.3.0.1, 0.3.0.2, 0.3.0.3, 0.3.1.0, 0.3.1.1, 0.3.1.2, 0.3.2.0, 0.3.2.1, 0.4.0.0, 0.5.0.0, 0.5.0.1, 0.5.0.2, 0.5.0.3, 0.6.0.0, 0.6.0.1, 0.6.1.0, 0.6.1.1, 0.6.1.2, 0.6.2.1, 0.6.3.0, 0.6.4.0, 0.6.5.0, 0.6.5.1, 0.6.5.2, 0.7.0.0, 0.7.0.1, 0.7.0.2, 0.8.0.0, 0.8.0.2, 0.8.0.3, 0.9.0.0, 0.9.0.1, 0.9.0.2, 0.9.0.3, 0.9.0.4, 0.9.0.5, 0.9.0.6, 0.9.0.7, 0.9.0.8, 0.9.0.9, 0.9.0.10, 0.9.0.11, 0.9.0.12, 0.9.0.13, 0.9.0.14, 0.9.0.15, 0.9.1.0, 0.9.1.1, 0.9.1.2, 0.9.1.3, 0.9.1.5, 0.9.1.6, 0.9.1.7, 0.9.1.8, 0.9.1.9, 0.9.1.10, 0.9.2.0, 0.9.2.1, 0.10.0.0, 0.10.0.1, 0.10.0.2, 0.10.0.3, 0.10.0.4, 0.10.0.5, 0.10.0.6, 0.10.0.7, 0.10.0.8, 0.10.0.9, 0.10.1.0, 0.10.2.0, 0.10.3.0, 0.10.4.0, 0.10.5.0, 0.10.6.0, 0.10.7.0, 0.10.8.0, 0.10.9.0 |
---|---|
Change log | CHANGELOG |
Dependencies | base (>=4.8 && <4.21), containers (>=0.5 && <0.8), directory (>=1.0 && <1.4), filepath (>=1.1 && <1.6), hashable (>=1.1 && <1.2 || >=1.2.0.6 && <1.6), intern (>=0.8 && <1.0), mtl (>=2 && <3), network, network-uri (<2.8), polyparse (>=1.6 && <1.14), semigroups (>=0.16 && <0.21), swish, text (>=0.11 && <2.2), time (>=1.5 && <1.9 || >=1.9.1 && <1.15) [details] |
Tested with | ghc ==9.6.5 |
License | LGPL-2.1-or-later |
Copyright | (c) 2003, 2004 G. Klyne; 2009 Vasili I Galchin; 2011 - 2024 Doug Burke; All rights reserved. |
Author | Graham Klyne - GK@ninebynine.org |
Maintainer | dburke@cfa.harvard.edu |
Category | Semantic Web |
Home page | https://gitlab.com/dburke/swish |
Bug tracker | https://gitlab.com/dburke/swish/issues |
Source repo | head: git clone https://gitlab.com/dburke/swish.git |
Uploaded | by DouglasBurke at 2024-07-07T19:24:19Z |
Distributions | Debian:0.10.1.0, LTSHaskell:0.10.9.0, NixOS:0.10.9.0, Stackage:0.10.9.0 |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Executables | runw3ctests, Swish |
Downloads | 51470 total (257 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |