Closed pchampin closed 3 years ago
I assume the idea is to parse something and compare it to the abstract syntax. Does this depend on either a normative representation as a DataSet (so it can be represented as e.g.NQuads or RDF 1.1 TrIG) or two RDF-specific languages like Turtle and RDF/XML*?
@ericprud
I assume the idea is to parse something and compare it to the abstract syntax.
The "semantics" test suite is more about entailment, so the idea is to parse a graph, and check if another graph is considered entailed by the former one (under the given entailment regime, which can be "simple", i.e. no specific inference). One way to check that is to run against the first graph a SPARQL ASK query containing the second one. But some implementations may have other, more direct, ways to check entailment.
The current version of the test suite is described at https://w3c.github.io/rdf-star/tests/semantics/manifest.html
https://w3c.github.io/rdf-star/Minutes/2020-11-20.html#ActionSummary