Skip to main content
SpringerLink
Log in

The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities

  • Conference paper
  • First Online:
Rules and Reasoning (RuleML+RR 2022)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13752))

Included in the following conference series:

  • 294 Accesses

Abstract

I-DLV-sr is a recently proposed logic-based system for reasoning over data streams, which relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the ASP system \(\mathcal {I}^2\)-DLV. Flink enables distributed stream processing, whereas \(\mathcal {I}^2\)-DLV acts as full-fledged reasoner capable of transparently performing incremental evaluations. In this paper, we present a new and optimized version of I-DLV-sr that features an improved management of parallel computations and communications between Flink and \(\mathcal {I}^2\)-DLV, along with new linguistic extensions aiming at allowing its effective application in smart city scenarios.

This work has been partially supported by the Italian MIUR Ministry and the Presidency of the Council of Ministers under the project “Declarative Reasoning over Streams” under the “PRIN” 2017 call (CUP H24I17000080001, project 2017M9C25L_001) and under Italian Ministry of Economic Development (MISE) under the PON project “MAP4ID - Multipurpose Analytics Platform 4 Industrial Data”, N. F/190138/01-03/X44.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    https://nightlies.apache.org/flink/flink-docs-stable/docs/dev/datastream/event-time/generating_watermarks.

  2. 2.

    http://iot.ee.surrey.ac.uk:8080/datasets.html.

  3. 3.

    The use of the external atom to compute the division is needed as floating points numbers are not supported yet, and native division among integers would only produce truncated integer results.

  4. 4.

    In the original papers [1, 17] the minimum arriving frequency of input events for both benchmarks was set to 5 min; we purposely experimented with a higher frequency to test the system in more challenging conditions.

