running reasoning/lingua/lingua.n3

eyereasoner · Sep 22, 2024 · 3875c4c · 3875c4c
1 parent a9a46e9
commit 3875c4c
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/reasoning/lingua/age-answer.n3 → reasoning/lingua/age-answer.ttl b/reasoning/lingua/age-answer.n3 → reasoning/lingua/age-answer.ttl
diff --git a/reasoning/lingua/socrates-answer.n3 → reasoning/lingua/socrates-answer.ttl b/reasoning/lingua/socrates-answer.n3 → reasoning/lingua/socrates-answer.ttl
diff --git a/reasoning/lingua/test b/reasoning/lingua/test
@@ -1,3 +1,3 @@
 #!/bin/bash
-eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope --trig https://eyereasoner.github.io/eye/reasoning/lingua/socrates.trig https://eyereasoner.github.io/eye/reasoning/lingua/lingua.n3 --output socrates-answer.n3
-eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope --trig https://eyereasoner.github.io/eye/reasoning/lingua/age.trig https://eyereasoner.github.io/eye/reasoning/lingua/lingua.n3 --output age-answer.n3
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope --trig https://eyereasoner.github.io/eye/reasoning/lingua/socrates.trig https://eyereasoner.github.io/eye/reasoning/lingua/lingua.n3 --output socrates-answer.ttl
+eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope --trig https://eyereasoner.github.io/eye/reasoning/lingua/age.trig https://eyereasoner.github.io/eye/reasoning/lingua/lingua.n3 --output age-answer.ttl