swish - 0.10.3.0-1 main

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 tool.