Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases

Authors Sebastian Brandt, Diego Calvanese, Elem Güzel Kalaycı, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev



PDF
Thumbnail PDF

File

LIPIcs.TIME.2019.7.pdf
  • Filesize: 1.43 MB
  • 15 pages

Document Identifiers

Author Details

Sebastian Brandt
  • Siemens CT, München, Germany
Diego Calvanese
  • KRDB Research Centre, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy
Elem Güzel Kalaycı
  • KRDB Research Centre, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy
Roman Kontchakov
  • Department of Computer Science and Information Systems, Birkbeck, University of London, UK
Benjamin Mörzinger
  • Technische Universität Wien, Austria
Vladislav Ryzhikov
  • Department of Computer Science and Information Systems, Birkbeck, University of London, UK
Guohui Xiao
  • KRDB Research Centre, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy
Michael Zakharyaschev
  • Department of Computer Science and Information Systems, Birkbeck, University of London, UK
  • Faculty of Computer Science, National Research University Higher School of Economics, Moscow, Russia

Cite AsGet BibTex

Sebastian Brandt, Diego Calvanese, Elem Güzel Kalaycı, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev. Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 7:1-7:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.TIME.2019.7

Abstract

Motivated by two industrial use cases that involve detecting events of interest in (asynchronous) time series from sensors in manufacturing rigs and gas turbines, we design an expressive rule language DslD equipped with interval aggregate functions (such as weighted average over a time interval), Allen’s interval relations and various metric constructs. We demonstrate how to model events in the uses cases in terms of DslD programs. We show that answering DslD queries in our use cases can be reduced to evaluating SQL queries. Our experiments with the use cases, carried out on the Apache Spark system, show that such SQL queries scale well on large real-world datasets.

Subject Classification

ACM Subject Classification
  • Computing methodologies → Ontology engineering
  • Computing methodologies → Temporal reasoning
  • Theory of computation → Modal and temporal logics
