A Stream-Temporal Query Language for Ontology Based Data Access

The paper contributes to the recent efforts on temporalizing and streamifiying ontology based data access (OBDA) by discussing aspects of rewritability, i.e., compilability of the TBox into ontology-level queries, and unfoldability, i.e., transformability of ontology-level queries to queries on datasource level, for the new query-language framework STARQL. The distinguishing feature of STARQL is its general stream windowing and ABox sequencing strategy which allows it to plugin well-known query languages such as unions of conjunctive queries (UCQs) in combination with TBox languages such as DL-Lite and do temporal reasoning with a sorted first-order logic on top of them. The paper discusses safety aspects under which STARQL queries that embed UCQs over DL-Lite ontologies can be rewritten and unfolded to back-end relational stream query languages such as CQL. With these results, the adoption of description logic technology in industrially relevant application areas such as industrial monitoring is crucially fostered.

[1]  llsoo Ahn,et al.  Temporal Databases , 1986, Computer.

[2]  Danh Le Phuoc,et al.  A Native and Adaptive Approach for Unified Processing of Linked Streams and Linked Data , 2011, SEMWEB.

[3]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[4]  Stefan Borgwardt,et al.  Temporal Query Answering in the Description Logic DL-Lite , 2013, FroCos.

[5]  Sebastian Rudolph,et al.  Stream reasoning and complex event processing in ETALIS , 2012, Semantic Web.

[6]  JÜRGEN KRÄMER,et al.  Semantics and implementation of continuous sliding window queries over data streams , 2009, TODS.

[7]  Frederick Reiss,et al.  TelegraphCQ: continuous dataflow processing , 2003, SIGMOD '03.

[8]  Diego Calvanese,et al.  Ontologies and Databases: The DL-Lite Approach , 2009, Reasoning Web.

[9]  Frank Wolter,et al.  Temporal Description Logic for Ontology-Based Data Access , 2013, IJCAI.

[10]  Jennifer Widom,et al.  The CQL continuous query language: semantic foundations and query execution , 2006, The VLDB Journal.

[11]  Alasdair J. G. Gray,et al.  Enabling Ontology-Based Access to Streaming Data Sources , 2010, SEMWEB.

[12]  Alessandro Campi,et al.  A First Step Towards Stream Reasoning , 2009, FIS.

[13]  Frederick Reiss,et al.  TelegraphCQ: Continuous Dataflow Processing for an Uncertain World , 2003, CIDR.

[14]  Alessandro Margara,et al.  TESLA: a formally defined event specification language , 2010, DEBS '10.

[15]  Nick Koudas,et al.  The design of a query monitoring system , 2009, TODS.

[16]  Karl Aberer,et al.  Enabling Query Technologies for the Semantic Sensor Web , 2012, Int. J. Semantic Web Inf. Syst..

[17]  Jennifer Widom,et al.  Towards a streaming SQL standard , 2008, Proc. VLDB Endow..

[18]  Jan Chomicki,et al.  Temporal Databases , 2005, Handbook of Temporal Reasoning in Artificial Intelligence.

[19]  Ying Xing,et al.  A Cooperative, Self-Configuring High-Availability Solution for Stream Processing , 2007, 2007 IEEE 23rd International Conference on Data Engineering.

[20]  Project Acronym : Optique Project Title : Scalable End-user Access to Big Data Instrument : Integrated Project Scheme : Information & Communication Technologies Deliverable D 5 . 1 A Semantics for Temporal and Stream-Based Query Answering in an OBDA Context , 2013 .