refreshing

KNowledgeOnWebScale · Mar 29, 2024 · d08fa89 · d08fa89
1 parent e342a84
commit d08fa89
Show file tree

Hide file tree

Showing 36 changed files with 61 additions and 61 deletions.
diff --git a/INSTALL b/INSTALL
@@ -3,9 +3,9 @@
 Install SWI-Prolog from http://www.swi-prolog.org/Download.html
 
 mkdir -p ~/github.com
-mkdir -p ~/github.com/eyereasoner
-cd ~/github.com/eyereasoner
-git clone https://github.com/eyereasoner/see-lingua
+mkdir -p ~/github.com/KNowledgeOnWebScale
+cd ~/github.com/KNowledgeOnWebScale
+git clone https://github.com/KNowledgeOnWebScale/see-lingua
 cd see-lingua
 sudo ln -sf $(realpath ./see) /usr/local/bin
 see --version
diff --git a/README.md b/README.md
@@ -2,7 +2,7 @@
 
 Reasoning engine that is using RDF TriG as the web lingua.
 
-Examples are in [lingua](https://github.com/eyereasoner/see-lingua/tree/main/lingua) and their output in [lingua/output](https://github.com/eyereasoner/see-lingua/tree/main/lingua/output)
+Examples are in [lingua](https://github.com/KNowledgeOnWebScale/see-lingua/tree/main/lingua) and their output in [lingua/output](https://github.com/KNowledgeOnWebScale/see-lingua/tree/main/lingua/output)
 
 ```
 Usage: see <options>* <data>*

diff --git a/lingua/edt.trig b/lingua/edt.trig
@@ -19,8 +19,8 @@
 _:ng1 lingua:implication true.
 
 _:ng1 {
-    <> log:imports <../../eye/reasoning/edt/test-facts.ttl>.
-    <> log:imports <../../eye/reasoning/edt/test-dl.ttl>.
+    <> log:imports <https://eyereasoner.github.io/eye/reasoning/edt/test-facts.ttl>.
+    <> log:imports <https://eyereasoner.github.io/eye/reasoning/edt/test-dl.ttl>.
 }
 
 _:ng2 lingua:hornb _:ng3.

diff --git a/lingua/monadic.trig b/lingua/monadic.trig
@@ -15,16 +15,16 @@
 _:ng1 lingua:implication true.
 
 _:ng1 {
-    <> log:imports <../../eye/reasoning/bmt/1tt1.ttl>.
-    <> log:imports <../../eye/reasoning/bmt/1tt2.ttl>.
-    <> log:imports <../../eye/reasoning/bmt/1tt3.ttl>.
-    <> log:imports <../../eye/reasoning/bmt/1tt4.ttl>.
-    <> log:imports <../../eye/reasoning/bmt/1tt5.ttl>.
-    <> log:imports <../../eye/reasoning/bmt/1tt6.ttl>.
-    <> log:imports <../../eye/reasoning/bmt/1tt7.ttl>.
-    <> log:imports <../../eye/reasoning/bmt/1tt8.ttl>.
-    <> log:imports <../../eye/reasoning/bmt/1tt9.ttl>.
-    <> log:imports <../../eye/reasoning/bmt/1tt10.ttl>.
+    <> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt1.ttl>.
+    <> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt2.ttl>.
+    <> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt3.ttl>.
+    <> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt4.ttl>.
+    <> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt5.ttl>.
+    <> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt6.ttl>.
+    <> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt7.ttl>.
+    <> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt8.ttl>.
+    <> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt9.ttl>.
+    <> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt10.ttl>.
 }
 
 #query

diff --git a/lingua/output/ackermann.trig b/lingua/output/ackermann.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/ackermann.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/ackermann.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.

diff --git a/lingua/output/acp.trig b/lingua/output/acp.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/acp.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/acp.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.
@@ -19,7 +19,7 @@ _:gn_7 lingua:explanation _:gn_8.
 _:gn_1 {
     :test1 :policy :PolicyX.
     :PolicyX a :Policy.
-    (_:gn_9 _:gn_10) log:forAllIn ((<https://eyereasoner.github.io/see-lingua/lingua/acp.trig>) 1).
+    (_:gn_9 _:gn_10) log:forAllIn ((<https://KNowledgeOnWebScale.github.io/see-lingua/lingua/acp.trig>) 1).
 }
 
 _:gn_2 {
@@ -29,7 +29,7 @@ _:gn_2 {
 _:gn_3 {
     :test1 :policy :PolicyX.
     :PolicyX a :Policy.
-    (var:x_0 _:gn_11 (:C)) log:collectAllIn ((<https://eyereasoner.github.io/see-lingua/lingua/acp.trig>) 1).
+    (var:x_0 _:gn_11 (:C)) log:collectAllIn ((<https://KNowledgeOnWebScale.github.io/see-lingua/lingua/acp.trig>) 1).
     (:C) list:length 1 .
     (1) log:notEqualTo (0).
 }
@@ -41,7 +41,7 @@ _:gn_4 {
 _:gn_5 {
     :test1 :policy :PolicyX.
     :PolicyX a :Policy.
-    (var:x_0 _:gn_12 ()) log:collectAllIn ((<https://eyereasoner.github.io/see-lingua/lingua/acp.trig>) 1).
+    (var:x_0 _:gn_12 ()) log:collectAllIn ((<https://KNowledgeOnWebScale.github.io/see-lingua/lingua/acp.trig>) 1).
     () list:length 0 .
     (0) log:equalTo (0).
 }

diff --git a/lingua/output/backward.trig b/lingua/output/backward.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/backward.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/backward.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 

diff --git a/lingua/output/beetle.trig b/lingua/output/beetle.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/beetle.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/beetle.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 
 :beetle :is :beautiful.

diff --git a/lingua/output/beetle6.trig b/lingua/output/beetle6.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/beetle6.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/beetle6.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 
 :beetle :is :nice.

diff --git a/lingua/output/blogic.trig b/lingua/output/blogic.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/blogic.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/blogic.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
 

diff --git a/lingua/output/derived.trig b/lingua/output/derived.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/derived.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/derived.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.
 

diff --git a/lingua/output/easter.trig b/lingua/output/easter.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/easter.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/easter.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.

diff --git a/lingua/output/edt.trig b/lingua/output/edt.trig
@@ -1012,8 +1012,8 @@ _:gn_1997 lingua:explanation _:gn_1998.
 _:gn_1999 lingua:explanation _:node_4_1.
 
 _:node_1_1 {
-    <https://eyereasoner.github.io/see-lingua/lingua/edt.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/edt/test-facts.ttl>.
-    <https://eyereasoner.github.io/see-lingua/lingua/edt.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/edt/test-dl.ttl>.
+    <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/edt.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/edt/test-facts.ttl>.
+    <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/edt.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/edt/test-dl.ttl>.
 }
 
 _:gn_1 {

diff --git a/lingua/output/fibonacci.trig b/lingua/output/fibonacci.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/fibonacci.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/fibonacci.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 

diff --git a/lingua/output/filter.trig b/lingua/output/filter.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/filter.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/filter.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
@@ -14,7 +14,7 @@ _:gn_1 lingua:explanation _:gn_2.
 
 _:gn_1 {
     :Let :where (_:sk_0 _:gn_3).
-    (_:sk_0 _:gn_3 ("Huey" "Dewey")) log:collectAllIn ((<https://eyereasoner.github.io/see-lingua/lingua/filter.trig>) 1).
+    (_:sk_0 _:gn_3 ("Huey" "Dewey")) log:collectAllIn ((<https://KNowledgeOnWebScale.github.io/see-lingua/lingua/filter.trig>) 1).
     ("Huey" "Dewey") list:length 2.
 }
 

diff --git a/lingua/output/gps.trig b/lingua/output/gps.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/gps.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/gps.trig#>.
 @prefix gps: <http://eyereasoner.github.io/eye/reasoning/gps/gps-schema#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.

diff --git a/lingua/output/graph.trig b/lingua/output/graph.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/graph.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/graph.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 
 :angers :path :nantes.

diff --git a/lingua/output/mi.trig b/lingua/output/mi.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/mi.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/mi.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
 @prefix var: <http://www.w3.org/2000/10/swap/var#>.

diff --git a/lingua/output/monadic.trig b/lingua/output/monadic.trig
@@ -3046,16 +3046,16 @@ _:gn_3033 lingua:explanation _:gn_3034.
 _:gn_3035 lingua:explanation _:gn_3036.
 
 _:node_1_1 {
-    <https://eyereasoner.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt1.ttl>.
-    <https://eyereasoner.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt2.ttl>.
-    <https://eyereasoner.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt3.ttl>.
-    <https://eyereasoner.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt4.ttl>.
-    <https://eyereasoner.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt5.ttl>.
-    <https://eyereasoner.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt6.ttl>.
-    <https://eyereasoner.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt7.ttl>.
-    <https://eyereasoner.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt8.ttl>.
-    <https://eyereasoner.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt9.ttl>.
-    <https://eyereasoner.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt10.ttl>.
+    <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt1.ttl>.
+    <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt2.ttl>.
+    <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt3.ttl>.
+    <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt4.ttl>.
+    <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt5.ttl>.
+    <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt6.ttl>.
+    <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt7.ttl>.
+    <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt8.ttl>.
+    <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt9.ttl>.
+    <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/monadic.trig> log:imports <https://eyereasoner.github.io/eye/reasoning/bmt/1tt10.ttl>.
 }
 
 _:gn_1 {

diff --git a/lingua/output/patch.trig b/lingua/output/patch.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/patch.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/patch.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 

diff --git a/lingua/output/peano.trig b/lingua/output/peano.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/peano.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/peano.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 
 (:s (:s (:s (:s (:s 0))))) :factorial (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s (:s 0)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))).

diff --git a/lingua/output/pi.trig b/lingua/output/pi.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/pi.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/pi.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix math: <http://www.w3.org/2000/10/swap/math#>.
 

diff --git a/lingua/output/restdesc.trig b/lingua/output/restdesc.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/restdesc.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/restdesc.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix http: <http://www.w3.org/2011/http#>.
 

diff --git a/lingua/output/sha512.trig b/lingua/output/sha512.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/sha512.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/sha512.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix crypto: <http://www.w3.org/2000/10/swap/crypto#>.
 

diff --git a/lingua/output/slide32.trig b/lingua/output/slide32.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/slide32.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/slide32.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 
 :Ghent a :HumanCommunity.

diff --git a/lingua/output/slide33.trig b/lingua/output/slide33.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/slide33.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/slide33.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix owl: <http://www.w3.org/2002/07/owl#>.
 

diff --git a/lingua/output/socrates.trig b/lingua/output/socrates.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/socrates.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/socrates.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
 

diff --git a/lingua/output/syllogism.trig b/lingua/output/syllogism.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/syllogism.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/syllogism.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 
 :test :is true.

diff --git a/lingua/output/turing.trig b/lingua/output/turing.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/turing.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/turing.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix list: <http://www.w3.org/2000/10/swap/list#>.
 

diff --git a/lingua/output/union.trig b/lingua/output/union.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/union.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/union.trig#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.
 @prefix graph: <http://www.w3.org/2000/10/swap/graph#>.
 

diff --git a/lingua/output/universal.trig b/lingua/output/universal.trig
@@ -1,4 +1,4 @@
-@prefix : <https://eyereasoner.github.io/see-lingua/lingua/universal.trig#>.
+@prefix : <https://KNowledgeOnWebScale.github.io/see-lingua/lingua/universal.trig#>.
 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
 @prefix skolem: <http://eyereasoner.github.io/.well-known/genid/8b98b360-9a70-4845-b52c-c675af60ad01#>.
 @prefix lingua: <http://www.w3.org/2000/10/swap/lingua#>.

diff --git a/lingua/test b/lingua/test
@@ -24,7 +24,7 @@ for file in *.trig
 do
     echo -en "$(pad "${file}" -24)"
     start=$(($(date +%s%N)/1000000))
-    see --genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io ../.. https://eyereasoner.github.io/see-lingua/lingua/$file --output output/$file
+    see --genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://KNowledgeOnWebScale.github.io ../.. https://KNowledgeOnWebScale.github.io/see-lingua/lingua/$file --output output/$file
     end=$(($(date +%s%N)/1000000))
     echo -en "${YELLOW}$(pad "`expr $end - $start` msec" 12)${NORMAL} "
     if [[ $(git diff */$file | wc -l) -eq 0 ]]; then

diff --git a/mksee b/mksee
@@ -7,7 +7,7 @@ if [ $# -lt 2 ] ; then
 fi
 
 # change working directory
-pushd ~/github.com/eyereasoner/see-lingua
+pushd ~/github.com/KNowledgeOnWebScale/see-lingua
 
 # the following is adapted from https://gist.github.com/codezninja/c227d9c65b09d2be2d99abbfcfa8774a
 while getopts "Mmp" Option

diff --git a/see.pl b/see.pl
@@ -2,7 +2,7 @@
 % Second Eye of Euler -- Jos De Roo
 % ---------------------------------
 %
-% See https://github.com/eyereasoner/see
+% See https://github.com/KNowledgeOnWebScale/see-lingua
 %
 
 :- use_module(library(lists)).

diff --git a/see.pvm b/see.pvm
diff --git a/test b/test
@@ -1,4 +1,4 @@
 #!/bin/bash
-pushd ~/github.com/eyereasoner/see-lingua/lingua > /dev/null
+pushd ~/github.com/KNowledgeOnWebScale/see-lingua/lingua > /dev/null
 ./test
 popd > /dev/null