References

  1. Ali, M.I., Gao, F., Mileo, A.: CityBench: a configurable benchmark to evaluate RSP engines using smart city datasets. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 374–389. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25010-6_25

    Chapter  Google Scholar 

  2. Barbieri, D.F., Braga, D., Ceri, S., Valle, E.D., Grossniklaus, M.: C-SPARQL: a continuous query language for RDF data streams. Int. J. Semantic Comput. 4(1), 3–25 (2010)

    Article  MATH  Google Scholar 

  3. Bazoobandi, H.R., Beck, H., Urbani, J.: Expressive stream reasoning with laser. In: d’Amato, C., et al. (eds.) ISWC 2017. LNCS, vol. 10587, pp. 87–103. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-68288-4_6

    Chapter  Google Scholar 

  4. Beck, H., Dao-Tran, M., Eiter, T.: Answer update for rule-based stream reasoning. In: IJCAI, pp. 2741–2747. AAAI Press (2015)

    Google Scholar 

  5. Beck, H., Dao-Tran, M., Eiter, T.: LARS: a logic-based framework for analytic reasoning over streams. Artif. Intell. 261, 16–70 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  6. Beck, H., Dao-Tran, M., Eiter, T., Folie, C.: Stream reasoning with LARS. Künstliche Intell. 32(2–3), 193–195 (2018)

    Article  Google Scholar 

  7. Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)

    Article  Google Scholar 

  8. Calimeri, F., Fuscà, D., Perri, S., Zangari, J.: External computations and interoperability in the new DLV grounder. In: Esposito, F., Basili, R., Ferilli, S., Lisi, F. (eds.) AI*IA 2017, vol. 10640, pp. 172–185. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-70169-1_13

    Chapter  Google Scholar 

  9. Calimeri, F., Ianni, G., Pacenza, F., Perri, S., Zangari, J.: Incremental answer set programming with overgrounding. TPLP 19(5–6), 957–973 (2019)

    MathSciNet  MATH  Google Scholar 

  10. Calimeri, F., Manna, M., Mastria, E., Morelli, M.C., Perri, S., Zangari, J.: I-DLV-sr: a stream reasoning system based on I-DLV. TPLP 21(5), 610–628 (2021)

    MathSciNet  MATH  Google Scholar 

  11. Carbone, P., Katsifodimos, A., Ewen, S., Markl, V., Haridi, S., Tzoumas, K.: Apache flink™: stream and batch processing in a single engine. IEEE Data Eng. Bull. 38(4), 28–38 (2015)

    Google Scholar 

  12. D’Aniello, G., Gaeta, M., Orciuoli, F.: An approach based on semantic stream reasoning to support decision processes in smart cities. Telemat. Inform. 35(1), 68–81 (2018)

    Article  Google Scholar 

  13. Dell’Aglio, D., Valle, E.D., van Harmelen, F., Bernstein, A.: Stream reasoning: a survey and outlook. Data Sci. 1(1–2), 59–83 (2017)

    Article  Google Scholar 

  14. Do, T.M., Loke, S.W., Liu, F.: Answer set programming for stream reasoning. In: Butz, C., Lingras, P. (eds.) AI 2011. LNCS (LNAI), vol. 6657, pp. 104–109. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21043-3_13

    Chapter  Google Scholar 

  15. Dustdar, S., Nastic, S., Scekic, O.: Smart Cities - The Internet of Things, People and Systems. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-60030-7

    Book  Google Scholar 

  16. Eiter, T., Ogris, P., Schekotihin, K.: A distributed approach to LARS stream reasoning (system paper). TPLP 19(5–6), 974–989 (2019)

    MathSciNet  MATH  Google Scholar 

  17. Ferreira, J., Lavado, D., Gonçalves, R., Knorr, M., Krippahl, L., Leite, J.: Faster than LASER - towards stream reasoning with deep neural networks. In: Marreiros, G., Melo, F.S., Lau, N., Lopes Cardoso, H., Reis, L.P. (eds.) EPIA 2021. LNCS (LNAI), vol. 12981, pp. 363–375. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-86230-5_29

    Chapter  Google Scholar 

  18. Gebser, M., Grote, T., Kaminski, R., Schaub, T.: Reactive answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 54–66. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-20895-9_7

    Chapter  MATH  Google Scholar 

  19. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Multi-shot ASP solving with clingo. TPLP 19(1), 27–82 (2019)

    MathSciNet  MATH  Google Scholar 

  20. Gebser, M., Leone, N., Maratea, M., Perri, S., Ricca, F., Schaub, T.: Evaluation techniques and systems for answer set programming: a survey. In: IJCAI, pp. 5450–5456. ijcai.org (2018)

    Google Scholar 

  21. Hall, R.E., Bowerman, B., Braverman, J., Taylor, J., Todosow, H., Von Wimmersperg, U.: The vision of a smart city. Technical report, Brookhaven National Laboratory (BNL), Upton, NY (United States) (2000)

    Google Scholar 

  22. Hoeksema, J., Kotoulas, S.: High-performance distributed stream reasoning using S4. In: Ordring Workshop at ISWC (2011)

    Google Scholar 

  23. Hollands, R.G.: Will the real smart city please stand up? City 12(3), 303–320 (2008)

    Article  Google Scholar 

  24. Ianni, G., Pacenza, F., Zangari, J.: Incremental maintenance of overgrounded logic programs with tailored simplifications. TPLP 20(5), 719–734 (2020)

    MathSciNet  MATH  Google Scholar 

  25. Mileo, A., Abdelrahman, A., Policarpio, S., Hauswirth, M.: StreamRule: a nonmonotonic stream reasoning system for the semantic web. In: Faber, W., Lembo, D. (eds.) RR 2013. LNCS, vol. 7994, pp. 247–252. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-39666-3_23

    Chapter  Google Scholar 

  26. Pham, T., Ali, M.I., Mileo, A.: C-ASP: continuous asp-based reasoning over RDF streams. In: Balduccini, M., Lierler, Y., Woltran, S. (eds.) LPNMR 2019. LNCS, vol. 11481, pp. 45–50. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-20528-7_4

    Chapter  Google Scholar 

  27. Le-Phuoc, D., Dao-Tran, M., Xavier Parreira, J., Hauswirth, M.: A native and adaptive approach for unified processing of linked streams and linked data. In: Aroyo, L., et al. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 370–388. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25073-6_24

    Chapter  Google Scholar 

  28. Ren, X., Curé, O., Naacke, H., Xiao, G.: BigSR: real-time expressive RDF stream reasoning on modern big data platforms. In: IEEE BigData, pp. 811–820. IEEE (2018)

    Google Scholar 

  29. Schneider, P., Alvarez-Coello, D., Le-Tuan, A., Duc, M.N., Phuoc, D.L.: Stream reasoning playground. In: Groth, P., et al. (eds.) ESWC 2022. LNCS, vol. 13261, pp. 406–424. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-06981-9_24

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, University of Calabria, Rende, Italy

    Francesco Calimeri, Elena Mastria, Simona Perri & Jessica Zangari

  2. DLVSystem Srl, Rende, Italy

    Francesco Calimeri

Authors
  1. Francesco Calimeri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Elena Mastria
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Simona Perri
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jessica Zangari
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Elena Mastria .

Editor information

Editors and Affiliations

  1. Singapore Management University, Singapore, Singapore

    Guido Governatori

  2. Dresden University of Technology, Dresden, Germany

    Anni-Yasmin Turhan

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Calimeri, F., Mastria, E., Perri, S., Zangari, J. (2022). The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities. In: Governatori, G., Turhan, AY. (eds) Rules and Reasoning. RuleML+RR 2022. Lecture Notes in Computer Science, vol 13752. Springer, Cham. https://doi.org/10.1007/978-3-031-21541-4_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-21541-4_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-21540-7

  • Online ISBN: 978-3-031-21541-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation