Re: RSP-QL syntax definition

I would be interested in participating if the goal is to specify the
concrete syntax in terms of the abstract syntax

Tara.

On Fri, Jan 26, 2018 at 10:36 AM, Riccardo Tommasini <
riccardo.tommasini@polimi.it> wrote:

> Hi Alasdair,
> Sorry i was swamped in some paper writing.
> Robin is right the the closest thing to a formal syntax, but we can work
> together for a grammar starting from an example in the repo.
>
> RT
>
> On 26 Jan 2018, 16:29 +0100, Robin Keskisärkkä <robin.keskisarkka@liu.se>,
> wrote:
>
> Hi Alasdair!
> To my knowledge there is not formal specification of the concrete syntax.
> The closest thing we've got is probably *Towards a Unified Language for
> RDF Stream Query Processing* by Dell’Aglio et al. (
> http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.
> 697.9645&rep=rep1&type=pdf),
> where they provide an example of the RSP-QL syntax towards the end. The
> syntax is, however, not described fully in that paper.
>
> The second source would still be the sample queries provided in the Git
> repository (https://github.com/streamreasoning/RSP-QL/blob/
> gh-pages/RSP-QL%20Sample%20Queries.md). These contain some errors and do
> not demonstrate all the features discussed in the RSP group meetings (e.g.
> with respect to window definitions). The same queries can also be found in
> a "cleaned" format at https://github.com/keski/
> rsp-spin/tree/master/queries/sample-queries/rspql.
> The query that the initial effort used as a starting point (written by
> Emanuelle if I'm not mistaken) is still quite relevant, but it contains
> several features we haven't discussed further.
>
> Below is my attempt at a query that uses all the features that have been
> discussed for inclusion to my knowledge (not counting the CEP operators
> that have been discussed in some related work):
>
> PREFIX :     <http://example.org#>
> PREFIX debs: <http://debs2015.org/onto#>
> PREFIX prov: <http://www.w3.org/ns/prov#>
>
> REGISTER STREAM :my-stream AS
>
> CONSTRUCT ISTREAM {  # ISTREAM/RSTREAM/DSTREAM (maybe move to REGISTER AS
> ... ?)
>   GRAPH ?g {         # Named graphs in output to support generation of
> streams
>     ?s ?p ?o .
>   }
>   ?g prov:atTime ?time .
> }
> FROM NAMED WINDOW :w1 ON :trips [ITEM 1000 STEP 1000]
> FROM NAMED WINDOW :w2 ON :trips [RANGE PT2H STEP PT1M]
> FROM NAMED WINDOW :w3 ON :trips [FROM NOW-PT3H TO NOW-PT1H STEP PT1M]
> WHERE {
>   WINDOW :w1 {
>     GRAPH ?g { ?s ?p ?o } # Graphs potentially accessible from inside
> windows
>     ?g prov:atTime ?time
>   }
>   WINDOW :w2 { ?g prov:atTime ?time }
>   WINDOW :w3 { ?g prov:atTime ?time }
> }
>
> How would people feel about resuming the work in the RSP group? I would be
> happy to keep working in the direction of defining the query language if
> there is interest in the community.
>
>
> Have a great weekend!
>
> Cheers,
> Robin
>
>
> Best regards,
> Robin Keskisärkkä
> PhD Student
>
> [image: Linköping University]
> *Department*
> 581 83 Linköping
> Mobile: +46 (0)70 49 09 179 <+46%2070%2049%2009%20179>
> Please visit us at www.liu.se
> From: "Gray, Alasdair J G" <A.J.G.Gray@hw.ac.uk>
> Date: Friday, 26 January 2018 at 10:25
> To: "public-rsp@w3.org" <public-rsp@w3.org>
> Subject: Re: RSP-QL syntax definition
> Resent-From: <public-rsp@w3.org>
> Resent-Date: Friday, 26 January 2018 at 10:25
>
> Hi All,
>
> On 23 Jan 2018, at 15:33, Gray, Alasdair J G <A.J.G.Gray@hw.ac.uk> wrote:
>
> Where can I find the definition of the common syntax for RSP-QL?
>
>
> I have found the abstract syntax and semantics document, but what I’m
> looking for is the definition of the concrete syntax for expressing the
> queries.
> http://streamreasoning.github.io/RSP-QL/Abstract%20Syntax%
> 20and%20Semantics%20Document/
>
> Many thanks
>
> Alasdair
>
> Alasdair J G Gray
>
> Fellow of the Higher Education Academy
> Assistant Professor in Computer Science,
> School of Mathematical and Computer Sciences
> (Athena SWAN Bronze Award)
> Heriot-Watt University, Edinburgh UK.
>
> Email: A.J.G.Gray@hw.ac.uk
> Web: http://www.macs.hw.ac.uk/~ajg33
> ORCID: http://orcid.org/0000-0002-5711-4872
> Office: Earl Mountbatten Building 1.39
> Twitter: @gray_alasdair
>
> ------------------------------
>
> *Heriot-Watt University is The Times & The Sunday Times International
> University of the Year 2018*
>
> Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With
> campuses and students across the entire globe we span the world, delivering
> innovation and educational excellence in business, engineering, design and
> the physical, social and life sciences.
>
> This email is generated from the Heriot-Watt University Group, which
> includes:
>
>    1. Heriot-Watt University, a Scottish charity registered under number
>    SC000278
>    2. Edinburgh Business School a Charity Registered in Scotland,
>    SC026900. Edinburgh Business School is a company limited by guarantee,
>    registered in Scotland with registered number SC173556 and registered
>    office at Heriot-Watt University Finance Office, Riccarton, Currie,
>    Midlothian, EH14 4AS
>    3. Heriot- Watt Services Limited (Oriam), Scotland's national
>    performance centre for sport. Heriot-Watt Services Limited is a private
>    limited company registered is Scotland with registered number SC271030 and
>    registered office at Research & Enterprise Services Heriot-Watt University,
>    Riccarton, Edinburgh, EH14 4AS.
>
> The contents (including any attachments) are confidential. If you are not
> the intended recipient of this e-mail, any disclosure, copying,
> distribution or use of its contents is strictly prohibited, and you should
> please notify the sender immediately and then delete it (including any
> attachments) from your system.
>
>