Name: swish
Version: 0.3.0.2
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.2] Bugfix: stop losing triples with a bnode subject when
using the N3Formatter; this also makes the @scripts/SwishTest.ss@ test
pass again. Several commands in Swish scripts now create screen
output (mainly to check what it is doing). Added the @developer@
flag for building.
.
[Version 0.3.0.1] updates the Swish script parser to work with the
changes in 0.3.0.0 (reported by Rick Murphy).
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 ()
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:
.
-
.
-
.
- 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 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
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
Executable BuiltInMapTest
Main-Is: tests/BuiltInMapTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
ghc-options:
-Wall -fno-warn-orphans
Executable GraphPartitionTest
Main-Is: tests/GraphPartitionTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
ghc-options:
-Wall -fno-warn-orphans
Executable GraphTest
Main-Is: tests/GraphTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
ghc-options:
-Wall -fno-warn-orphans
Executable NTTest
Main-Is: tests/NTTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
ghc-options:
-Wall -fno-warn-orphans
Executable N3ParserTest
Main-Is: tests/N3ParserTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
ghc-options:
-Wall -fno-warn-orphans
Executable N3FormatterTest
Main-Is: tests/N3FormatterTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
ghc-options:
-Wall -fno-warn-orphans
Executable RDFDatatypeXsdIntegerTest
Main-Is: tests/RDFDatatypeXsdIntegerTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
ghc-options:
-Wall -fno-warn-orphans
Executable RDFGraphTest
Main-Is: tests/RDFGraphTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
ghc-options:
-Wall -fno-warn-orphans
Executable RDFProofContextTest
Main-Is: tests/RDFProofContextTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
ghc-options:
-Wall -fno-warn-orphans
Executable RDFProofTest
Main-Is: tests/RDFProofTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
ghc-options:
-Wall -fno-warn-orphans
Executable RDFQueryTest
Main-Is: tests/RDFQueryTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
ghc-options:
-Wall -fno-warn-orphans
Executable RDFRulesetTest
Main-Is: tests/RDFRulesetTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
ghc-options:
-Wall -fno-warn-orphans
Executable VarBindingTest
Main-Is: tests/VarBindingTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
ghc-options:
-Wall -fno-warn-orphans
Executable LookupMapTest
Main-Is: tests/LookupMapTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
ghc-options:
-Wall -fno-warn-orphans
Executable QNameTest
Main-Is: tests/QNameTest.hs
if !flag(tests)
buildable: False
if flag(hpc)
ghc-options: -fhpc
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all
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
if flag(developer)
ghc-options: -Werror
ghc-prof-options: -auto-all