adding comments

eyereasoner · Oct 11, 2023 · 31a91a3 · 31a91a3
1 parent f824e81
commit 31a91a3
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 0 deletions.
diff --git a/reasoning/blogic/pack-filter.n3s b/reasoning/blogic/pack-filter.n3s
@@ -4,6 +4,7 @@
 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
 @prefix : <http://example.org/ns#>.
 
+# sample data from RubenD
 () :data {
     () :package {
         << () :content {
@@ -22,6 +23,7 @@
     }.
 }.
 
+# the logic for flatten in 5 backward rules
 (_:c _:t _:d _:l _:m) log:onNegativeSurface {
     () log:onNegativeSurface <<
         {
@@ -72,6 +74,7 @@
     }.
 }.
 
+# question
 (_:l _:g _:h) log:onQuestionSurface {
     _:l :data _:g.
     _:g :filter _:h.

diff --git a/reasoning/blogic/pack-flatten.n3s b/reasoning/blogic/pack-flatten.n3s
@@ -4,6 +4,7 @@
 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
 @prefix : <http://example.org/ns#>.
 
+# sample data from RubenD
 () :data {
     () :package {
         << () :content {
@@ -22,6 +23,7 @@
     }.
 }.
 
+# the logic for flatten in 4 backward rules
 (_:p _:d _:c _:q _:t _:l _:m) log:onNegativeSurface {
     () log:onNegativeSurface <<
         {
@@ -57,6 +59,7 @@
     }.
 }.
 
+# question
 (_:l _:g _:h) log:onQuestionSurface {
     _:l :data _:g.
     _:g :flatten _:h.

diff --git a/reasoning/sequents/pack-filter.n3 b/reasoning/sequents/pack-filter.n3
@@ -4,6 +4,7 @@
 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
 @prefix : <http://example.org/ns#>.
 
+# sample data from RubenD
 () :data {
     () :package {
         << () :content {
@@ -22,6 +23,7 @@
     }.
 }.
 
+# testing unconditional sequent and see with --pass-only-new
 {
     ?l :data ?g.
     ?g :filter ?h.
@@ -31,6 +33,7 @@
     }
 $).
 
+# the logic for flatten in 5 backward rules
 {
     {
         () :package {

diff --git a/reasoning/sequents/pack-flatten.n3 b/reasoning/sequents/pack-flatten.n3
@@ -4,6 +4,7 @@
 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
 @prefix : <http://example.org/ns#>.
 
+# sample data from RubenD
 () :data {
     () :package {
         << () :content {
@@ -22,6 +23,7 @@
     }.
 }.
 
+# testing unconditional sequent and see with --pass-only-new
 true => ($
     {
         {
@@ -31,6 +33,7 @@ true => ($
     }
 $).
 
+# the logic for flatten in 4 backward rules
 {
     {
         () :package ?p.