fixing issue https://github.com/orgs/eyereasoner/discussions/141

eyereasoner · Mar 3, 2025 · 458a5d8 · 458a5d8
1 parent 45f3b98
commit 458a5d8
Show file tree

Hide file tree

Showing 6 changed files with 46 additions and 0 deletions.
diff --git a/reasoning/issue141/README b/reasoning/issue141/README
@@ -0,0 +1,5 @@
+---------
+Issue 141
+---------
+
+See https://github.com/eyereasoner/eye/issues/141
diff --git a/reasoning/issue141/test b/reasoning/issue141/test
@@ -0,0 +1,4 @@
+#!/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/issue141/test1.n3 --pass-only-new --output test1-answer.n3
+
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/issue141/test2.n3 --pass-only-new --output test2-answer.n3
diff --git a/reasoning/issue141/test1-answer.n3 b/reasoning/issue141/test1-answer.n3
@@ -0,0 +1,12 @@
+@prefix : <http://www.example.com/ns/ex#>.
+
+{
+    ?U_4 :p ?U_4.
+} <= {
+    ?U_4 :p ?U_5.
+}.
+{
+    ?U_6 :p ?U_6.
+} <= {
+    ?U_7 :p ?U_6.
+}.
diff --git a/reasoning/issue141/test1.n3 b/reasoning/issue141/test1.n3
@@ -0,0 +1,8 @@
+@prefix : <http://www.example.com/ns/ex#> .
+
+{?p a :Reflexive.} => {
+    {?x ?p ?x} <= {?x ?p ?y}. 
+    {?y ?p ?y} <= {?x ?p ?y}. 
+}.
+
+:p a :Reflexive.
diff --git a/reasoning/issue141/test2-answer.n3 b/reasoning/issue141/test2-answer.n3
@@ -0,0 +1,7 @@
+@prefix : <http://www.example.com/ns/ex#>.
+
+{
+    ?U_1 :like ?U_1.
+} <= {
+    ?U_1 a :Human.
+}.
diff --git a/reasoning/issue141/test2.n3 b/reasoning/issue141/test2.n3
@@ -0,0 +1,10 @@
+@prefix : <http://www.example.com/ns/ex#> .
+
+{?p a :Reflexive. ?p :range-include ?C} => {
+  {?x ?p ?x} <= {?x a ?C}.
+}.
+:like a :Reflexive; :range-include :Human.
+:Socrates a :Human.
+
+# query
+{?x :like ?y} =^ {:test :is true}.