Name: swish Version: 0.9.0.1 Stability: experimental License: LGPL License-file: LICENSE Author: Graham Klyne - GK@ninebynine.org Copyright: (c) 2003, 2004 G. Klyne; 2009 Vasili I Galchin; 2011, 2012 Doug Burke; All rights reserved. Maintainer: dburke@cfa.harvard.edu Category: Semantic Web Synopsis: A semantic web toolkit. Tested-With: GHC==7.4.2 Cabal-Version: >= 1.9.2 Homepage: https://bitbucket.org/doug_burke/swish/wiki/Home Bug-reports: https://bitbucket.org/doug_burke/swish/issues Description: 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 in version @0.9.0.1@: . * Updated the upper bound on the semigroup dependency (thanks to Leif Warner). . Changes in version @0.9.0.0@: . * Updated to support @hashable-1.2@ series; although this should *not* change the API from the @0.8@ series, I have decided to bump up the version to @0.9@ just in case. . * Fix failing test on 64-bit GHC (no change to the library). . Changes in previous versions can be found at . . References: . - . - . - CWM: . Build-Type: Simple Data-Files: README scripts/*.ss Source-repository head type: mercurial location: https://bitbucket.org/doug_burke/swish Flag developer Description: Turn on developer flags Default: False -- Flag hpc -- Description: Use Hpc for the tests -- Default: False Library Build-Depends: base >=3 && < 5, containers >= 0.4 && < 0.6, filepath >= 1.1 && < 1.4, hashable >= 1.1 && < 1.3, mtl >= 2 && < 3, network >= 2.2 && < 2.5, old-locale == 1.0.*, polyparse >= 1.6 && < 1.9, semigroups >= 0.5 && < 0.10, text == 0.11.*, time >= 1.1 && < 1.5 if impl(ghc < 7.4.0) Build-Depends: intern == 0.8 if impl(ghc >= 7.4.0) Build-Depends: intern >= 0.8 && < 1.0 if impl(ghc < 7.6.0) Build-Depends: directory >= 1.0 && < 1.2 if impl(ghc >= 7.6.0) Build-Depends: directory >= 1.0 && < 1.3 Hs-Source-Dirs: src/ Other-Modules: Swish.RDF.Formatter.Internal Exposed-Modules: Data.Interned.URI Data.Ord.Partial Data.String.ShowLines Network.URI.Ord Swish Swish.Commands Swish.Datatype Swish.GraphClass Swish.GraphMatch Swish.GraphMem Swish.GraphPartition Swish.Monad Swish.Namespace Swish.Proof Swish.QName Swish.RDF Swish.RDF.BuiltIn Swish.RDF.BuiltIn.Datatypes Swish.RDF.BuiltIn.Rules Swish.RDF.ClassRestrictionRule Swish.RDF.Datatype Swish.RDF.Datatype.XSD.Decimal Swish.RDF.Datatype.XSD.Integer Swish.RDF.Datatype.XSD.MapDecimal Swish.RDF.Datatype.XSD.MapInteger Swish.RDF.Datatype.XSD.String Swish.RDF.Formatter.NTriples Swish.RDF.Formatter.N3 Swish.RDF.Formatter.Turtle Swish.RDF.Graph Swish.RDF.GraphShowLines Swish.RDF.Parser.NTriples Swish.RDF.Parser.N3 Swish.RDF.Parser.Turtle Swish.RDF.Parser.Utils Swish.RDF.Proof Swish.RDF.ProofContext Swish.RDF.Query Swish.RDF.Ruleset Swish.RDF.VarBinding Swish.RDF.Vocabulary Swish.RDF.Vocabulary.DublinCore Swish.RDF.Vocabulary.FOAF Swish.RDF.Vocabulary.Geo Swish.RDF.Vocabulary.OWL Swish.RDF.Vocabulary.Provenance Swish.RDF.Vocabulary.RDF Swish.RDF.Vocabulary.SIOC Swish.RDF.Vocabulary.XSD Swish.Rule Swish.Ruleset Swish.Script Swish.Utils.ListHelpers Swish.VarBinding ghc-options: -Wall -fno-warn-orphans if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all Test-Suite test-builtinmap type: exitcode-stdio-1.0 Hs-Source-Dirs: tests/ Main-Is: BuiltInMapTest.hs Other-Modules: TestHelpers ghc-options: -Wall -fno-warn-orphans Build-Depends: base, containers, HUnit == 1.2.*, swish Test-Suite test-graphpartition type: exitcode-stdio-1.0 Hs-Source-Dirs: tests/ Main-Is: GraphPartitionTest.hs Other-Modules: TestHelpers ghc-options: -Wall -fno-warn-orphans Build-Depends: base, containers, HUnit, semigroups, swish Test-Suite test-graph type: exitcode-stdio-1.0 Hs-Source-Dirs: tests/ Main-Is: GraphTest.hs Other-Modules: TestHelpers ghc-options: -Wall -fno-warn-orphans Build-Depends: base, containers, hashable, HUnit, swish Test-Suite test-nt type: exitcode-stdio-1.0 Hs-Source-Dirs: tests/ Main-Is: NTTest.hs Other-Modules: TestHelpers ghc-options: -Wall -fno-warn-orphans Build-Depends: base, containers, HUnit, swish, text Test-Suite test-n3parser type: exitcode-stdio-1.0 Hs-Source-Dirs: tests/ Main-Is: N3ParserTest.hs Other-Modules: TestHelpers ghc-options: -Wall -fno-warn-orphans Build-Depends: base, containers, HUnit, network, swish, text Test-Suite test-n3formatter type: exitcode-stdio-1.0 Hs-Source-Dirs: tests/ Main-Is: N3FormatterTest.hs Other-Modules: TestHelpers ghc-options: -Wall -fno-warn-orphans Build-Depends: base, containers, HUnit, network, swish, text Test-Suite test-rdfdatatypexsdinteger type: exitcode-stdio-1.0 Hs-Source-Dirs: tests/ Main-Is: RDFDatatypeXsdIntegerTest.hs Other-Modules: TestHelpers ghc-options: -Wall -fno-warn-orphans Build-Depends: base, containers, HUnit, network, swish, text Test-Suite test-rdfgraph type: exitcode-stdio-1.0 Hs-Source-Dirs: tests/ Main-Is: RDFGraphTest.hs Other-Modules: TestHelpers ghc-options: -Wall -fno-warn-orphans Build-Depends: base, containers, HUnit, network, old-locale, swish, text, time Test-Suite test-rdfproofcontext type: exitcode-stdio-1.0 Hs-Source-Dirs: tests/ Main-Is: RDFProofContextTest.hs Other-Modules: TestHelpers ghc-options: -Wall -fno-warn-orphans Build-Depends: base, containers, HUnit, network, swish, text Test-Suite test-rdfproof type: exitcode-stdio-1.0 Hs-Source-Dirs: tests/ Main-Is: RDFProofTest.hs Other-Modules: TestHelpers ghc-options: -Wall -fno-warn-orphans Build-Depends: base, containers, HUnit, network, swish, text Test-Suite test-rdfquery type: exitcode-stdio-1.0 Hs-Source-Dirs: tests/ Main-Is: RDFQueryTest.hs Other-Modules: TestHelpers ghc-options: -Wall -fno-warn-orphans Build-Depends: base, containers, HUnit, network, swish, text Test-Suite test-rdfruleset type: exitcode-stdio-1.0 Hs-Source-Dirs: tests/ Main-Is: RDFRulesetTest.hs Other-Modules: TestHelpers ghc-options: -Wall -fno-warn-orphans Build-Depends: base, containers, HUnit, network, swish, text Test-Suite test-varbinding type: exitcode-stdio-1.0 Hs-Source-Dirs: tests/ Main-Is: VarBindingTest.hs Other-Modules: TestHelpers ghc-options: -Wall -fno-warn-orphans Build-Depends: base, containers, HUnit, swish Test-Suite test-qname type: exitcode-stdio-1.0 Hs-Source-Dirs: tests/ Main-Is: QNameTest.hs Other-Modules: TestHelpers ghc-options: -Wall -fno-warn-orphans Build-Depends: base, containers, HUnit, network, swish, text -- we do not have the data files to run this test Executable SwishTest Main-Is: tests/SwishTest.hs -- How can we include data files that are only used for -- benchmark/tests and do not get installed? Benchmark bench-ntriples Type: exitcode-stdio-1.0 Hs-Source-Dirs: bench/ Other-Modules: Paths_swish Main-Is: NTriples.hs Build-Depends: base, criterion, deepseq, network, swish, text ghc-options: -Wall -fno-warn-orphans Executable Swish Main-Is: SwishApp.hs Hs-Source-Dirs: app/ Other-Modules: Paths_swish ghc-options: -Wall -fno-warn-orphans if flag(developer) ghc-options: -Werror ghc-prof-options: -auto-all Build-Depends: base, swish