using log:UnlabeledBlankNode instead of log:BlankNode for the log:raw…

…Type of []
eyereasoner · Feb 1, 2023 · 0148514 · 0148514
1 parent 402736f
commit 0148514
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 3 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+[v2.6.2] using log:UnlabeledBlankNode instead of log:BlankNode for the log:rawType of []
 [v2.6.1] extending log:rawType with log:BlankNode, log:LabeledBlankNode, log:SkolemIRI and log:ForSome types and dropping log:isBlank (obs from Patrick Hochstenbach)
 [v2.6.0] adding log:isBlank built-in for SPARQL emulation
 [v2.5.0] generating fewer implications for --blogic

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-2.6.1
+2.6.2
diff --git a/eye.pl b/eye.pl
@@ -20,7 +20,7 @@
 :- use_module(library(semweb/turtle)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v2.6.1 josd').
+version_info('EYE v2.6.2 josd').
 
 license_info('MIT License
 
@@ -11435,7 +11435,7 @@
     B \= ':',
     C >= 2,
     !.
-raw_type(A, '<http://www.w3.org/2000/10/swap/log#BlankNode>') :-
+raw_type(A, '<http://www.w3.org/2000/10/swap/log#UnlabeledBlankNode>') :-
     nb_getval(var_ns, B),
     sub_atom(A, 1, _, _, B),
     sub_atom(A, _, 4, _, '#bn_'),

diff --git a/eye.zip b/eye.zip