refreshing

eyereasoner · Nov 9, 2024 · 15e0efc · 15e0efc
1 parent 43931c0
commit 15e0efc
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 11 deletions.
diff --git a/color/deontic/test b/color/deontic/test
@@ -1,3 +1,3 @@
 #!/bin/bash
-eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/deontic/workplace.n3 --output workplace-answer.n3
-eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. https://eyereasoner.github.io/eye/color/deontic/workplace.n3 --output workplace-proof.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. --nope https://eyereasoner.github.io/eye/color/deontic/workplace.n3 --query https://eyereasoner.github.io/eye/color/deontic/workplace-query.n3 --output workplace-answer.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/color .. https://eyereasoner.github.io/eye/color/deontic/workplace.n3 --query https://eyereasoner.github.io/eye/color/deontic/workplace-query.n3 --output workplace-proof.n3
diff --git a/color/deontic/workplace-proof.n3 b/color/deontic/workplace-proof.n3
@@ -113,7 +113,7 @@ skolem:lemma8 a r:Extraction;
             var:x_0 var:x_2 var:x_1.
         }.
     };
-    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/deontic/workplace.n3>].
+    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/color/deontic/workplace-query.n3>].
 
 skolem:lemma9 a r:Inference;
     r:gives {

diff --git a/color/deontic/workplace-query.n3 b/color/deontic/workplace-query.n3
@@ -0,0 +1,9 @@
+@prefix : <urn:example:>.
+
+# Query to test if everyone complies with deontic logic
+{
+    ?Person :does ?Action.
+    ?Person ?P ?Action.
+} => {
+    ?Person ?P ?Action.
+}.
diff --git a/color/deontic/workplace.n3 b/color/deontic/workplace.n3
@@ -31,11 +31,3 @@
 } => {
     ?Person :is_violating_a_prohibition ?Action.
 }.
-
-# Query to test if everyone complies with deontic logic
-{
-    ?Person :does ?Action.
-    ?Person ?P ?Action.
-} =^ {
-    ?Person ?P ?Action.
-}.