blob: 80dbf7cc5c46383da561b78daa65b6a2c4e0da66 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
echo "\n[Start endpoint]"
endpoint start
echo "\n[Create new datastore]"
dstore create rsacomb
active rsacomb
prefix rsacomb: <http://www.cs.ox.ac.uk/isg/RSAComb#>
tupletable create rsacomb:CanonicalModel type "named-graph"
tupletable create rsacomb:Filter$(3) type "named-graph"
echo "\n[Import data]"
import > rsacomb:CanonicalModel "$(2)"
import "$(1)/axiomatisation.dlog"
insert { graph rsacomb:CanonicalModel { ?x a rsacomb:Named } } where { graph rsacomb:CanonicalModel { ?x a owl:Thing } }
echo "\n[Load canonical model program]"
import "$(1)/canonical_model.dlog"
echo "\n[Load filtering program for query $(3)]"
import "$(1)/filter_query$(3).dlog"
|
