From e3534ea4b8d76e9a22991ec806ab3acd6bae0fea Mon Sep 17 00:00:00 2001
From: Federico Igne <git@federicoigne.com>
Date: Wed, 20 Oct 2021 18:06:36 +0100
Subject: Rework RDFox simulation to be more modular

This will help with faster testing and debugging.
---
 simulate.rdfox | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 simulate.rdfox

(limited to 'simulate.rdfox')

diff --git a/simulate.rdfox b/simulate.rdfox
deleted file mode 100644
index 80dbf7c..0000000
--- a/simulate.rdfox
+++ /dev/null
@@ -1,21 +0,0 @@
-
-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"
-- 
cgit v1.2.3