fixing issue with rdfsurfaces in cgs (closed graph semantics)

eyereasoner · Oct 10, 2024 · 3baedf8 · 3baedf8
1 parent 933dead
commit 3baedf8
Show file tree

Hide file tree

Showing 6 changed files with 10 additions and 8 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v10.24.19 (2024-10-11) fixing issue with rdfsurfaces in cgs (closed graph semantics)
 v10.24.18 (2024-10-10) fixing graph:statement for cgs (closed graph semantics)
 v10.24.17 (2024-10-09) fixing log:query for bng (blank node graphs)
 v10.24.16 (2024-10-07) adding extra ("skolem-genid" "your-genid" args) log:skolem iri

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-10.24.18
+10.24.19
diff --git a/eye.pl b/eye.pl
@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v10.24.18 (2024-10-10)').
+version_info('EYE v10.24.19 (2024-10-11)').
 
 license_info('MIT License
 
@@ -12247,6 +12247,7 @@
 
 labelvars(A, B, C, D) :-
     var(A),
+    nonvar(D),
     !,
     atom_number(E, B),
     atomic_list_concat([D, E], A),      % failing when A is an attributed variable

diff --git a/eye.zip b/eye.zip
diff --git a/reasoning/cgs/slide32.trig b/reasoning/cgs/slide32.trig
@@ -21,13 +21,13 @@ _:cgs_2 {
 }
 
 # query
-() log:onNegativeSurface _:cgs_3.
+(_:x) log:onNegativeSurface _:cgs_3.
 
 _:cgs_3 {
-    :Ghent a :HumanCommunity.
+    _:x a :HumanCommunity.
     () log:onNegativeAnswerSurface _:cgs_4.
 }
 
 _:cgs_4 {
-    :Ghent a :HumanCommunity.
+    _:x a :HumanCommunity.
 }
diff --git a/reasoning/cgs/water.trig b/reasoning/cgs/water.trig
@@ -61,13 +61,13 @@ _:cgs_8 {
 }
 
 # query
-() log:onNegativeSurface _:cgs_9.
+(_:A) log:onNegativeSurface _:cgs_9.
 
 _:cgs_9 {
-    :water :is :observable.
+    _:A :is :observable.
     () log:onNegativeAnswerSurface _:cgs_10.
 }
 
 _:cgs_10 {
-    :water :is :observable.
+    _:A :is :observable.
 }