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))
         End
===>
// 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)
           End

and modify service evaluation:

eval   Service(X, P, G, SilentOp)

:=

    eval(G)
    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.

	Andy
Received on Friday, 14 October 2011 19:22:44 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:46 GMT