1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
|
Name: swish
Version: 0.9.0.15
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, 2013, 2014 Doug Burke; All rights reserved.
Maintainer: dburke@cfa.harvard.edu
Category: Semantic Web
Synopsis: A semantic web toolkit.
Tested-With: GHC==7.8.3
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.15@:
.
* Updated the upper bound on the semigroups dependency.
.
Changes in version @0.9.0.14@:
.
* Updated the upper bound on the network dependency.
.
Changes in version @0.9.0.13@:
.
* Updated the upper bound on the semigroups dependency.
.
Changes in version @0.9.0.12@:
.
* Updated the upper bound on the text dependency to include version
1.1 (requires an update to semigroups to use).
.
Changes in version @0.9.0.11@:
.
* Hackage has a better chance of finding the CHANGELOG file if it
is included in the distribution! There are *no* changes to the
library or examples.
.
Changes in version @0.9.0.10@:
.
* Renamed CHANGES to CHANGELOG in the hope it will get picked up
by Hackage. There are *no* changes to the library or examples.
.
Changes in version @0.9.0.9@:
.
* Updated the upper bound on the semigroups dependency (thanks to
Leif Warner).
.
* Updated the upper bound on the text dependency (however, requires
changes to intern and semigroups to use).
.
Changes in version @0.9.0.8@:
.
* Updated the upper bound on the semigroups dependency (thanks to
Leif Warner).
.
* Display library version when running the @runw3ctests@ executable
and ensure there is a space between file name and test result in the
screen output.
.
Changes in version @0.9.0.7@:
.
* Minor documentation fix for @Swish.RDF.Graph.quote@.
.
Changes in version @0.9.0.6@:
.
* Turtle/N3 output: @\\f@ characters in literals are converted to
@\\u000C@ to work around some interoperability issues.
.
* Changed the test handling to use @test-framework@.
.
Changes in version @0.9.0.5@:
.
* Turtle/N3 output: more changes for string literals containing
double-quote characters.
.
* N3 Parser: parsing of string literals within three quote marks has
been updated to match the Turtle parser.
.
* Turtle Parser: a few more error messages have been added.
.
Changes in version @0.9.0.4@:
.
* Turtle parser: updated to the Candidate Recommendation (19 February 2013)
specification; added minor improvements to error messages when
given invalid syntax. As part of the upgrade, there is no longer a
default namespace set up for the empty prefix and numeric literals
are no-longer converted into a canonical form.
.
* Turtle/N3 output: improved string formatting (better handling of
string literals with three or more consecutive @\"@ characters); blank
node handling has been improved but the output may not be as elegant.
.
* NTriples parser: now accepts upper-case language tags such as
@en-UK@ (case is preserved).
.
* @Swish.QName.LName@ names can now contain @#@, @:@ and @/@ characters.
.
* Added tests for the Turtle parser and formatter.
.
* The new @w3ctests@ flag will build the @runw3ctests@ executable,
which will run the W3C Turtle tests (if downloaded from
<http://www.w3.org/2013/TurtleTests/>).
.
* Minor fixes and additions to the documentation.
.
Changes in version @0.9.0.3@:
.
* Minor Haddock fix to @Swish.RDF.Parser.Utils.appendURIs@.
.
Changes in version @0.9.0.2@:
.
* Updated the upper bound on the polyparse dependency.
.
Changes in version @0.9.0.1@:
.
* Updated the upper bound on the semigroups 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 <https://bitbucket.org/doug_burke/swish/src/tip/CHANGELOG>.
.
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
Extra-Source-Files: README.md
CHANGELOG
Data-Files: scripts/*.ss
Source-repository head
type: mercurial
location: https://bitbucket.org/doug_burke/swish
Flag developer
Description: Turn on developer flags
Default: False
Flag w3ctests
Description: Build the RunW3CTests application
Default: False
Library
Build-Depends:
base >=3 && < 5,
containers >= 0.4 && < 0.6,
filepath >= 1.1 && < 1.4,
-- Early versions of hashable 1.2 are problematic
hashable (>= 1.1 && < 1.2) || (>= 1.2.0.6 && <1.3),
mtl >= 2 && < 3,
network >= 2.2 && < 2.6,
old-locale == 1.0.*,
polyparse >= 1.6 && <= 1.9,
semigroups >= 0.5 && < 0.16,
text >= 0.11 && < 1.2,
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-framework,
test-framework-hunit == 0.3.*
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-framework,
test-framework-hunit == 0.3.*
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-framework,
test-framework-hunit == 0.3.*
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,
test-framework,
test-framework-hunit == 0.3.*,
text
Test-Suite test-turtle
type: exitcode-stdio-1.0
Hs-Source-Dirs: tests/
Main-Is: TurtleTest.hs
ghc-options:
-Wall -fno-warn-orphans
Build-Depends:
base,
containers,
HUnit,
network,
swish,
test-framework,
test-framework-hunit == 0.3.*,
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,
test-framework,
test-framework-hunit == 0.3.*,
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,
test-framework,
test-framework-hunit == 0.3.*,
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,
test-framework,
test-framework-hunit == 0.3.*,
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,
test-framework,
test-framework-hunit == 0.3.*,
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,
test-framework,
test-framework-hunit == 0.3.*,
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,
test-framework,
test-framework-hunit == 0.3.*,
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,
test-framework,
test-framework-hunit == 0.3.*,
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,
test-framework,
test-framework-hunit == 0.3.*,
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-framework,
test-framework-hunit == 0.3.*
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,
test-framework,
test-framework-hunit == 0.3.*,
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
Executable runw3ctests
Main-Is: RunW3CTests.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
if flag(w3ctests)
Build-Depends:
base,
containers,
directory,
filepath,
network,
swish,
text
else
Buildable: False
|
