extending log:rawType with log:BlankNode, log:LabeledBlankNode, log:S…

…kolemIRI and log:ForSome types and dropping log:isBlank (obs from Patrick Hochstenbach)

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+[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
 [v2.4.0] refactoring --blogic and removing --no-erase

VERSION

@@ -1 +1 @@
-2.6.0
+2.6.1

eye-builtins.n3

@@ -140,7 +140,6 @@ log:implies a e:Builtin.
 log:includes a e:Builtin.
 log:includesNotBind a e:Builtin.
 log:inferences a e:Builtin.
-log:isBlank a e:Builtin.
 log:langlit a e:Builtin.
 log:localN3String a e:Builtin.
 log:localName a e:Builtin.

eye.pl

@@ -20,7 +20,7 @@
 :- use_module(library(semweb/turtle)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v2.6.0 josd').
+version_info('EYE v2.6.1 josd').
 
 license_info('MIT License
 
@@ -6731,18 +6731,6 @@
     ;   B = C
     ).
 
-'<http://www.w3.org/2000/10/swap/log#isBlank>'(A, B) :-
-    when(
-        (   nonvar(A)
-        ),
-        (   findvars(A, C, beta),
-            (   C \= []
-            ->  B = true
-            ;   B = false
-            )
-        )
-    ).
-
 '<http://www.w3.org/2000/10/swap/log#langlit>'([literal(A, type('<http://www.w3.org/2001/XMLSchema#string>')), literal(B, type('<http://www.w3.org/2001/XMLSchema#string>'))], literal(A, lang(B))).
 
 '<http://www.w3.org/2000/10/swap/log#localN3String>'(A, literal(B, type('<http://www.w3.org/2001/XMLSchema#string>'))) :-
@@ -11447,6 +11435,22 @@
     B \= ':',
     C >= 2,
     !.
+raw_type(A, '<http://www.w3.org/2000/10/swap/log#BlankNode>') :-
+    nb_getval(var_ns, B),
+    sub_atom(A, 1, _, _, B),
+    sub_atom(A, _, 4, _, '#bn_'),
+    !.
+raw_type(A, '<http://www.w3.org/2000/10/swap/log#LabeledBlankNode>') :-
+    nb_getval(var_ns, B),
+    sub_atom(A, 1, _, _, B),
+    sub_atom(A, _, 5, _, '#e_b_'),
+    !.
+raw_type(A, '<http://www.w3.org/2000/10/swap/log#SkolemIRI>') :-
+    sub_atom(A, _, 19, _, '/.well-known/genid/'),
+    !.
+raw_type(A, '<http://www.w3.org/2000/10/swap/log#ForSome>') :-
+    sub_atom(A, 1, _, _, 'http://eyereasoner.github.io/var#qe_'),
+    !.
 raw_type(_, '<http://www.w3.org/2000/10/swap/log#Other>').
 
 getnumber(rdiv(A, B), C) :-