Towards Practical OBDA with Temporal Ontologies - (Position Paper)

The temporal dimension of data, which contains such important information as duration or sequence of events and is present in many applications of ontology-based data access (OBDA) concerned with logs or streams, is getting growing attention in the community. To give a proper treatment to the events occurring in the data from the ontological perspective, we assume in our approach that every concept is temporalized, i.e., has temporal validity time, and the ontology language expresses the constraints between validity times of concepts. In this paper we outline the state of art and the future challenges of our research. On the theoretical side, we are interested in enriching the ontology languages with the operators for constructing the temporal concepts that are expressive enough to capture the patterns required by industrial use-cases. On the practical side, we are interested in implementing the ontology-mediated query answering with temporalized concepts in the OBDA system Ontop and performing extensive evaluations using large amounts of real-world data.

[1]  Thomas Andreas Meyer,et al.  Querying Temporal Databases via OWL 2 QL , 2014, RR.

[2]  Alessandro Artale,et al.  Tractable Interval Temporal Propositional and Description Logics , 2015, AAAI.

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

[4]  Luca Pulina,et al.  Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic , 2016, IJCAI.

[5]  Ron Koymans,et al.  Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.

[6]  Jean Christoph Jung,et al.  Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries , 2016, IJCAI.

[7]  Christian S. Jensen,et al.  Join operations in temporal databases , 2005, The VLDB Journal.

[8]  Peter Haase,et al.  Optique: Zooming in on Big Data , 2015, Computer.

[9]  Ernesto Jiménez-Ruiz,et al.  Optique – Zooming In on Big Data Access , 2014 .

[10]  Diego Calvanese,et al.  Linking Data to Ontologies , 2008, J. Data Semant..

[11]  Ralf Möller,et al.  A Stream-Temporal Query Language for Ontology Based Data Access , 2014, Description Logics.

[12]  KoymansRon.  Specifying real-time properties with metric temporal logic , 1990 .

[13]  Evgeny Kharlamov,et al.  How Semantic Technologies Can Enhance Data Access at Siemens Energy , 2014, SEMWEB.

[14]  Szymon Klarman,et al.  Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics , 2012, RR.

[15]  Stefan Borgwardt,et al.  Temporalizing rewritable query languages over knowledge bases , 2015, J. Web Semant..

[16]  Frank Wolter,et al.  First-Order Rewritability of Temporal Ontology-Mediated Queries , 2015, IJCAI.

[17]  Alessandro Artale,et al.  A Cookbook for Temporal Conceptual Data Modelling with Description Logics , 2012, TOCL.

[18]  Carsten Lutz,et al.  Temporal Description Logics: A Survey , 2008, 2008 15th International Symposium on Temporal Representation and Reasoning.

[19]  Franz Baader,et al.  Temporalizing Ontology-Based Data Access , 2013, CADE.

[20]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[21]  Richard T. Snodgrass,et al.  Coalescing in Temporal Databases , 1996, VLDB.