refreshing

eyereasoner · Nov 5, 2024 · 2a690cf · 2a690cf
1 parent dec27ff
commit 2a690cf
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 2 deletions.
diff --git a/reasoning/n3plus1/README b/reasoning/n3plus1/README
@@ -2,4 +2,4 @@
 N3 plus 1
 ---------
 
-N3 plus increments like RDF 1.1, RDF 1.2, functional terms, ...
+N3 plus increments like RDF 1.1, RDF 1.2, compound terms, ...
diff --git a/reasoning/n3plus1/in.n3 b/reasoning/n3plus1/in.n3
@@ -48,6 +48,9 @@ _:i {
     {| :from 1964; :to 1975 |}
     {| :from 1980; :to 2001 |} .
 
+# compound terms
+:sss :ppp ^(:fff :aaa :bbb :ccc).
+
 # queries
 {
     ?S ?P ?O.

diff --git a/reasoning/n3plus1/out.n3 b/reasoning/n3plus1/out.n3
@@ -20,6 +20,7 @@ _:bn_1 :q2 "B".
 << :liz :marriedTo :richard ~ _:bne_34 >> :from 1980 .
 << :liz :marriedTo :richard ~ _:bne_31 >> :to 1975 .
 << :liz :marriedTo :richard ~ _:bne_34 >> :to 2001 .
+:sss :ppp ^(:fff :aaa :bbb :ccc).
 
 _:e_g_1 {
     :s :p _:e_x_1.

diff --git a/reasoning/n3plus1/test b/reasoning/n3plus1/test
@@ -1,2 +1,2 @@
 #!/bin/bash
-eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope --rdf-star-output https://eyereasoner.github.io/eye/reasoning/n3plus1/in.n3 --output out.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope --rdf-trig-output https://eyereasoner.github.io/eye/reasoning/n3plus1/in.n3 --output out.n3