refreshing

eyereasoner · Nov 4, 2024 · fd23f84 · fd23f84
1 parent ba54375
commit fd23f84
Show file tree

Hide file tree

Showing 5 changed files with 12,104 additions and 1,611 deletions.
diff --git a/reasoning/rdf12/README b/reasoning/rdf12/README
@@ -1,8 +1,8 @@
-----------
-Turtle-dev
-----------
+-------------
+RDF 1.2 tests
+-------------
 
-See https://www.w3.org/TR/turtle/
+See https://w3c.github.io/rdf-tests/rdf/rdf12/
 
 Prepare the results via
 ./prepare
diff --git a/reasoning/rdf12/prepare b/reasoning/rdf12/prepare
@@ -2,10 +2,15 @@
 eye --quiet --nope \
     https://w3c.github.io/rdf-tests/rdf/rdf12/rdf-n-triples/syntax/manifest.ttl \
     https://w3c.github.io/rdf-tests/rdf/rdf11/rdf-n-triples/manifest.ttl \
+    https://w3c.github.io/rdf-tests/rdf/rdf12/rdf-n-quads/syntax/manifest.ttl \
+    https://w3c.github.io/rdf-tests/rdf/rdf11/rdf-n-quads/manifest.ttl \
     https://w3c.github.io/rdf-tests/rdf/rdf12/rdf-semantics/manifest.ttl \
     https://w3c.github.io/rdf-tests/rdf/rdf12/rdf-turtle/eval/manifest.ttl \
     https://w3c.github.io/rdf-tests/rdf/rdf12/rdf-turtle/syntax/manifest.ttl \
     https://w3c.github.io/rdf-tests/rdf/rdf11/rdf-turtle/manifest.ttl \
+    https://w3c.github.io/rdf-tests/rdf/rdf12/rdf-trig/eval/manifest.ttl \
+    https://w3c.github.io/rdf-tests/rdf/rdf12/rdf-trig/syntax/manifest.ttl \
+    https://w3c.github.io/rdf-tests/rdf/rdf11/rdf-trig/manifest.ttl \
     --query run-manifest.n3 --output run-outcome.n3
 
 echo "# ============" | tee -a run-outcome.n3

diff --git a/reasoning/rdf12/run-manifest.n3 b/reasoning/rdf12/run-manifest.n3
@@ -50,8 +50,9 @@
             dc:date ?DATE ];
         earl:mode earl:automatic ] .
 } <= {
-    ?TEST a rdft:TestTurtlePositiveSyntax;
-        mf:action ?ACTION.
+    ?TEST a ?TPS.
+    (rdft:TestNTriplesPositiveSyntax rdft:TestNQuadsPositiveSyntax rdft:TestTurtlePositiveSyntax rdft:TestTrigPositiveSyntax) list:member ?TPS.
+    ?TEST mf:action ?ACTION.
     ?ACTION log:uri ?ACT.
     ("eye --quiet --nope " ?ACT " 2>&1 | grep ERROR | wc -l > out.txt") string:concatenation ?CMD.
     ?CMD e:exec 0.
@@ -71,8 +72,9 @@
             dc:date ?DATE ];
         earl:mode earl:automatic ] .
 } <= {
-    ?TEST a rdft:TestTurtleNegativeSyntax;
-        mf:action ?ACTION.
+    ?TEST a ?TNS.
+    (rdft:TestNTriplesNegativeSyntax rdft:TestNQuadsNegativeSyntax rdft:TestTurtleNegativeSyntax rdft:TestTrigNegativeSyntax) list:member ?TNS.
+    ?TEST mf:action ?ACTION.
     ?ACTION log:uri ?ACT.
     ("eye --quiet --nope " ?ACT " 2>&1 | grep ERROR | wc -l > out.txt") string:concatenation ?CMD.
     ?CMD e:exec 0.
@@ -92,9 +94,10 @@
             dc:date ?DATE ];
         earl:mode earl:automatic ] .
 } <= {
-    ?TEST a rdft:TestTurtleEval;
-        mf:action ?ACTION;
-        mf:result ?RESULT.
+    ?TEST a ?TE.
+    (rdft:TestTurtleEval rdft:TestTrigEval) list:member ?TE.
+    ?TEST mf:action ?ACTION.
+    ?TEST mf:result ?RESULT.
     ?ACTION log:uri ?ACT.
     ?RESULT log:uri ?RES.
     ("eye --quiet --nope " ?ACT " --entail " ?RES " 2>/dev/null | grep 'true.' | wc -l > out.txt") string:concatenation ?CMD.
@@ -115,9 +118,10 @@
             dc:date ?DATE ];
         earl:mode earl:automatic ] .
 } <= {
-    ?TEST a rdft:TestTurtleNegativeEval;
-        mf:action ?ACTION;
-        mf:result ?RESULT.
+    ?TEST a ?TNE.
+    (rdft:TestTurtleNegativeEval rdft:TestTrigNegativeEval) list:member ?TNE.
+    ?TEST mf:action ?ACTION.
+    ?TEST mf:result ?RESULT.
     ?ACTION log:uri ?ACT.
     ?RESULT log:uri ?RES.
     ("eye --quiet --nope " ?ACT " --entail " ?RES " 2>/dev/null | grep 'true.' | wc -l > out.txt") string:concatenation ?CMD.