Skip to main content
SpringerLink
Log in

Evolution and Reactivity in the Semantic Web

  • Chapter
Semantic Techniques for the Web

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

Abstract

Evolution and reactivity in the Semantic Web address the vision and concrete need for an active Web, where data sources evolve autonomously and perceive and react to events. In 2004, when the Rewerse project started, regarding work on Evolution and Reactivity in the Semantic Web there wasn’t much more than a vision of such an active Web.

Materialising this vision requires the definition of a model, architecture, and also prototypical implementations capable of dealing with reactivity in the Semantic Web, including an ontology-based description of all concepts. This resulted in a general framework for reactive Event-Condition-Action rules in the Semantic Web over heterogeneous component languages.

Inasmuch as heterogeneity of languages is, in our view, an important aspect to take into consideration for dealing with the heterogeneity of sources and behaviour of the Semantic Web, concrete homogeneous languages targeting the specificity of reactive rules are of course also needed. This is especially the case for languages that can cope with the challenges posed by dealing with composite structures of events, or executing composite actions over Web data.

In this chapter we report on the advances made on this front, namely by describing the above-mentioned general heterogeneous framework, and by describing the concrete homogeneous language XChange.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alferes, J.J., Amador, R.: r3 - a foundational ontology for reactive rules. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 933–952. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  2. Alferes, J.J., Amador, R., Behrends, E., Fritzen, O., May, W., Schenk, F.: Pre-standardization of the language. Technical Report I5-D10, REWERSE EU FP6 NoE (2008), http://www.rewerse.net

  3. Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 50–61. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  4. Bailey, J., Poulovassilis, A., Wood, P.T.: An event-condition-action language for XML. In: Proceedings of the 11th International Conference on World Wide Web (WWW 2002), pp. 486–495. ACM Press, New York (2002)

    Google Scholar 

  5. Baral, C., Gelfond, M., Provetti, A.: Representing actions: Laws, observations and hypotheses. Journal of Logic Programming 31(1-3), 201–243 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  6. Behrends, E., Fritzen, O., Knabke, T., May, W., Schenk, F.: Based Active Domain Brokering for the Semantic Web. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 259–268. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  7. Behrends, E., Fritzen, O., May, W., Schenk, F.: Embedding Event Algebras and Process Algebras in a Framework for ECA Rules for the Semantic Web. Fundamenta Informaticae 82, 237–263 (2008)

    MathSciNet  MATH  Google Scholar 

  8. Bernauer, M., Kappel, G., Kramler, G.: Composite Events for XML. In: 13th Int. Conf. on World Wide Web (WWW 2004). ACM, New York (2004)

    Google Scholar 

  9. Berndtsson, M., Seiriö, M.: Design and Implementation of an ECA Rule Markup Language. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 98–112. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  10. Bonatti, P.A., Olmedilla, D.: Driving and monitoring provisional trust negotiation with metapolicies. In: 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), Stockholm, Sweden, June 6-8, pp. 14–23. IEEE Computer Society, Los Alamitos (2005)

    Chapter  Google Scholar 

  11. Bonifati, A., Braga, D., Campi, A., Ceri, S.: Active XQuery. In: Intl. Conference on Data Engineering (ICDE), San Jose, California, pp. 403–418 (2002)

    Google Scholar 

  12. Bonifati, A., Ceri, S., Paraboschi, S.: Pushing reactive services to XML repositories using active rules. In: Proceedings of the 10th International Conference on World Wide Web (WWW 2001), pp. 633–641. ACM Press, New York (2001)

    Google Scholar 

  13. Bray, T., et al.: Extensible markup language (XML) 1.0 (fourth edn.). W3C recommendation, World Wide Web Consortium (2006)

    Google Scholar 

  14. Bray, T., et al.: Extensible markup language (XML) 1.1 (2nd edn.). W3C recommendation, World Wide Web Consortium (2006)

    Google Scholar 

  15. Brickley, D., Guha, R.V. (eds.): Resource Description Framework Schema specification (RDFS) (2000), http://www.w3.org/TR/rdf-schema/

  16. Bry, F., Eckert, M.: Processing link structures and linkbases in the Web’s open world linking. In: Proc. ACM Conf. on Hypertext and Hypermedia, pp. 135–144. ACM, New York (2005)

    Google Scholar 

  17. Bry, F., Eckert, M.: Processing link structures and linkbases on the Web. In: Proc. Int. Conf. on World Wide Web, posters, pp. 1030–1031. ACM, New York (2005)

    Google Scholar 

  18. Bry, F., Eckert, M.: Rule-based composite event queries: The language XChangeeq and its semantics. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 16–30. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  19. Bry, F., Eckert, M.: Towards formal foundations of event queries and rules. In: Proc. Int. Workshop on Event-Driven Architecture, Processing and Systems (2007)

    Google Scholar 

  20. Bry, F., Eckert, M.: On static determination of temporal relevance for incremental evaluation of complex event queries. In: Proc. Int. Conf. on Distributed Event-Based Systems, pp. 289–300. ACM, New York (2008)

    Google Scholar 

  21. Bry, F., Eckert, M.: Rules for making sense of events: Design issues for high-level event query and reasoning languages (position paper). In: Proc. AAAI Spring Symposium AI Meets Business Rules and Process Management. Number SS-08-01 in AAAI Technical Reports, pp. 12–16. AAAI Press, Menlo Park (2008)

    Google Scholar 

  22. Bry, F., Eckert, M., Grallert, H., Pătrânjan, P.L.: Evolution of distributed Web data: An application of the reactive language XChange. In: Proc. Int. Conf. on Data Engineering (Demonstrations) (2006)

    Google Scholar 

  23. Bry, F., Eckert, M., Grallert, H., Pătrânjan, P.L.: Reactive Web rules: A demonstration of XChange. In: Proc. Int. Conf. on Rules and Rule Markup Languages (RuleML) for the Semantic Web, Posters and Demonstrations (2006)

    Google Scholar 

  24. Bry, F., Eckert, M., Pătrânjan, P.L.: Querying composite events for reactivity on the Web. In: Shen, H.T., Li, J., Li, M., Ni, J., Wang, W. (eds.) APWeb Workshops 2006. LNCS, vol. 3842, pp. 38–47. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  25. Bry, F., Eckert, M., Pătrânjan, P.L.: Reactivity on the Web: Paradigms and applications of the language XChange. J. of Web Engineering 5(1), 3–24 (2006)

    Google Scholar 

  26. Bry, F., Eckert, M., Pătrânjan, P.L., Romanenko, I.: Realizing business processes with ECA rules: Benefits, challenges, limits. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 48–62. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  27. Bry, F., Furche, T., Badea, L., Koch, C., Schaffert, S., Berger, S.: Querying the Web reconsidered: Design principles for versatile Web query languages. Int. J. on Semantic Web and Information Systems 1(2), 1–21 (2005)

    Article  Google Scholar 

  28. Chakravarthy, S., Krishnaprasad, V., Anwar, E., Kim, S.K.: Composite events for active databases: Semantics, contexts and detection. In: Proceedings of the 20th VLDB, pp. 606–617 (1994)

    Google Scholar 

  29. Chakravarthy, S., Mishra, D.: Snoop: An expressive event specification language for active databases. Data & Knowledge Engineering (DKE) 14, 1–26 (1994)

    Article  Google Scholar 

  30. Coşkun, F.: Pattern-based updates for the Web: Refinement of syntax and semantics in XChange. Master’s thesis (Diplomarbeit), Institute for Informatics, University of Munich (2007)

    Google Scholar 

  31. DeRose, S., Maler, E., Orchard, D.: XML linking language (XLink) version 1.0. W3C recommendation, World Wide Web Consortium (2001)

    Google Scholar 

  32. Deutsch, A., Fernandez, M., Florescu, D., Levy, A., Suciu, D.: XML-QL: A Query Language for XML. In: 8th. WWW Conference, W3C (1999), World Wide Web Consortium Technical Report, NOTE-xml-ql-19980819 (1999), http://www.w3.org/TR/NOTE-xml-ql

  33. Eckert, M.: Reactivity on the Web: Event queries and composite event detection in XChange. Master’s thesis (Diplomarbeit), Institute for Informatics, University of Munich (2005)

    Google Scholar 

  34. Eckert, M.: Complex Event Processing with XChangeEQ: Language Design, Formal Semantics, and Incremental Evaluation for Querying Events. PhD thesis, Institute for Informatics, University of Munich (2008), http://edoc.ub.uni-muenchen.de/9405/

  35. Eckert, M., Bry, F.: Rule-based composite event queries: The language XChangeeq and its semantics. Int. Journal on Knowledge and Information Systems (to appear, 2009)

    Google Scholar 

  36. Ericsson, A., Berndtsson, M.: Rex, the rule and event explorer. In: Jacobsen, H.A., Mühl, G., Jaeger, M.A. (eds.) Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems – DEBS. ACM International Conference Proceeding Series, vol. 233, pp. 71–74. ACM, New York (2007)

    Chapter  Google Scholar 

  37. Fritzen, O., May, W., Schenk, F.: Markup and Component Interoperability for Active Rules. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 197–204. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  38. Galton, A., Augusto, J.C.: Two approaches to event definition. In: Hameurlain, A., Cicchetti, R., Traunmüller, R. (eds.) DEXA 2002. LNCS, vol. 2453, pp. 547–556. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  39. Garcia-Molina, H., Salem, K.: Sagas. In: Dayal, U., Traiger, I.L. (eds.) Proceedings of the ACM Special Interest Group on Management of Data, pp. 249–259. ACM Press, New York (1987)

    Google Scholar 

  40. Gelfond, M., Lifschitz, V.: Representing actions and change by logic programs. Journal of Logic Programming 17, 301–322 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  41. Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on AI 3(16) (1998)

    Google Scholar 

  42. Giunchiglia, E., Lee, J., Lifschitz, V., Cain, N.M., Turner, H.: Representing actions in logic programs and default theories: a situation calculus approach. Journal of Logic Programming 31, 245–298 (1997)

    Article  MathSciNet  Google Scholar 

  43. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153, 49–104 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  44. Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: Preliminary report. In: AAAI 1998, pp. 623–630 (1998)

    Google Scholar 

  45. Grallert, H.: Propagation of updates in distributed web data: A use case for the language XChange. Project thesis, Institute for Informatics, University of Munich (2006)

    Google Scholar 

  46. Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)

    MATH  Google Scholar 

  47. Hornung, T., May, W., Lausen, G.: Process algebra-based query workflows. In: Conference on Advanced Information Systems Engineering (CAiSE) (to appear, 2009)

    Google Scholar 

  48. Kifer, M., Lausen, G.: F-Logic: A higher-order language for reasoning about objects, inheritance and scheme. In: Clifford, J., Lindsay, B., Maier, D. (eds.) ACM Intl. Conference on Management of Data (SIGMOD), Portland, pp. 134–146 (1989)

    Google Scholar 

  49. Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New generation Computing 4, 67–95 (1986)

    Article  Google Scholar 

  50. Kozlenkov, A., Schroeder, M.: PROVA: Rule-based Java-scripting for a bioinformatics semantic web. In: Rahm, E. (ed.) DILS 2004. LNCS (LNBI), vol. 2994, pp. 17–30. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  51. Liu, M., Lu, L., Wang, G.: A Declarative XML-RL Update Language. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 506–519. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  52. Magiridou, M., Sahtouris, S., Christophides, V., Koubarakis, M.: Rul: A declarative update language for RDF. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 506–521. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  53. May, W.: XPath-Logic and XPathLog: A logic-programming style XML data manipulation language. Theory and Practice of Logic Programming 4(3), 239–287 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  54. May, W., Alferes, J.J., Amador, R.: Active rules in the semantic web: Dealing with language heterogeneity. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 30–44. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  55. May, W., Alferes, J.J., Amador, R.: An ontology- and resources-based approach to evolution and reactivity in the semantic web. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3761, pp. 1553–1570. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  56. McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence (4) (1969)

    Google Scholar 

  57. McGuinness, D., Harmelen, F. (eds.): OWL Web Ontology Language (2004), http://www.w3.org/TR/owl-features/

  58. Mikalsen, T., Tai, S., Rouvellou, I.: Transactional attitudes: reliable composition of autonomous web services. In: Dependable Systems and Networks Conference (2002)

    Google Scholar 

  59. Milner, R.: Calculi for synchrony and asynchrony. Theoretical Computer Science, 267–310 (1983)

    Google Scholar 

  60. OASIS Web Services Business Process Execution Language Technical Committee: Business Process Execution Language (BPEL), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html

  61. Papamarkos, G., Poulovassilis, A., Wood, P.T.: RDFTL: An Event-Condition-Action Rule Language for RDF. In: Hellenic Data Management Symposium (HDMS 2004) (2004)

    Google Scholar 

  62. Paton, N.W. (ed.): Active Rules in Database Systems. Monographs in Computer Science. Springer, Heidelberg (1999)

    MATH  Google Scholar 

  63. Pătrânjan, P.L.: The Language XChange: A Declarative Approach to Reactivity on the Web. PhD thesis, Institute for Informatics, University of Munich (2005)

    Google Scholar 

  64. Prudhommeaux, E., Seaborne, A. (eds.): SPARQL Query Language for RDF (2006), http://www.w3.org/TR/rdf-sparql-query/

  65. Romanenko, I.: Use cases for reactivity on the Web: Using ECA rules for business process modeling. Master’s thesis (Diplomarbeit), Institute for Informatics, University of Munich (2006)

    Google Scholar 

  66. Sandewall, E.: Features and Fluents: A Systematic Approach to the Representation of Knowledge about Dynamical Systems. Oxford University Press, Oxford (1994)

    MATH  Google Scholar 

  67. Schaffert, S.: Xcerpt: A Rule-Based Query and Transformation Language for the Web. PhD thesis, Institute for Informatics, University of Munich (2004)

    Google Scholar 

  68. Schaffert, S., Bry, F.: Querying the Web reconsidered: A practical introduction to Xcerpt. In: Proc. Extreme Markup Languages (2004)

    Google Scholar 

  69. Tatarinov, I., Ives, Z.G., Halevy, A., Weld, D.: Updating XML. In: ACM Intl. Conference on Management of Data (SIGMOD), pp. 133–154 (2001)

    Google Scholar 

  70. Widom, J., Ceri, S. (eds.): Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, San Francisco (1996)

    Google Scholar 

  71. World Wide Web Consortium: Resource Description Framework (RDF) (2000), http://www.w3.org/RDF

  72. XML: DB: Xupdate - xml update language (2000), http://xmldb-org.sourceforge.net/xupdate/

  73. Zhu, D., Sethi, A.S.: SEL, a new event pattern specification language for event correlation. In: Proc. Int. Conf. on Computer Communications and Networks, pp. 586–589. IEEE, Los Alamitos (2001)

    Google Scholar 

  74. Zimmer, D., Unland, R.: On the semantics of complex events in active database management systems. In: Intl. Conference on Data Engineering (ICDE), pp. 392–399 (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CENTRIA, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal

    José Júlio Alferes

  2. Institut für Informatik, Ludwig-Maximilians-Universität München, Germany

    Michael Eckert

  3. Institut für Informatik, Georg-August-Universität Göttingen, Germany

    Wolfgang May

Authors
  1. José Júlio Alferes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Eckert
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wolfgang May
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Informatics, University of Munich, Oettingenstr. 67, D-80538, München, Germany

    François Bry

  2. Department of Computer Science, Linköping University, 581 83, Linköping, Sweden

    Jan Małuszyński

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Alferes, J.J., Eckert, M., May, W. (2009). Evolution and Reactivity in the Semantic Web. In: Bry, F., Małuszyński, J. (eds) Semantic Techniques for the Web. Lecture Notes in Computer Science, vol 5500. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04581-3_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04581-3_3

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation