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
|
Source: haskell-swish
Section: haskell
Priority: optional
Maintainer: Debian Haskell Group <debian-haskell@lists.debian.org>
Uploaders:
Jonas Smedegaard <dr@jones.dk>,
Build-Depends:
cdbs,
debhelper,
dh-buildinfo,
ghc,
ghc-prof,
libghc-hashable-dev (<< 1.6),
libghc-hashable-prof,
libghc-intern-dev (<< 1.0),
libghc-intern-prof,
libghc-network-uri-dev (<< 2.8),
libghc-network-uri-prof,
libghc-polyparse-dev (<< 1.14),
libghc-polyparse-prof,
libghc-semigroups-dev (<< 0.21),
libghc-semigroups-prof,
haskell-devscripts,
help2man,
libghc-hunit-dev <!nocheck>,
libghc-test-framework-dev <!nocheck>,
libghc-test-framework-hunit-dev <!nocheck>,
chrpath,
Build-Depends-Indep:
ghc-doc,
libghc-hashable-doc,
libghc-intern-doc,
libghc-network-uri-doc,
libghc-polyparse-doc,
libghc-semigroups-doc,
libghc-unordered-containers-doc,
Standards-Version: 4.7.0
Homepage: https://gitlab.com/dburke/swish
Vcs-Git: https://salsa.debian.org/haskell-team/haskell-swish.git
Vcs-Browser: https://salsa.debian.org/haskell-team/haskell-swish
Rules-Requires-Root: no
Description: semantic web toolkit
Swish is a framework 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.
Package: swish
Section: web
Architecture: any
Depends:
${misc:Depends},
${shlibs:Depends},
Description: ${source:Synopsis} - tools
${source:Extended-Description}
.
This package provides the command-line tool Swish.
Package: libghc-swish-dev
Architecture: any
Depends:
${haskell:Depends},
${haskell:Extra-Depends},
${misc:Depends},
${shlibs:Depends},
Recommends:
${haskell:Recommends},
Suggests:
${haskell:Suggests},
Provides:
${haskell:Provides},
Description: ${source:Synopsis} - libraries
${source:Extended-Description}
.
This package contains the Swish libraries compiled for GHC.
Package: libghc-swish-doc
Section: doc
Architecture: all
Depends:
${haskell:Depends},
${haskell:Extra-Depends},
${misc:Depends},
Recommends:
${haskell:Recommends},
Description: ${source:Synopsis} - library documentation
${source:Extended-Description}
.
This package contains the library documentation for Swish.
Package: libghc-swish-prof
Architecture: any
Depends:
${haskell:Depends},
${haskell:Extra-Depends},
${misc:Depends},
Provides:
${haskell:Provides},
Description: ${source:Synopsis} - profiling libraries
${source:Extended-Description}
.
This package contains the profiling libraries for Swish.
|
