refreshing

eyereasoner · Nov 9, 2024 · d2235d4 · d2235d4
1 parent 3df38da
commit d2235d4
Show file tree

Hide file tree

Showing 12 changed files with 57 additions and 57 deletions.
diff --git a/color/cha58/cha58-answer.ttl b/color/cha58/cha58-answer.ttl
@@ -1,4 +1,4 @@
-@prefix : <http://example.org/ns#>.
+@prefix : <http://example.org/#>.
 @prefix schema: <http://schema.org/>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix foaf: <http://xmlns.com/foaf/0.1/>.

diff --git a/color/cha58/cha58-data.ttl b/color/cha58/cha58-data.ttl
@@ -1,6 +1,6 @@
 @prefix schema: <http://schema.org/>.
 @prefix foaf: <http://xmlns.com/foaf/0.1/>.
-@prefix : <http://example.org/ns#>.
+@prefix : <http://example.org/#>.
 
 :person1 a foaf:Person.
 :person2 a schema:Person.

diff --git a/color/cha58/cha58-query.n3 b/color/cha58/cha58-query.n3
@@ -1,7 +1,7 @@
 @prefix schema: <http://schema.org/>.
 @prefix foaf: <http://xmlns.com/foaf/0.1/>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix : <http://example.org/ns#>.
+@prefix : <http://example.org/#>.
 
 {?X a schema:Person} => {?X a schema:Person}.
 

diff --git a/color/cha58/cha58-rules.n3 b/color/cha58/cha58-rules.n3
@@ -1,6 +1,6 @@
 @prefix schema: <http://schema.org/>.
 @prefix foaf: <http://xmlns.com/foaf/0.1/>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix : <http://example.org/ns#>.
+@prefix : <http://example.org/#>.
 
 {?S a foaf:Person} => {?S a schema:Person {|log:ohyeah {?S a foaf:Person}|}}.
diff --git a/color/complex/complex-answer.n3 b/color/complex/complex-answer.n3
@@ -1,4 +1,4 @@
-@prefix : <http://example.org/ns#>.
+@prefix : <http://example.org/#>.
 @prefix complex: <https://eyereasoner.github.io/eye/complex#>.
 
 :test :is {

diff --git a/color/complex/complex.n3 b/color/complex/complex.n3
@@ -7,7 +7,7 @@
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix complex: <https://eyereasoner.github.io/eye/complex#>.
-@prefix : <http://example.org/ns#>.
+@prefix : <http://example.org/#>.
 
 {
     ((?A ?B) (?C ?D)) complex:exponentiation (?E ?F).

diff --git a/color/pack/out.n3 b/color/pack/out.n3
@@ -1,4 +1,4 @@
-@prefix : <http://example.org/ns#>.
+@prefix : <http://example.org/#>.
 
 :a :b _:e_c_148.
 :u :v _:e_c_164.
diff --git a/color/pack/unpack.n3 b/color/pack/unpack.n3
@@ -2,7 +2,7 @@
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
 @prefix graph: <http://www.w3.org/2000/10/swap/graph#>.
 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
-@prefix : <http://example.org/ns#>.
+@prefix : <http://example.org/#>.
 
 # sample data from RubenD
 [] :data {

diff --git a/color/turing/turing-answer.n3 b/color/turing/turing-answer.n3
@@ -1,4 +1,4 @@
-@prefix : <http://example.org/ns#>.
+@prefix : <http://example.org/#>.
 
 (1 0 1 0 0 1) :compute (1 0 1 0 1 0 "#").
 (1 0 1 1 1 1) :compute (1 1 0 0 0 0 "#").

diff --git a/color/turing/turing-proof.n3 b/color/turing/turing-proof.n3
diff --git a/color/turing/turing-query.n3 b/color/turing/turing-query.n3
@@ -1,4 +1,4 @@
-@prefix : <http://example.org/ns#>.
+@prefix : <http://example.org/#>.
 
 # query
 {

diff --git a/color/turing/turing.n3 b/color/turing/turing.n3
@@ -1,6 +1,6 @@
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
-@prefix : <http://example.org/ns#>.
+@prefix : <http://example.org/#>.
 
 # interpreter for Turing machine
 {() :compute ?OutTape} <= {