W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > October to December 2011

SERVICE ?var [was: Re: test case changes]

From: Andy Seaborne <andy.seaborne@epimorphics.com>
Date: Fri, 14 Oct 2011 20:22:11 +0100
Message-ID: <4E988BE3.6060408@epimorphics.com>
To: public-rdf-dawg@w3.org

>> 2.
>> I'd like to remove test service/manifest#service5 from the manifest
>> list as it tests the "SERVICE ?var" form that I believe we've
>> resolved not to specify. An alternative would be to mark this test
>> with an mf:requires and mint a new IRI to represent the
>> variable-endpoint extension.
> The proposal to make (service) a binary operator would address the key
> issue.

The algebra translation change would be: (draftily, not spec ready:)

     If E is of the form SERVICE [SILENT] IRI {P}
         Let G := Join(G, Service(IRI, Transform(P), SilentOp))
// Not a Join ... do within Service(...)

     If E is of the form SERVICE [SILENT] X {P}
       for X a variable or IRI:
           G := Service(X, P, G, SilentOp)

and modify service evaluation:

eval   Service(X, P, G, SilentOp)


    then take the results to find the variable for service
    for each solution:
      make service call using the binding of the variable
        Invocation(IRI, P, SilentOp)
      (aside could mandate adding BINDINGS)

This is making it explicitly a loop of service calls based on teh 
syntactically earlier elements of the group graph pattern.

Received on Friday, 14 October 2011 19:22:44 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:01:05 UTC