aboutsummaryrefslogtreecommitdiff
path: root/simulate.rdfox
diff options
context:
space:
mode:
Diffstat (limited to 'simulate.rdfox')
-rw-r--r--simulate.rdfox21
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
2echo "\n[Start endpoint]"
3endpoint start
4
5echo "\n[Create new datastore]"
6dstore create rsacomb
7active rsacomb
8prefix rsacomb: <http://www.cs.ox.ac.uk/isg/RSAComb#>
9tupletable create rsacomb:CanonicalModel type "named-graph"
10tupletable create rsacomb:Filter$(3) type "named-graph"
11
12echo "\n[Import data]"
13import > rsacomb:CanonicalModel "$(2)"
14import "$(1)/axiomatisation.dlog"
15insert { graph rsacomb:CanonicalModel { ?x a rsacomb:Named } } where { graph rsacomb:CanonicalModel { ?x a owl:Thing } }
16
17echo "\n[Load canonical model program]"
18import "$(1)/canonical_model.dlog"
19
20echo "\n[Load filtering program for query $(3)]"
21import "$(1)/filter_query$(3).dlog"