Skip to main content

StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNISA,volume 7994)

Abstract

Stream reasoning is an emerging research field focused on dynamic processing and continuous reasoning over huge volumes of streaming data. Finding the right trade-off between scalability and expressivity is a key challenge in this area. In this paper, we want to provide a baseline for exploring the applicability of complex reasoning to the Web of Data based on a solution that combines results and approaches from database research, stream processing, and nonmonotonic logic programming.

Keywords

  • Logic Program
  • Logic Programming
  • Stream Processing
  • Input Stream
  • Complex Reasoning

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-39666-3_23
  • Chapter length: 6 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   39.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-39666-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   54.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 2011 ASP Competition – system track final results (2011), https://www.mat.unical.it/aspcomp2011/SystemTrackFinalResults

  2. Anicic, D., Fodor, P., Rudolph, S., Stojanovic, N.: EP-SPARQL: a unified language for event processing and stream reasoning. In: Proc. of the 20th WWW Conference, pp. 635–644. ACM (2011)

    Google Scholar 

  3. Anicic, D., Fodor, P., Rudolph, S., Stühmer, R., Stojanovic, N., Studer, R.: A rule-based language for complex event processing and reasoning. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 42–57. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  4. Anicic, D., Rudolph, S., Fodor, P., Stojanovic, N.: Stream reasoning and complex event processing in ETALIS. In: Semantic Web (2011)

    Google Scholar 

  5. Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press (2003)

    Google Scholar 

  6. Barbieri, D., Braga, D., Ceri, S., Grossniklaus, M.: An execution environment for c-sparql queries. In: Proc. of the 13th Int’l Conference on Extending Database Technology, pp. 441–452. ACM (2010)

    Google Scholar 

  7. Barbieri, D.F., Braga, D., Ceri, S., Della Valle, E., Grossniklaus, M.: Querying rdf streams with c-sparql. SIGMOD Record 39(1), 20–26 (2010)

    CrossRef  Google Scholar 

  8. Carney, D., Çetintemel, U., Cherniack, M., Convey, C., Lee, S., Seidman, G., Stonebraker, M., Tatbul, N., Zdonik, S.: Monitoring streams: a new class of data management applications. In: VLDB 2002, pp. 215–226. VLDB Endowment (2002)

    Google Scholar 

  9. Della Valle, E., Ceri, S., Barbieri, D.F., Braga, D., Campi, A.: A first step towards stream reasoning. In: Domingue, J., Fensel, D., Traverso, P. (eds.) FIS 2008. LNCS, vol. 5468, pp. 72–81. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  10. Della Valle, E., Ceri, S., van Harmelen, F., Fensel, D.: It’s a Streaming World! Reasoning upon Rapidly Changing Information. IEEE Intelligent Systems 24(6), 83–89 (2009)

    CrossRef  Google Scholar 

  11. Della Valle, E., Schlobach, S., Krötzsch, M., Bozzon, A., Ceri, S., Horrocks, I.: Order matters! harnessing a world of orderings for reasoning over massive data. Semantic Web Journal (2012)

    Google Scholar 

  12. Do, T.M., Loke, S.W., Liu, F.: Answer set programming for stream reasoning. In: Butz, C., Lingras, P. (eds.) Canadian AI 2011. LNCS (LNAI), vol. 6657, pp. 104–109. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  13. Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with rules and ontologies. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol. 4126, pp. 93–127. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  14. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Dlv-hex: Dealing with semantic web under answer-set programming. In: Proc. of ISWC (2005)

    Google Scholar 

  15. Gebser, M., Grote, T., Kaminski, R., Obermeier, P., Sabuncu, O., Schaub, T.: Answer set programming for stream reasoning. CoRR, abs/1301.1392 (2013)

    Google Scholar 

  16. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of the 5th Int’l Conference on Logic Programming, vol. 161 (1988)

    Google Scholar 

  17. Komazec, S., Cerri, D., Fensel, D.: Sparkwave: continuous schema-enhanced pattern matching over RDF data streams. In: Proc. of DEBS, pp. 58–68 (2012)

    Google Scholar 

  18. Lanzanasto, N., Komazec, S., Toma, I.: Reasoning over real time data streams (2012), http://www.envision-project.eu/wp-content/uploads/2012/11/D4-8_v1-0.pdf

  19. Le-Phuoc, D., Dao-Tran, M., Pham, M.-D., Boncz, P., Eiter, T., Fink, M.: Linked stream data processing engines: Facts and figures. In: Cudré-Mauroux, P., et al. (eds.) ISWC 2012, Part II. LNCS, vol. 7650, pp. 300–312. Springer, Heidelberg (2012)

    CrossRef  Google Scholar 

  20. 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., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 370–388. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  21. Madden, S., Shah, M., Hellerstein, J.M., Raman, V.: Continuously adaptive continuous queries over streams. In: 2002 ACM SIGMOD Int’l Conference on Management of Data, pp. 49–60. ACM, New York (2002)

    CrossRef  Google Scholar 

  22. Le-Phuoc, D., Quoc, H.N.M., Xavier Parreira, J., Hauswirth, M.: The Linked Sensor Middleware – Connecting the real world and the Semantic Web. In: Semantic Web Challenge, ISWC, Bonn, Germany, October 23-27 (2011)

    Google Scholar 

  23. Stonebraker, M., Çetintemel, U., Zdonik, S.: The 8 requirements of real-time stream processing. ACM SIGMOD Record 34(4), 42–47 (2005)

    CrossRef  Google Scholar 

  24. Teymourian, K., Rohde, M., Paschke, A.: Fusion of background knowledge and streams of events. In: Proc. of the ACM DEBS, DEBS 2012, pp. 302–313. ACM, New York (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mileo, A., Abdelrahman, A., Policarpio, S., Hauswirth, M. (2013). StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web. In: Faber, W., Lembo, D. (eds) Web Reasoning and Rule Systems. RR 2013. Lecture Notes in Computer Science, vol 7994. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39666-3_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-39666-3_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-39665-6

  • Online ISBN: 978-3-642-39666-3

  • eBook Packages: Computer ScienceComputer Science (R0)