implicit graph term scope of blank nodes

eyereasoner · Oct 19, 2023 · f7d9ee6 · f7d9ee6
1 parent 115a79d
commit f7d9ee6
Show file tree

Hide file tree

Showing 8 changed files with 43 additions and 25 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v5.2.0 (2023-10-19) implicit graph term scope of blank nodes
 v5.1.1 (2023-10-18) fixing --pass-only-new
 v5.1.0 (2023-10-17) implicit global scope of blank nodes
 v5.0.10 (2023-10-15) testing s(urface) equ(ivalent) ent(ailment)s

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-5.1.1
+5.2.0
diff --git a/eye.pl b/eye.pl
@@ -21,7 +21,7 @@
 :- use_module(library(pcre)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v5.1.1 (2023-10-18)').
+version_info('EYE v5.2.0 (2023-10-19)').
 
 license_info('MIT License
 
@@ -962,6 +962,8 @@
 % DEPRECATED
 opts(['--blogic'|Argus], Args) :-
     !,
+    retractall(flag(blogic)),
+    assertz(flag(blogic)),
     opts(Argus, Args).
 opts(['--csv-separator', Separator|Argus], Args) :-
     !,
@@ -2725,14 +2727,29 @@
     }.
 symbol(Name) -->
     [bnode(Lbl)],
-    {   atom_codes(Lbl, LblCodes),
-        subst([[[0'-], [0'_, 0'M, 0'I, 0'N, 0'U, 0'S, 0'_]], [[0'.], [0'_, 0'D, 0'O, 0'T, 0'_]]], LblCodes, LblTidy),
-        atom_codes(Label, LblTidy),
-        (   evar(Label, S, 0)
-        ->  true
-        ;   atom_concat(Label, '_', M),
-            gensym(M, S),
-            assertz(evar(Label, S, 0))
+    {   (   flag(blogic)
+        ->  atom_codes(Lbl, LblCodes),
+            subst([[[0'-], [0'_, 0'M, 0'I, 0'N, 0'U, 0'S, 0'_]], [[0'.], [0'_, 0'D, 0'O, 0'T, 0'_]]], LblCodes, LblTidy),
+            atom_codes(Label, LblTidy),
+            (   evar(Label, S, 0)
+            ->  true
+            ;   atom_concat(Label, '_', M),
+                gensym(M, S),
+                assertz(evar(Label, S, 0))
+            )
+        ;   nb_getval(fdepth, D),
+            (   D =:= 0
+            ->  Label = Lbl
+            ;   atom_codes(Lbl, LblCodes),
+                subst([[[0'-], [0'_, 0'M, 0'I, 0'N, 0'U, 0'S, 0'_]], [[0'.], [0'_, 0'D, 0'O, 0'T, 0'_]]], LblCodes, LblTidy),
+                atom_codes(Label, LblTidy)
+            ),
+            (   evar(Label, S, D)
+            ->  true
+            ;   atom_concat(Label, '_', M),
+                gensym(M, S),
+                assertz(evar(Label, S, D))
+            )
         ),
         (   (   nb_getval(entail_mode, false),
                 nb_getval(fdepth, 0)

diff --git a/eye.zip b/eye.zip
diff --git a/reasoning/bi/biA.n3 b/reasoning/bi/biA.n3
@@ -492,12 +492,12 @@
 {
     {
         <http://eyereasoner.github.io/eye/reasoning/bi/ab_c.n3> log:semantics {
-            :a :b _:e_c_2.
+            :a :b _:e_c_14.
         }.
         {
-            :a :b _:e_c_2.
+            :a :b _:e_c_14.
         } log:equalTo {
-            :a :b _:e_c_2.
+            :a :b _:e_c_14.
         }.
     } => {
         :loges3 :result true.
@@ -663,12 +663,12 @@
 {
     {
         <http://eyereasoner.github.io/eye/reasoning/bi/ab_c.n3> log:semantics {
-            :a :b _:e_c_2.
+            :a :b _:e_c_14.
         }.
         {
-            :a :b _:e_c_2.
+            :a :b _:e_c_14.
         } log:includes {
-            :a :b _:e_c_2.
+            :a :b _:e_c_14.
         }.
     } => {
         :logis3 :result true.
@@ -791,10 +791,10 @@
 {
     {
         <http://eyereasoner.github.io/eye/reasoning/bi/ab_c.n3> log:semantics {
-            :a :b _:e_c_2.
+            :a :b _:e_c_14.
         }.
         {
-            :a :b _:e_c_2.
+            :a :b _:e_c_14.
         } log:notIncludes {
             :a :b :c.
         }.
@@ -805,13 +805,13 @@
 {
     {
         <http://eyereasoner.github.io/eye/reasoning/bi/ab_c.n3> log:semantics {
-            :a :b _:e_c_2.
+            :a :b _:e_c_14.
         }.
         <http://eyereasoner.github.io/eye/reasoning/bi/abc.n3> log:semantics {
             :a :b :c.
         }.
         {
-            :a :b _:e_c_2.
+            :a :b _:e_c_14.
         } log:notIncludes {
             :a :b :c.
         }.

diff --git a/reasoning/blogic/test b/reasoning/blogic/test
@@ -1,6 +1,6 @@
 #!/bin/bash
 for f in *.n3
 do
-    echo + eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --nope $f --output $f.out
-    eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --nope $f --output $f.out
+    echo + eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --nope --blogic $f --output $f.out
+    eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --nope --blogic $f --output $f.out
 done
diff --git a/reasoning/blogic/version.n3.out b/reasoning/blogic/version.n3.out
@@ -1,3 +1,3 @@
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
-() log:version "EYE v5.1.1 (2023-10-18)".
+() log:version "EYE v5.2.0 (2023-10-19)".
diff --git a/reasoning/iq/iqA.n3 b/reasoning/iq/iqA.n3
@@ -1,7 +1,7 @@
 @prefix : <http://example.org/test#>.
 
 _:e_x_1 :says {
-    _:e_x_1 :knows :Albert.
+    _:e_x_3 :knows :Albert.
 }.
 :s :p :o.
 :s :pp {
@@ -10,7 +10,7 @@ _:e_x_1 :says {
 {
     ?U_0 :knows :Albert.
 } => {
-    ?U_0 :knows :Kurt.
+    <http://eyereasoner.github.io/var#x_0> :knows :Kurt.
 }.
 {
     :e :p :a.