Keywords
  • Ontology-based data access
  • temporal logic
  • sensor log data

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. J. F. Allen. Maintaining Knowledge about Temporal Intervals. Commun. ACM, 26(11):832-843, 1983. URL: https://doi.org/10.1145/182.358434.
  2. A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter, and M. Zakharyaschev. First-Order Rewritability of Temporal Ontology-Mediated Queries. In Proc. of the 24th Int. Joint Conf. on Artificial Intelligence, IJCAI 2015, pages 2706-2712. IJCAI/AAAI, 2015. URL: http://ijcai.org/papers15/Abstracts/IJCAI15-383.html.
  3. F. Baader, S. Borgwardt, and M. Lippmann. Temporalizing Ontology-Based Data Access. In Proc. of the 24th Int. Conf. on Automated Deduction, CADE-24, volume 7898 of LNCS, pages 330-344. Springer, 2013. URL: https://doi.org/10.1007/978-3-642-38574-2_23.
  4. F. Baader and U. Sattler. Description logics with aggregates and concrete domains. Inf. Syst., 28(8):979-1004, 2003. URL: https://doi.org/10.1016/S0306-4379(03)00003-6.
  5. S. Borgwardt, M. Lippmann, and V. Thost. Temporal Query Answering in the Description Logic DL-Lite. In Proc. of the 9th Int. Symposium on Frontiers of Combining Systems, FroCoS'13, volume 8152 of LNCS, pages 165-180. Springer, 2013. URL: https://doi.org/10.1007/978-3-642-40885-4_11.
  6. S. Brandt, E. G. Kalaycı, V. Ryzhikov, G. Xiao, and M. Zakharyaschev. Querying Log Data with Metric Temporal Logic. J. Artif. Intell. Res., 62:829-877, 2018. URL: https://doi.org/10.1613/jair.1.11229.
  7. D. Bresolin, A. Kurucz, E. Muñoz-Velasco, V. Ryzhikov, G. Sciavicco, and M. Zakharyaschev. Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Trans. Comput. Log., 18(3):22:1-22:39, 2017. URL: https://doi.org/10.1145/3105909.
  8. D. Calvanese, E. Kharlamov, W. Nutt, and C. Thorne. Aggregate queries over ontologies. In Proc. of the 2nd Int. Workshop on Ontologies and Information Systems for the Semantic Web, ONISW 2008, pages 97-104, 2008. URL: https://doi.org/10.1145/1458484.1458500.
  9. V. Gutiérrez-Basulto, J. C. Jung, and R. Kontchakov. Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. In Proc. of the 25th Int. Joint Conf. on Artificial Intelligence, IJCAI 2016, pages 1102-1108. IJCAI/AAAI, 2016. URL: https://www.ijcai.org/Proceedings/16/Papers/160.pdf.
  10. V. Gutiérrez-Basulto and S. Klarman. Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics. In Proc. of the 6th Int. Conf. on Web Reasoning and Rule Systems, RR 2012, volume 7497 of LNCS, pages 90-105. Springer, 2012. URL: https://doi.org/10.1007/978-3-642-33203-6_8.
  11. M. Hacksteiner, F. Duer, D. Finkeldei, M. Obermair, and F. Bleicher. Monitoring of process power and energy during machining. In Proc. of the 13th Int. Conf. on High Speed Machining, 2016. Google Scholar
  12. J. Halpern and Y. Shoham. A propositional modal logic of time intervals. J. ACM, 38(4):935-962, 1991. URL: https://doi.org/10.1145/115234.115351.
  13. L. Hella, L. Libkin, J. Nurmonen, and L. Wong. Logics with Aggregate Operators. In Proc. of the 14th Annual IEEE Symposium on Logic in Computer Science, LICS 1999, pages 35-44. IEEE Computer Society, 1999. URL: https://doi.org/10.1109/LICS.1999.782583.
  14. R. Hussein, A. Sadek, M. A. Elbestawi, and M. H. Attia. Low-frequency vibration-assisted drilling of hybrid CFRP/Ti6Al4V stacked material. Int. J. Adv. Manuf. Technol., 98:2801-2817, 2018. URL: https://doi.org/10.1007/s00170-018-2410-2.
  15. E. G. Kalaycı, S. Brandt, D. Calvanese, V. Ryzhikov, G. Xiao, and M. Zakharyaschev. Ontology-based Access to Temporal Data With Ontop: a Framework Proposal. Int. J. Appl. Math. Comput. Sci., 29(1):17-30, 2019. URL: https://doi.org/10.2478/amcs-2019-0002.
  16. E. G. Kalaycı, G. Xiao, V. Ryzhikov, T. E. Kalaycı, and D. Calvanese. Ontop-temporal: A Tool for Ontology-based Query Answering over Temporal Data. In Proc. of the 27th ACM Int. Conf. on Information and Knowledge Management, CIKM'18, pages 1927-1930. ACM, 2018. URL: https://doi.org/10.1145/3269206.3269230.
  17. E. Kharlamov, T. Mailis, G. Mehdi, C. Neuenstadt, Ö. L. Özçep, M. Roshchin, N. Solomakhina, A. Soylu, C. Svingos, S. Brandt, M. Giese, Y. E. Ioannidis, S. Lamparter, R. Möller, Y. Kotidis, and A. Waaler. Semantic access to streaming and static data at Siemens. J. Web Semant., 44:54-74, 2017. URL: https://doi.org/10.1016/j.websem.2017.02.001.
  18. E. Kharlamov, G. Mehdi, O. Savkovic, G. Xiao, E. G. Kalaycı, and M. Roshchin. Semantically-enhanced rule-based diagnostics for industrial Internet of Things: The SDRL language and case study for Siemens trains and turbines. J. Web Semant., 56:11-29, 2018. URL: https://doi.org/10.1016/j.websem.2018.10.004.
  19. S. Klarman and T. Meyer. Querying Temporal Databases via OWL 2 QL. In Proc. of the 8th Int. Conf. on Web Reasoning and Rule Systems, RR 2014, volume 8741 of LNCS, pages 92-107. Springer, 2014. URL: https://doi.org/10.1007/978-3-319-11113-1_7.
  20. R. Kontchakov, L. Pandolfo, L. Pulina, V. Ryzhikov, and M. Zakharyaschev. Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. In Proc. of the 25th Int. Joint Conf. on artificial Intelligence, IJCAI-16, pages 1160-1166. IJCAI/AAAI, 2016. URL: https://www.ijcai.org/Proceedings/16/Papers/168.pdf.
  21. E. V. Kostylev and J. L. Reutter. Complexity of answering counting aggregate queries over DL-Lite. J. Web Semant., 33:94-111, 2015. URL: https://doi.org/10.1016/j.websem.2015.05.003.
  22. A. Kusiak. Smart Manufacturing. Int. J. Prod. Res., 56(1-2):508-517, 2017. URL: https://doi.org/10.1080/00207543.2017.1351644.
  23. M. Lenzerini. Managing Data through the Lens of an Ontology. AI Magazine, 39(2):65-74, 2018. URL: https://doi.org/10.1609/aimag.v39i2.2802.
  24. O. Maler and D. Nickovic. Monitoring Temporal Properties of Continuous Signals. In Proc. of Joint Int. Confs. on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, volume 3253 of LNCS, pages 152-166. Springer, 2004. URL: https://doi.org/10.1007/978-3-540-30206-3_12.
  25. Ö. L. Özçep and R. Möller. Ontology Based Data Access on Temporal and Streaming Data. In The 10th Int. Summer School on Reasoning Web, RW 2014, volume 8714 of LNCS, pages 279-312. Springer, 2014. URL: https://doi.org/10.1007/978-3-319-10587-1_7.
  26. A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati. Linking Data to Ontologies. J. Data Semantics, X:133-173, 2008. URL: https://doi.org/10.1007/978-3-540-77688-8_5.
  27. T. A. Runkler. Datenvorverarbeitung. In Data Mining, pages 21-34. Vieweg+Teubner, Wiesbaden, 2010. URL: https://doi.org/10.1007/978-3-8348-9353-6.
  28. A. Shkapsky, M. Yang, and C. Zaniolo. Optimizing recursive queries with monotonic aggregates in DeALS. In Proc. of the 31st IEEE Int. Conf. on Data Engineering, ICDE 2015, pages 867-878. IEEE Computer Society, 2015. URL: https://doi.org/10.1109/ICDE.2015.7113340.
  29. A. Soylu, E. Kharlamov, D. Zheleznyakov, E. Jiménez-Ruiz, M. Giese, M. G. Skjæveland, D. Hovland, R. Schlatte, S. Brandt, H. Lie, and I. Horrocks. OptiqueVQS: A visual query system over ontologies for industry. Semantic Web, 9(5):627-660, 2018. URL: https://doi.org/10.3233/SW-180293.
  30. K. D. Thoben, S. A. Wiesner, and T. Wuest. “Industrie 4.0” and Smart Manufacturing - A Review of Research Issues and Application Examples. Int. J. Autom. Technol., 11:4-16, 2017. URL: https://doi.org/10.20965/ijat.2017.p0004.
  31. J. D. Ullman. Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press, 1988. Google Scholar
  32. G. Xiao, D. Calvanese, R. Kontchakov, D. Lembo, A. Poggi, R. Rosati, and M. Zakharyaschev. Ontology-Based Data Access: A Survey. In Proc. of the 27th Int. Joint Conf. on Artificial Intelligence, IJCAI 2018, pages 5511-5519. ijcai.org, 2018. URL: https://doi.org/10.24963/ijcai.2018/777.
  33. X. Zhou, F. Wang, and C. Zaniolo. Efficient Temporal Coalescing Query Support in Relational Database Systems. In Proc. of the 17th Int. Conf. on Database and Expert Systems Applications, DEXA 2006, volume 4080 of LNCS, pages 676-686. Springer, 2006. URL: https://doi.org/10.1007/11827405_66.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail