removing named graphs before reasoning

eyereasoner · Apr 4, 2024 · 0d9c8a5 · 0d9c8a5
1 parent 2dcd695
commit 0d9c8a5
Show file tree

Hide file tree

Showing 22 changed files with 6,672 additions and 6,647 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.0.0
+1.0.1
diff --git a/etc/output/acp.trig b/etc/output/acp.trig
@@ -11,71 +11,71 @@
 # lingua explanation
 #
 
-_:gn_1 lingua:explanation _:gn_2.
-_:gn_3 lingua:explanation _:gn_4.
-_:gn_5 lingua:explanation _:gn_6.
-_:gn_7 lingua:explanation _:gn_8.
+_:bng_1 lingua:explanation _:bng_2.
+_:bng_3 lingua:explanation _:bng_4.
+_:bng_5 lingua:explanation _:bng_6.
+_:bng_7 lingua:explanation _:bng_8.
 
-_:gn_1 {
+_:bng_1 {
     :test1 :policy :PolicyX.
     :PolicyX a :Policy.
-    (_:gn_9 _:gn_10) log:forAllIn ((<https://eyereasoner.github.io/lingua/etc/acp.trig>) 1).
+    (_:bng_9 _:bng_10) log:forAllIn ((<https://eyereasoner.github.io/lingua/etc/acp.trig>) 1).
 }
 
-_:gn_2 {
+_:bng_2 {
     :PolicyX :pass :allOfTest.
 }
 
-_:gn_3 {
+_:bng_3 {
     :test1 :policy :PolicyX.
     :PolicyX a :Policy.
-    (var:x_0 _:gn_11 (:C)) log:collectAllIn ((<https://eyereasoner.github.io/lingua/etc/acp.trig>) 1).
+    (var:x_0 _:bng_11 (:C)) log:collectAllIn ((<https://eyereasoner.github.io/lingua/etc/acp.trig>) 1).
     (:C) list:length 1 .
     (1) log:notEqualTo (0).
 }
 
-_:gn_4 {
+_:bng_4 {
     :PolicyX :pass :anyOfTest.
 }
 
-_:gn_5 {
+_:bng_5 {
     :test1 :policy :PolicyX.
     :PolicyX a :Policy.
-    (var:x_0 _:gn_12 ()) log:collectAllIn ((<https://eyereasoner.github.io/lingua/etc/acp.trig>) 1).
+    (var:x_0 _:bng_12 ()) log:collectAllIn ((<https://eyereasoner.github.io/lingua/etc/acp.trig>) 1).
     () list:length 0 .
     (0) log:equalTo (0).
 }
 
-_:gn_6 {
+_:bng_6 {
     :PolicyX :pass :noneOfTest.
 }
 
-_:gn_7 {
+_:bng_7 {
     :PolicyX a :Policy.
     :PolicyX :pass :allOfTest.
     :PolicyX :pass :anyOfTest.
     :PolicyX :pass :noneOfTest.
 }
 
-_:gn_8 {
+_:bng_8 {
     :test :for :PolicyX.
     :test :is true.
 }
 
-_:gn_9 {
+_:bng_9 {
     :PolicyX :allOf var:x_0.
 }
 
-_:gn_10 {
+_:bng_10 {
     :test1 :has var:x_0.
 }
 
-_:gn_11 {
+_:bng_11 {
     :PolicyX :anyOf var:x_0.
     :test1 :has var:x_0.
 }
 
-_:gn_12 {
+_:bng_12 {
     :PolicyX :noneOf var:x_0.
     :test1 :has var:x_0.
 }
diff --git a/etc/output/backward.trig b/etc/output/backward.trig
@@ -9,12 +9,12 @@
 # lingua explanation
 #
 
-_:gn_1 lingua:explanation _:gn_2.
+_:bng_1 lingua:explanation _:bng_2.
 
-_:gn_1 {
+_:bng_1 {
     [] rdf:value 5; math:greaterThan 3.
 }
 
-_:gn_2 {
+_:bng_2 {
     [] rdf:value 5; :moreInterestingThan 3.
 }
diff --git a/etc/output/complement.trig b/etc/output/complement.trig
@@ -2,9 +2,9 @@
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
-_:gn_1 lingua:implication false.
+_:bng_1 lingua:implication false.
 
-_:gn_1 {
+_:bng_1 {
     var:P log:complement var:C.
     var:S var:P var:O.
     var:S var:C var:O.

diff --git a/etc/output/complex.trig b/etc/output/complex.trig
@@ -14,30 +14,30 @@
 # lingua explanation
 #
 
-_:gn_1 lingua:explanation _:gn_2.
-_:gn_3 lingua:explanation _:gn_4.
-_:gn_5 lingua:explanation _:gn_6.
-_:gn_7 lingua:explanation _:gn_8.
-_:gn_9 lingua:explanation _:gn_10.
-_:gn_11 lingua:explanation _:gn_12.
-_:gn_13 lingua:explanation _:gn_14.
-_:gn_15 lingua:explanation _:gn_16.
-_:gn_17 lingua:explanation _:gn_18.
-_:gn_19 lingua:explanation _:gn_20.
-_:gn_21 lingua:explanation _:gn_22.
-_:gn_23 lingua:explanation _:gn_24.
-
-_:gn_1 {
+_:bng_1 lingua:explanation _:bng_2.
+_:bng_3 lingua:explanation _:bng_4.
+_:bng_5 lingua:explanation _:bng_6.
+_:bng_7 lingua:explanation _:bng_8.
+_:bng_9 lingua:explanation _:bng_10.
+_:bng_11 lingua:explanation _:bng_12.
+_:bng_13 lingua:explanation _:bng_14.
+_:bng_15 lingua:explanation _:bng_16.
+_:bng_17 lingua:explanation _:bng_18.
+_:bng_19 lingua:explanation _:bng_20.
+_:bng_21 lingua:explanation _:bng_22.
+_:bng_23 lingua:explanation _:bng_24.
+
+_:bng_1 {
     [] rdf:value -1; math:lessThan 0 .
     [] rdf:value 0; math:notLessThan 0 .
     (3.141592653589793 0.0) math:difference 3.141592653589793.
 }
 
-_:gn_2 {
+_:bng_2 {
     (-1 0 0.0) complex:dial 3.141592653589793.
 }
 
-_:gn_3 {
+_:bng_3 {
     (-1 2) math:exponentiation 1 .
     (0 2) math:exponentiation 0 .
     (1 0) math:sum 1 .
@@ -48,11 +48,11 @@ _:gn_3 {
     (-1 0 0.0) complex:dial 3.141592653589793.
 }
 
-_:gn_4 {
+_:bng_4 {
     (-1 0) complex:polar (1 3.141592653589793).
 }
 
-_:gn_5 {
+_:bng_5 {
     (-1 0) complex:polar (1 3.141592653589793).
     (1 0.5) math:exponentiation 1 .
     [] rdf:value 0; math:negation 0 .
@@ -68,21 +68,21 @@ _:gn_5 {
     (1 1 1.0) math:product 1.0.
 }
 
-_:gn_6 {
+_:bng_6 {
     ((-1 0) (0.5 0)) complex:exponentiation (6.123233995736766e-17 1.0).
 }
 
-_:gn_7 {
+_:bng_7 {
     [] rdf:value 2.718281828459045; math:notLessThan 0 .
     [] rdf:value 0; math:notLessThan 0 .
     (0 0.0) math:sum 0.0.
 }
 
-_:gn_8 {
+_:bng_8 {
     (2.718281828459045 0 0.0) complex:dial 0.0.
 }
 
-_:gn_9 {
+_:bng_9 {
     (2.718281828459045 2) math:exponentiation 7.3890560989306495 .
     (0 2) math:exponentiation 0 .
     (7.3890560989306495 0) math:sum 7.3890560989306495 .
@@ -93,11 +93,11 @@ _:gn_9 {
     (2.718281828459045 0 0.0) complex:dial 0.0.
 }
 
-_:gn_10 {
+_:bng_10 {
     (2.718281828459045 0) complex:polar (2.718281828459045 0.0).
 }
 
-_:gn_11 {
+_:bng_11 {
     (2.718281828459045 0) complex:polar (2.718281828459045 0.0).
     (2.718281828459045 0) math:exponentiation 1 .
     [] rdf:value 3.141592653589793; math:negation -3.141592653589793 .
@@ -113,21 +113,21 @@ _:gn_11 {
     (1 1 1.2246467991473532e-16) math:product 1.2246467991473532e-16.
 }
 
-_:gn_12 {
+_:bng_12 {
     ((2.718281828459045 0) (0 3.141592653589793)) complex:exponentiation (-1.0 1.2246467991473532e-16).
 }
 
-_:gn_13 {
+_:bng_13 {
     [] rdf:value 0; math:notLessThan 0 .
     [] rdf:value 1; math:notLessThan 0 .
     (0 1.5707963267948966) math:sum 1.5707963267948966.
 }
 
-_:gn_14 {
+_:bng_14 {
     (0 1 1.5707963267948966) complex:dial 1.5707963267948966.
 }
 
-_:gn_15 {
+_:bng_15 {
     (0 2) math:exponentiation 0 .
     (1 2) math:exponentiation 1 .
     (0 1) math:sum 1 .
@@ -138,11 +138,11 @@ _:gn_15 {
     (0 1 1.5707963267948966) complex:dial 1.5707963267948966.
 }
 
-_:gn_16 {
+_:bng_16 {
     (0 1) complex:polar (1 1.5707963267948966).
 }
 
-_:gn_17 {
+_:bng_17 {
     (0 1) complex:polar (1 1.5707963267948966).
     (1 0) math:exponentiation 1 .
     [] rdf:value 1; math:negation -1 .
@@ -158,11 +158,11 @@ _:gn_17 {
     (1 0.20787957635076193 0.0) math:product 0.0.
 }
 
-_:gn_18 {
+_:bng_18 {
     ((0 1) (0 1)) complex:exponentiation (0.20787957635076193 0.0).
 }
 
-_:gn_19 {
+_:bng_19 {
     (2.718281828459045 0) complex:polar (2.718281828459045 0.0).
     (2.718281828459045 -1.57079632679) math:exponentiation 0.20787957635177984 .
     [] rdf:value 0; math:negation 0 .
@@ -178,11 +178,11 @@ _:gn_19 {
     (0.20787957635177984 1 0.0) math:product 0.0.
 }
 
-_:gn_20 {
+_:bng_20 {
     ((2.718281828459045 0) (-1.57079632679 0)) complex:exponentiation (0.20787957635177984 0.0).
 }
 
-_:gn_21 {
+_:bng_21 {
     (1 2) math:sum 3 .
     (3 2) math:exponentiation 9 .
     (0 2) math:exponentiation 0 .
@@ -204,11 +204,11 @@ _:gn_21 {
     (2.718281828459045 1.3169578969248166) math:exponentiation 3.732050807568877.
 }
 
-_:gn_22 {
+_:bng_22 {
     (2 0) complex:asin (1.5707963267948966 1.3169578969248166).
 }
 
-_:gn_23 {
+_:bng_23 {
     (1 2) math:sum 3 .
     (3 2) math:exponentiation 9 .
     (0 2) math:exponentiation 0 .
@@ -231,6 +231,6 @@ _:gn_23 {
     [] rdf:value 1.3169578969248166; math:negation -1.3169578969248166.
 }
 
-_:gn_24 {
+_:bng_24 {
     (2 0) complex:acos (0.0 -1.3169578969248166).
 }
diff --git a/etc/output/derived.trig b/etc/output/derived.trig
@@ -8,38 +8,38 @@
 # lingua explanation
 #
 
-_:gn_1 lingua:explanation _:gn_2.
-_:gn_3 lingua:explanation _:gn_4.
-_:gn_5 lingua:explanation _:node_4_1.
+_:bng_1 lingua:explanation _:bng_2.
+_:bng_3 lingua:explanation _:bng_4.
+_:bng_5 lingua:explanation _:bng_6.
 
-_:gn_1 {
+_:bng_1 {
     :Alice a :Cat.
 }
 
-_:gn_2 {
-    _:gn_6 lingua:implication _:node_4_1.
+_:bng_2 {
+    _:bng_7 lingua:implication _:bng_6.
 }
 
-_:gn_3 {
+_:bng_3 {
     :Minka a :Cat.
 }
 
-_:gn_4 {
-    _:gn_7 lingua:implication _:node_4_1.
+_:bng_4 {
+    _:bng_8 lingua:implication _:bng_6.
 }
 
-_:gn_5 {
+_:bng_5 {
     :Charly a :Dog.
 }
 
-_:node_4_1 {
+_:bng_6 {
     :test :is true.
 }
 
-_:gn_6 {
+_:bng_7 {
     var:x_2 a :Dog.
 }
 
-_:gn_7 {
+_:bng_8 {
     var:x_3 a :Dog.
 }