diff --git a/INSTALL b/INSTALL index 1c53151..b99b1b3 100644 --- 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 index f51e7c9..fabb10a 100644 --- 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 * * diff --git a/lingua/edt.trig b/lingua/edt.trig index e7a3988..e5bbd3e 100644 --- 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 . + <> log:imports . } _:ng2 lingua:hornb _:ng3. diff --git a/lingua/monadic.trig b/lingua/monadic.trig index d8dd4fb..83c09ee 100644 --- 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 . + <> log:imports . + <> log:imports . + <> log:imports . + <> log:imports . + <> log:imports . + <> log:imports . + <> log:imports . + <> log:imports . + <> log:imports . } #query diff --git a/lingua/output/ackermann.trig b/lingua/output/ackermann.trig index 6aef4a7..f93f6b6 100644 --- a/lingua/output/ackermann.trig +++ b/lingua/output/ackermann.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix log: . @prefix math: . diff --git a/lingua/output/acp.trig b/lingua/output/acp.trig index 79da4ee..f59b64a 100644 --- a/lingua/output/acp.trig +++ b/lingua/output/acp.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix log: . @prefix 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 (() 1). + (_:gn_9 _:gn_10) log:forAllIn (() 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 (() 1). + (var:x_0 _:gn_11 (:C)) log:collectAllIn (() 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 (() 1). + (var:x_0 _:gn_12 ()) log:collectAllIn (() 1). () list:length 0 . (0) log:equalTo (0). } diff --git a/lingua/output/backward.trig b/lingua/output/backward.trig index 31a29b1..6d29112 100644 --- a/lingua/output/backward.trig +++ b/lingua/output/backward.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix math: . diff --git a/lingua/output/beetle.trig b/lingua/output/beetle.trig index 65d6b49..9258ad3 100644 --- a/lingua/output/beetle.trig +++ b/lingua/output/beetle.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . :beetle :is :beautiful. diff --git a/lingua/output/beetle6.trig b/lingua/output/beetle6.trig index aa006de..230b992 100644 --- a/lingua/output/beetle6.trig +++ b/lingua/output/beetle6.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . :beetle :is :nice. diff --git a/lingua/output/blogic.trig b/lingua/output/blogic.trig index 800190e..d4b5c5f 100644 --- a/lingua/output/blogic.trig +++ b/lingua/output/blogic.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix rdfs: . diff --git a/lingua/output/derived.trig b/lingua/output/derived.trig index 53db578..496858f 100644 --- a/lingua/output/derived.trig +++ b/lingua/output/derived.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix var: . diff --git a/lingua/output/easter.trig b/lingua/output/easter.trig index a618f10..478b1cc 100644 --- a/lingua/output/easter.trig +++ b/lingua/output/easter.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix math: . @prefix log: . diff --git a/lingua/output/edt.trig b/lingua/output/edt.trig index 5ab0fbe..8c47eab 100644 --- 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 { - log:imports . - log:imports . + log:imports . + log:imports . } _:gn_1 { diff --git a/lingua/output/fibonacci.trig b/lingua/output/fibonacci.trig index 30cae1e..345a859 100644 --- a/lingua/output/fibonacci.trig +++ b/lingua/output/fibonacci.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix math: . diff --git a/lingua/output/filter.trig b/lingua/output/filter.trig index c18742e..adcacfc 100644 --- a/lingua/output/filter.trig +++ b/lingua/output/filter.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix log: . @prefix 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 (() 1). + (_:sk_0 _:gn_3 ("Huey" "Dewey")) log:collectAllIn (() 1). ("Huey" "Dewey") list:length 2. } diff --git a/lingua/output/gps.trig b/lingua/output/gps.trig index 17a7b2e..991d41d 100644 --- a/lingua/output/gps.trig +++ b/lingua/output/gps.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix gps: . @prefix lingua: . @prefix list: . diff --git a/lingua/output/graph.trig b/lingua/output/graph.trig index 8c5070a..fa3bdab 100644 --- a/lingua/output/graph.trig +++ b/lingua/output/graph.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . :angers :path :nantes. diff --git a/lingua/output/mi.trig b/lingua/output/mi.trig index 2f4581a..5462dd2 100644 --- a/lingua/output/mi.trig +++ b/lingua/output/mi.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix list: . @prefix var: . diff --git a/lingua/output/monadic.trig b/lingua/output/monadic.trig index 6a66e24..5eea5ce 100644 --- 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 { - log:imports . - log:imports . - log:imports . - log:imports . - log:imports . - log:imports . - log:imports . - log:imports . - log:imports . - log:imports . + log:imports . + log:imports . + log:imports . + log:imports . + log:imports . + log:imports . + log:imports . + log:imports . + log:imports . + log:imports . } _:gn_1 { diff --git a/lingua/output/patch.trig b/lingua/output/patch.trig index eb0272b..58df839 100644 --- a/lingua/output/patch.trig +++ b/lingua/output/patch.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix log: . diff --git a/lingua/output/peano.trig b/lingua/output/peano.trig index e52ca47..638d0ce 100644 --- a/lingua/output/peano.trig +++ b/lingua/output/peano.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix 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 index 03c08f1..159f42a 100644 --- a/lingua/output/pi.trig +++ b/lingua/output/pi.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix math: . diff --git a/lingua/output/restdesc.trig b/lingua/output/restdesc.trig index 256864d..01db94a 100644 --- a/lingua/output/restdesc.trig +++ b/lingua/output/restdesc.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix http: . diff --git a/lingua/output/sha512.trig b/lingua/output/sha512.trig index 4f432c7..e8a6a24 100644 --- a/lingua/output/sha512.trig +++ b/lingua/output/sha512.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix crypto: . diff --git a/lingua/output/slide32.trig b/lingua/output/slide32.trig index 4c8efff..88df167 100644 --- a/lingua/output/slide32.trig +++ b/lingua/output/slide32.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . :Ghent a :HumanCommunity. diff --git a/lingua/output/slide33.trig b/lingua/output/slide33.trig index 9708dba..5971b4c 100644 --- a/lingua/output/slide33.trig +++ b/lingua/output/slide33.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix owl: . diff --git a/lingua/output/socrates.trig b/lingua/output/socrates.trig index 8dd5e4e..6c833f4 100644 --- a/lingua/output/socrates.trig +++ b/lingua/output/socrates.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix rdfs: . diff --git a/lingua/output/syllogism.trig b/lingua/output/syllogism.trig index 6cbb0f6..8ed3c88 100644 --- a/lingua/output/syllogism.trig +++ b/lingua/output/syllogism.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . :test :is true. diff --git a/lingua/output/turing.trig b/lingua/output/turing.trig index 39047f6..ad832d8 100644 --- a/lingua/output/turing.trig +++ b/lingua/output/turing.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix list: . diff --git a/lingua/output/union.trig b/lingua/output/union.trig index 5fc6fef..76d2eb8 100644 --- a/lingua/output/union.trig +++ b/lingua/output/union.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix lingua: . @prefix graph: . diff --git a/lingua/output/universal.trig b/lingua/output/universal.trig index 8436491..fe43499 100644 --- a/lingua/output/universal.trig +++ b/lingua/output/universal.trig @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix rdfs: . @prefix skolem: . @prefix lingua: . diff --git a/lingua/test b/lingua/test index 8d85892..527107e 100755 --- 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 index 4816aa7..a7ff9c7 100755 --- 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 index fc1f0e7..13eb42f 100644 --- 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 index b2ac4ff..1b42508 100755 Binary files a/see.pvm and b/see.pvm differ diff --git a/test b/test index 7fee187..dd744ae 100755 --- 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