
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.