diff options
Diffstat (limited to 'simulate.rdfox')
-rw-r--r-- | simulate.rdfox | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/simulate.rdfox b/simulate.rdfox deleted file mode 100644 index 80dbf7c..0000000 --- a/simulate.rdfox +++ /dev/null | |||
@@ -1,21 +0,0 @@ | |||
1 | |||
2 | echo "\n[Start endpoint]" | ||
3 | endpoint start | ||
4 | |||
5 | echo "\n[Create new datastore]" | ||
6 | dstore create rsacomb | ||
7 | active rsacomb | ||
8 | prefix rsacomb: <http://www.cs.ox.ac.uk/isg/RSAComb#> | ||
9 | tupletable create rsacomb:CanonicalModel type "named-graph" | ||
10 | tupletable create rsacomb:Filter$(3) type "named-graph" | ||
11 | |||
12 | echo "\n[Import data]" | ||
13 | import > rsacomb:CanonicalModel "$(2)" | ||
14 | import "$(1)/axiomatisation.dlog" | ||
15 | insert { graph rsacomb:CanonicalModel { ?x a rsacomb:Named } } where { graph rsacomb:CanonicalModel { ?x a owl:Thing } } | ||
16 | |||
17 | echo "\n[Load canonical model program]" | ||
18 | import "$(1)/canonical_model.dlog" | ||
19 | |||
20 | echo "\n[Load filtering program for query $(3)]" | ||
21 | import "$(1)/filter_query$(3).dlog" | ||