w3c / rdf-tests

Repository for the RDF Tests Community Group
w3c.github.io/rdf-tests
Other
45 stars 23 forks source link

SPARQL 1.1 Federation test service5 should be retracted #138

Open kasei opened 4 months ago

kasei commented 4 months ago

SPARQL 1.1 SERVICE test 5 is marked as Approved in the test manifest with a link to the working group's minutes from 2012-01-31.

However, this test uses the SERVICE ?var form (where the endpoint to be federated is determined from the value of a variable binding:

SELECT ?service ?title
WHERE {
  {
    # Find the service with subject "remote".
    # Inner block to fix the FILTER not be over
    # just this local pattern.
    ?p dc:subject ?projectSubject ;
       void:sparqlEndpoint ?service  
       FILTER regex(?projectSubject, "remote")
  }

  # Query that service projects.

  SERVICE ?service {
     ?project  doap:name ?title . } 
}

This part of the SPARQL 1.1 Federation spec (SERVICE Variables) is not normative. The document section is marked "Informative," and includes this text:

In the this section we do not present official evaluation semantics for the SPARQL pattern SERVICE VAR.

It seems likely that this test was mistakenly approved (the WG minutes indicate that the approval was determined for all then-unapproved federation tests by a single vote). Since this test requires features beyond the normative parts of the SPARQL 1.1 Federation spec, I think it should probably be un-approved/retracted (or at the very least marked with extra annotation in the manifest indicating that its evaluation requires extensions beyond the spec). Such retraction/modification probably needs approval by the current WG; I'd assume the CG does not have the authority to change a previously-approved test.

rubensworks commented 4 months ago

+1 on un-approving, but keeping the test part of the manifest.

lisp commented 4 months ago

would it not be better to retain the approved status but make it dependent on a profile?
it does reflect the formulation which is present in a recommendation. in that sense it does clarify expectations.

afs commented 4 months ago

Good investigation of the minutes!

Remove the approval and remove it from the list of tests at the start. Leave in the manifest with comments.

Rationale: the manifest should be runnable for a compliant system with as little burden as possible. The more effort to disentangle the tests, the less takeup there will be. I think it is better to make the default required-only; having something included that isn't spec and would need investigation by the test user is a burden.

Alt: a separate manifest-extra of "extras" which isn't linked into the grouping-level manifests.

afs commented 4 months ago

I'd assume the CG does not have the authority to change a previously-approved test.

This could be dealt with as an errata. The current WG can then execute on that.