1. Doug Burke
  2. swish

Source

swish / swish.cabal

Name:               swish
Version:            0.3.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 Doug Burke; All rights reserved.
Maintainer:         dburke@cfa.harvard.edu
Category:           Semantic Web
Synopsis:           A semantic web toolkit. 

Tested-With:        GHC==6.12.3
Cabal-Version:      >= 1.6
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:
                    .
                    * 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.
                    .
                    Major Changes:
                    .
                    [Version 0.3.0.1] updates the Swish script parser to work with the
                    changes in 0.3.0.0. Several example scripts are installed in the
                    @scripts/@ directory, although only @VehicleCapacity.ss@ works
                    with this release.
                    .
                    [Version 0.3.0.0] is an attempt to update 
                    version 0.2.1 (<http://hackage.haskell.org/package/swish-0.2.1/>)
		    to build against
                    a recent ghc install, with some clean ups - including support for
                    the current N3 specification - and the addition of the
                    NTriples format. It has not been tested against ghc7.
                    .
                    References:
                    .
                      - <http://www.ninebynine.org/RDFNotes/Swish/Intro.html>
                    .
                      - <http://www.ninebynine.org/Software/swish-0.2.1.html>
                    .
                      - CWM: <http://www.w3.org/2000/10/swap/doc/cwm.html>
                    .

Build-Type:         Simple
Data-Files:         README
                    scripts/*.ss

Source-repository head
  type:     mercurial
  location: https://bitbucket.org/doug_burke/swish

Flag  tests
  Description: Build the test programs.
  Default:     False

Flag  hpc
  Description: Use Hpc for the tests
  Default:     False

Library
   Build-Depends:
      base >=3 && < 5,
      binary == 0.5.*,
      bytestring == 0.9.*,
      containers == 0.3.*,
      array == 0.3.*,
      parallel == 2.2.*,
      parsec == 2.1.*,
      random == 1.0.*,
      old-time == 1.0.*,
      mtl >= 1 && < 3,
      HUnit == 1.2.*,
      network >= 2.2 && < 2.4,
      directory >= 1.0 && <= 1.1,
      filepath >= 1.1 && <= 1.2
   Exposed-Modules:
      Swish.RDF.BuiltInDatatypes
      Swish.RDF.BuiltInMap
      Swish.RDF.BuiltInRules
      Swish.RDF.ClassRestrictionRule
      Swish.RDF.Datatype
      Swish.RDF.GraphClass
      Swish.RDF.GraphMatch
      Swish.RDF.GraphMem
      Swish.RDF.GraphPartition
      Swish.RDF.MapXsdInteger
      Swish.RDF.NTFormatter
      Swish.RDF.NTParser
      Swish.RDF.N3Formatter
      Swish.RDF.N3Parser
      Swish.RDF.Proof
      Swish.RDF.RDFDatatype
      Swish.RDF.RDFDatatypeXsdInteger
      Swish.RDF.RDFDatatypeXsdString
      Swish.RDF.RDFGraph
      Swish.RDF.RDFGraphShowM
      Swish.RDF.RDFParser
      Swish.RDF.RDFProof
      Swish.RDF.RDFProofContext
      Swish.RDF.RDFQuery
      Swish.RDF.RDFRuleset
      Swish.RDF.RDFVarBinding
      Swish.RDF.Rule
      Swish.RDF.Ruleset
      Swish.RDF.SwishCommands
      Swish.RDF.SwishMain
      Swish.RDF.SwishMonad
      Swish.RDF.SwishScript
      Swish.RDF.VarBinding
      Swish.RDF.Vocabulary
      Swish.Utils.DateTime
      Swish.Utils.ListHelpers
      Swish.Utils.LookupMap
      Swish.Utils.MiscHelpers
      Swish.Utils.Namespace
      Swish.Utils.PartOrderedCollection
      Swish.Utils.QName
      Swish.Utils.ShowM
      Swish.Utils.TraceHelpers

   other-modules:
      -- Paths_swish

   ghc-options:
      -Wall -fno-warn-orphans

Executable         BuiltInMapTest
   Main-Is:        tests/BuiltInMapTest.hs
   if !flag(tests)
      buildable: False

   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

Executable         GraphPartitionTest
   Main-Is:        tests/GraphPartitionTest.hs

   if !flag(tests)
      buildable: False

   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

Executable         GraphTest
   Main-Is:        tests/GraphTest.hs
   if !flag(tests)
      buildable: False

   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

Executable         NTTest
   Main-Is:        tests/NTTest.hs
   if !flag(tests)
      buildable: False

   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

Executable         N3ParserTest
   Main-Is:        tests/N3ParserTest.hs
   if !flag(tests)
      buildable: False

   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

Executable         N3FormatterTest
   Main-Is:        tests/N3FormatterTest.hs
   if !flag(tests)
      buildable: False

   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

Executable         RDFDatatypeXsdIntegerTest
   Main-Is:        tests/RDFDatatypeXsdIntegerTest.hs
   if !flag(tests)
      buildable: False

   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

Executable         RDFGraphTest
   Main-Is:        tests/RDFGraphTest.hs
   if !flag(tests)
      buildable: False

   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

Executable         RDFProofContextTest
   Main-Is:        tests/RDFProofContextTest.hs
   if !flag(tests)
      buildable: False
                    
   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

Executable         RDFProofTest
   Main-Is:        tests/RDFProofTest.hs
   if !flag(tests)
      buildable: False
                     
   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

Executable         RDFQueryTest
   Main-Is:        tests/RDFQueryTest.hs
   if !flag(tests)
      buildable: False

   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

Executable         RDFRulesetTest
   Main-Is:        tests/RDFRulesetTest.hs
   if !flag(tests)
      buildable: False

   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

Executable         VarBindingTest
   Main-Is:        tests/VarBindingTest.hs
   if !flag(tests)
      buildable: False

   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

Executable         LookupMapTest
   Main-Is:        tests/LookupMapTest.hs
   if !flag(tests)
      buildable: False

   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

Executable         QNameTest
   Main-Is:        tests/QNameTest.hs
   if !flag(tests)
      buildable: False

   if flag(hpc)
      ghc-options: -fhpc

   ghc-options:
      -Wall -fno-warn-orphans

 -- we do not have the data files to run this test
 Executable         SwishTest
   Main-Is:        tests/SwishTest.hs

Executable         Swish
   Main-Is:        src/Swish.hs
   Other-Modules:  Paths_swish

   ghc-options:
      -Wall -fno-warn-orphans