refreshing

eyereasoner · Nov 6, 2024 · aa109d6 · aa109d6
1 parent f5c4593
commit aa109d6
Show file tree

Hide file tree

Showing 3 changed files with 14 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, compound terms, ...
+N3 plus increments like RDF 1.1, RDF 1.2, sets, compounds, ...
diff --git a/reasoning/n3plus1/in.n3 b/reasoning/n3plus1/in.n3
@@ -49,7 +49,17 @@ _:i {
     {| :from 1964; :to 1975 |}
     {| :from 1980; :to 2001 |} .
 
-# compound terms
+# sets
+:g :h ($ :s :m :l $).
+
+{
+    :g :h ?I.
+    ?I log:equalTo ($ :l :s :m :l :s $).
+} => {
+    ?I :v :w.
+}.
+
+# compounds
 :i :j ^(:f :a :b :c).
 
 {

diff --git a/reasoning/n3plus1/out.n3 b/reasoning/n3plus1/out.n3
@@ -2,6 +2,7 @@
 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
 
 _:e_g_1 :h _:e_i_1.
+:g :h ($ :l :m :s $).
 :s :p << :d :e :f ~ _:bne_21 >>.
 :s :p << :g :h :i ~ :x >>.
 :s :p :o.
@@ -21,6 +22,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 .
+($ :l :m :s $) :v :w.
 (:g :d :e) :k ^(:g :d :e).
 
 _:e_g_1 {