running workplace policy banchmark

reasoning/workplace-benchmark/README

@@ -0,0 +1,5 @@
+--------------------------
+Workplace policy benchmark
+--------------------------
+
+Testing scalability

reasoning/workplace-benchmark/gened.n3

@@ -0,0 +1,27 @@
+# ------------------
+# Generating test dl
+# ------------------
+
+@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
+@prefix : <urn:example:>.
+
+# workplace data generation
+{(?F ?N) :gen true} <= {
+    ("open" ?F "write" ?FD) e:derive true.
+    ("tell" ?FD) e:derive true.
+    ("format" "@prefix : <urn:example:>.~n~n" ()) e:derive true.
+    ("between" 1 ?N ?I) e:derive true.
+    ("format" ":alice~d :does :log_off_at_end_of_shift.~n" (?I)) e:derive true.
+    ("format" ":bob~d :does :work_related_task.~n" (?I)) e:derive true.
+    ("format" ":bob~d :does :log_off_at_end_of_shift.~n" (?I)) e:derive true.
+    ("format" ":carol~d :does :access_social_media.~n" (?I)) e:derive true.
+    ("fail") e:derive true.
+}.
+{(?F ?N) :gen true} <= {
+    ("told") e:derive true.
+}.
+
+# immediate goal
+true <= {
+    ("workplace-data.ttl" 10000) :gen true.
+}.

reasoning/workplace-benchmark/prepare

@@ -0,0 +1,2 @@
+#!/bin/bash
+eye --quiet gened.n3

reasoning/workplace-benchmark/test

@@ -0,0 +1,2 @@
+#!/bin/bash
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace.n3 --turtle https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace-data.ttl --query https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace-query.n3 --output workplace-answer.n3