Re: RSP-QL syntax definition

It would definitely be good to wrap the work of the group up in an agreed syntax for the language extensions.

It is likely that I'll have to draw something up in the next week or two so that my students have something to implement.

The goal is to have a working stream processing engine by the end of March.

Alasdair

www.macs.hw.ac.uk/~ajg33

On 26 Jan 2018 4:26 p.m., Tara Athan <taraathan@gmail.com> wrote:
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<mailto: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<mailto: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

[Linköping University]
Department
581 83 Linköping
Mobile: +46 (0)70 49 09 179<tel:+46%2070%2049%2009%20179>
Please visit us at www.liu.se<http://www.liu.se/>
From: "Gray, Alasdair J G" <A.J.G.Gray@hw.ac.uk<mailto:A.J.G.Gray@hw.ac.uk>>
Date: Friday, 26 January 2018 at 10:25
To: "public-rsp@w3.org<mailto:public-rsp@w3.org>" <public-rsp@w3.org<mailto:public-rsp@w3.org>>
Subject: Re: RSP-QL syntax definition
Resent-From: <public-rsp@w3.org<mailto: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<mailto: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<mailto: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.