preparing rdf12 support

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+v10.24.20 (2024-10-11) preparing rdf12 support
 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)

VERSION

@@ -1 +1 @@
-10.24.19
+10.24.20

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.19 (2024-10-11)').
+version_info('EYE v10.24.20 (2024-10-11)').
 
 license_info('MIT License
 
@@ -2158,9 +2158,12 @@
     subject(S, Ts),
     verb(P, Tp),
     object(O, To),
-    {   append([Ts, Tp, To], T)
-    },
     edgename(N),
+    {   (   flag('trig-output')
+        ->  append([['\'<http://www.w3.org/1999/02/22-rdf-syntax-ns#reifies>\''(N, triple(S, P, O))], Ts, Tp, To], T)
+        ;   append([Ts, Tp, To], T)
+        )
+    },
     [gt_gt].
 pathitem(Node, []) -->
     ['{'],
@@ -5402,7 +5405,7 @@
                 '<http://www.w3.org/2000/10/swap/log#isImpliedBy>'(A, B),
                 '<http://www.w3.org/2000/10/swap/graph#statement>'(A, C),
                 '<http://www.w3.org/2000/10/swap/graph#statement>'(B, D)
-                ), (C:-D), '<>')),
+                ), ':-'(C, D), '<>')),
 
         % create queries
         assertz(implies((
@@ -5697,7 +5700,6 @@
                 makevars([I, J], [Iu, Ju], beta(U)),
                 C = implies(Iu, Ju, '<>'),
                 copy_term_nat(C, CC),
-                labelvars(CC, 0, _, avar),
                 (   \+cc(CC)
                 ->  assertz(cc(CC)),
                     assertz(C),
@@ -12247,7 +12249,6 @@
 
 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

reasoning/issue118/README

@@ -0,0 +1,5 @@
+---------
+Issue 118
+---------
+
+See https://github.com/eyereasoner/eye/issues/118

reasoning/issue118/issue118-answer.n3

@@ -0,0 +1,10 @@
+@prefix : <http:/example.org/>.
+@prefix skolem: <https://eyereasoner.github.io/.well-known/genid/d983461b-11b7-4e52-89c1-328e91bf1de1#>.
+
+:s a :Success.
+{
+    skolem:bn_5 :value ?U_1.
+} <= {
+    :s :value ?U_1.
+}.
+skolem:bn_5 a :Success.

reasoning/issue118/issue118.n3

@@ -0,0 +1,15 @@
+@prefix : <http:/example.org/>.
+@prefix skolem: <https://eyereasoner.github.io/.well-known/genid/d983461b-11b7-4e52-89c1-328e91bf1de1#>.
+
+:s :value 1 .
+:s :copy skolem:bn_5.
+
+{ ?s :value ?value } => { ?s a :Success } .
+
+{
+    :s :copy ?o
+}
+=> 
+{
+    { ?o :value ?value } <= { :s :value ?value }
+} .

reasoning/issue118/test

@@ -0,0 +1,2 @@
+#!/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/issue118/issue118.n3 --pass-only-new --output issue118-answer.n3

reasoning/n3trig/in.n3

@@ -1,3 +1,4 @@
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
 @prefix graph: <http://www.w3.org/2000/10/swap/graph#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix : <http://example.org/#>.
@@ -28,9 +29,18 @@ _:bng_2 {
     }.
 }.
 
-# query
-{
-    ?G graph:statement ?C.
-} =^ {
-    ?G graph:statement ?C.
-}.
+# occurences
+:s :p << :d :e :f >> .
+:s :p << :g :h :i ~ :x >> .
+
+<< :a :b _:x ~ :r >> :c :d .
+<< :a :b _:y ~ :r >> :c :d .
+
+<< :s :p [ :q1 "A" ; :q2 "B" ] ~ :x >> .
+
+# annotations
+:s :p :o {| :j :k |} .
+
+:liz :marriedTo :richard
+    {| :from 1964; :to 1975 |}
+    {| :from 1980; :to 2001 |} .

reasoning/n3trig/out.n3

@@ -1,14 +1,40 @@
 @prefix : <http://example.org/#>.
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix graph: <http://www.w3.org/2000/10/swap/graph#>.
+@prefix var: <http://www.w3.org/2000/10/swap/var#>.
 
+:s :p << :d :e :f >>.
+:s :p << :g :h :i ~ :x >>.
+:s :p :o.
+_:bne_20 rdf:reifies <<( :d :e :f )>>.
+:x rdf:reifies <<( :g :h :i )>>.
+:r rdf:reifies <<( :a :b _:e_x_1 )>>.
+:r rdf:reifies <<( :a :b _:e_y_1 )>>.
+:x rdf:reifies <<( :s :p _:bn_1 )>>.
+<< :a :b _:e_x_1 ~ :r >> :c :d.
+<< :a :b _:e_y_1 ~ :r >> :c :d.
+_:bn_1 :q1 "A".
+_:bn_1 :q2 "B".
+<< :s :p :o >> :j :k.
+:liz :marriedTo :richard.
+<< :liz :marriedTo :richard >> :from 1964 .
+<< :liz :marriedTo :richard >> :from 1980 .
+<< :liz :marriedTo :richard >> :to 1975 .
+<< :liz :marriedTo :richard >> :to 2001 .
+_:bng_1 log:implies _:bng_2.
 
-_:e_bng_1_1 {
-    :s :p _:e_x_1.
-    :s :p :o.
+_:bng_1 {
+    _:sk_1 graph:statement _:sk_2.
+    _:sk_2 graph:member _:bng_3.
 }
 
-_:e_bng_2_1 {
+_:bng_2 {
+    var:x_0 graph:statement _:sk_0.
+}
+
+_:bng_3 {
     :a :b :c.
-    :d :e _:e_x_1.
 }
 
 _:sk_0 {

reasoning/n3trig/out.trig

@@ -0,0 +1,43 @@
+@prefix : <http://example.org/#>.
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+@prefix graph: <http://www.w3.org/2000/10/swap/graph#>.
+@prefix var: <http://www.w3.org/2000/10/swap/var#>.
+
+:s :p << :d :e :f >>.
+:s :p << :g :h :i ~ :x >>.
+:s :p :o.
+_:bne_20 rdf:reifies <<( :d :e :f )>>.
+:x rdf:reifies <<( :g :h :i )>>.
+:r rdf:reifies <<( :a :b _:e_x_1 )>>.
+:r rdf:reifies <<( :a :b _:e_y_1 )>>.
+:x rdf:reifies <<( :s :p _:bn_1 )>>.
+<< :a :b _:e_x_1 ~ :r >> :c :d.
+<< :a :b _:e_y_1 ~ :r >> :c :d.
+_:bn_1 :q1 "A".
+_:bn_1 :q2 "B".
+<< :s :p :o >> :j :k.
+:liz :marriedTo :richard.
+<< :liz :marriedTo :richard >> :from 1964 .
+<< :liz :marriedTo :richard >> :from 1980 .
+<< :liz :marriedTo :richard >> :to 1975 .
+<< :liz :marriedTo :richard >> :to 2001 .
+_:bng_1 log:implies _:bng_2.
+
+_:bng_1 {
+    _:sk_1 graph:statement _:sk_2.
+    _:sk_2 graph:member _:bng_3.
+}
+
+_:bng_2 {
+    var:x_0 graph:statement _:sk_0.
+}
+
+_:bng_3 {
+    :a :b :c.
+}
+
+_:sk_0 {
+    :u :v :w.
+    :x :y :z.
+}

reasoning/n3trig/test

@@ -1,2 +1,2 @@
 #!/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/n3trig/in.n3 --output out.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope --trig-output https://eyereasoner.github.io/eye/reasoning/n3trig/in.n3 --pass-all --output out.trig