Name: swish
Version: 0.3.1.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.1.2] 'Swish.RDF.RDFGraph.toRDFGraph' now sets up the
namespace map of the graph based on the input labels (previously it
left the map empty).
.
[Version 0.3.1.1] Bug fixes for N3 format: strings ending in a
double quote character are now written out correctly and
@xsd:double@ values are not written using XSD canonical form/capital
@E@ but with a lower-case @e@. On input of N3,
literals that match @xsd:double@ are converted to XSD canonical form
(as stored in 'RDFLabel'), which can make simple textual comparison
of literals fail. The 'Eq' instance of 'RDFLabel' now ignores the
case of the language tag for literals and the 'Show' instance
uses XSD canonical form for @xsd:boolean@, @xsd:integer@,
@xsd:decimal@ and @xsd:double@ literals.
Noted that the 'ToRDFLable' and 'FromRDFLabel' classes replicate
existing functionality in the "Swish.RDF.RDFDatatype" module.
.
[Version 0.3.1.0] Added the `Swish.RDF.RDFGraph.ToRDFLabel` and
`Swish.RDF.RDFGraph.FromRDFLabel` classes and the
`Swish.RDF.RDFGraph.toRDFTriple` and `Swish.RDF.RDFGraph.fromRDFTriple`
functions.
Added instances: @IsString RDFLabel@, @IsString QName@, @IsString ScopedName@
and @Monoid NSGraph@.
The modules "Swish" and "Swish.RDF" have been introduced to provide
documentation. The module "Swish.Utils.DateTime" is deprecated and
will be removed in a later release.
The N3 formatter now writes out literals with @xsd:boolean@, @xsd:integer@,
@xsd:decimal@ and @xsd:double@ types as literals rather than as a typed string.
.
[Version 0.3.0.3] Changed @scripts/SwishExample.ss@ script so that the
proof succeeds. Some documentation improvements, including a discussion
of the Swish script format (see "Swish.RDF.SwishScript"). Very minor
changes to behavior of Swish in several edge cases.
.
[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.*, old-locale == 1.0.*, time == 1.1.*,
mtl >= 1 && < 3,
HUnit == 1.2.*,
network >= 2.2 && < 2.4,
directory >= 1.0 && <= 1.1,
filepath >= 1.1 && <= 1.2
Exposed-Modules:
Swish
Swish.RDF
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