Skip to main content

Expressing and Managing Reactivity in the Semantic Web

  • Conference paper
  • 573 Accesses

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

Abstract

Ontological knowledge and reasoning provide the basis to define the semantics and static properties of Web resources. However, in existing approaches data reactivity is encoded in a different formalism by using rules, and the integration of ontologies and rules is not always natural or user-friendly. In this paper we present an alternative approach to represent active knowledge in ontologies. First, the ACTION formalism, in which events are categorized as ontological concepts, is proposed. Events are used in conjunction with classes, properties and instances during reasoning tasks and query answering. ACTION ontologies are processed within the REACTIVE framework. The REACTIVE reasoning and query engine supports the discovery tasks required to identify the effects of a given set of fired events. Additionally, an optimization strategy named IMR (Intersection of Magic Rewritings) is implemented. IMR identifies the events and properties that need to be considered multiple times and constructs the minimal set of rules that will produce the required result. The expressiveness of the ACTION formalism was empirically studied as well as the performance of the optimization and evaluation strategies. Initial experimental results suggest that ACTION is more expressive than rule-based formalisms; in addition, the REACTIVE engine in conjunction with IMR strategies reduce execution time to at least 50% of the execution time of traditional strategies.

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

Buying options

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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alferes, J.J., Amador, R., Kärger, P., Olmedilla, D.: Towards reactive semantic web policies: Advanced agent control for the semantic web. In: ISWC (Posters & Demos) (2008)

    Google Scholar 

  2. Bailey, J.: Transformation and reaction rules for data on the web. In: ADC 2005: Proceedings of the 16th Australasian Database Conference, Darlinghurst, Australia, pp. 17–23. Australian Computer Society, Inc. (2005)

    Google Scholar 

  3. Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic Sets and Other Strange Ways to Implement Logic Programs. In: PODS, pp. 1–15 (1986)

    Google Scholar 

  4. Behrends, E., Fritzen, O., May, W., Schenk, F.: Embedding Event Algebras and Process for ECA Rules for the Semantic Web. Fundam. Inform. 82(3), 237–263 (2008)

    MATH  Google Scholar 

  5. Biletskiy, Y., Hirtle, D., Vorochek, O.: Toward the Identification and Elimination of Semantic Conflicts for the Integration of RuleML-based Ontologies. In: CSWWS, pp. 135–142 (2006)

    Google Scholar 

  6. Bonatti, P.A., Kärger, P., Olmedilla, D.: Reactive policies for the semantic web. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010. LNCS, vol. 6088, pp. 76–90. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  7. Bonifati, A., Ceri, S., Paraboschi, S.: Active rules for XML: A new paradigm for E-services. VLDB J. 10(1), 39–47 (2001)

    MATH  Google Scholar 

  8. Bonifati, A., Paraboschi, S.: Active XQuery. In: Web Dynamics, pp. 249–274 (2004)

    Google Scholar 

  9. Braga, D., Campi, A., Martinenghi, D., Raffio, A.: ActiveXQBE: A Visual Paradigm for Triggers over XML Data. In: Grust, T., Höpfner, H., Illarramendi, A., Jablonski, S., Mesiti, M., Müller, S., Patranjan, P.-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 865–875. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  10. Brézillon, P.: Context in artificial intelligence: I. a survey of the literature. Computers and Artificial Intelligence 18(4) (1999)

    Google Scholar 

  11. Bry, F., Eckert, M., Grallert, H., Patranjan, P.-L.: Evolution of Distributed Web Data: An Application of the Reactive Language XChange. In: ICDE, pp. 1517–1518 (2007)

    Google Scholar 

  12. Cohen, E.: Estimating the Size of the Transitive Closure in Linear Time. In: FOCS, pp. 190–200 (1994)

    Google Scholar 

  13. Fox, M., Gruninger, M.: On Ontologies and Enterprise Modelling. The AI Magazine, 109–121 (1997)

    Google Scholar 

  14. Gruninger, M., Fox, M.: The logic of enterprise modelling (1995)

    Google Scholar 

  15. Guo, Y., Pan, Z., Heflin, J.: LUBM: A benchmark for OWL knowledge base systems. J. Web Sem. 3(2-3), 158–182 (2005)

    Article  Google Scholar 

  16. Harel, D., Kozen, D., Tiuryn, J.: Dynamic logic. In: Handbook of Philosophical Logic, pp. 497–604. MIT Press, Cambridge (1984)

    Chapter  Google Scholar 

  17. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C Member Submission (May 21, 2004), http://www.w3.org/Submission/SWRL/

  18. Huang, Z., Schlobach, S., van Harmelen, F., Casellas, N., Casanovas, P.: Dynamic aspects of opjk legal ontology. In: Casanovas, P., Sartor, G., Casellas, N., Rubino, R. (eds.) Computable Models of the Law. LNCS (LNAI), vol. 4884, pp. 113–129. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  19. Levene, M., Poulovassilis, A.: Special issue on Web dynamics. Computer Networks 50(10), 1425–1429 (2006)

    Article  Google Scholar 

  20. Li, J., Tang, J., Li, Y., Luo, Q.: Rimom: A dynamic multistrategy ontology alignment framework. IEEE Transactions on Knowledge and Data Engineering 21, 1218–1232 (2009)

    Article  Google Scholar 

  21. Morgenstern, M.: Active Databases as a Paradigm for Enhanced Computing Environments. In: VLDB, pp. 34–42 (1983)

    Google Scholar 

  22. O’Connor, M., Shankar, R., Das, A.: An Ontology-Driven Mediator for Querying Time-Oriented Biomedical Data. In: CBMS 2006: Proceedings of the 19th IEEE Symposium on Computer-Based Medical Systems, Washington, DC, USA, pp. 264–269. IEEE Computer Society, Los Alamitos (2006)

    Google Scholar 

  23. Poulovassilis, A., Papamarkos, G., Wood, P.T.: Event-Condition-Action Rule Languages for the Semantic web. In: Grust, T., Höpfner, H., Illarramendi, A., Jablonski, S., Mesiti, M., Müller, S., Patranjan, P.-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 855–864. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  24. Ruckhaus, E., Ruiz, E., Vidal, M.: Query Evaluation and Optimization in the Semantic Web. In: TPLP (2008)

    Google Scholar 

  25. Tovar, E.L., Vidal, M.-E.: Magic Rewritings for Efficiently Processing Reactivity on Web Ontologies. In: OTM Conferences, vol. (2), pp. 1338–1354 (2008)

    Google Scholar 

  26. Xing, W., Corcho, O., Goble, C., Dikaiakos, M.: Active Ontology: An Information Integration Approach for Highly Dynamic Information Sources. In: ESWC (June 2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tovar, E., Vidal, ME. (2010). Expressing and Managing Reactivity in the Semantic Web. In: Meersman, R., Dillon, T., Herrero, P. (eds) On the Move to Meaningful Internet Systems, OTM 2010. OTM 2010. Lecture Notes in Computer Science, vol 6427. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16949-6_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16949-6_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16948-9

  • Online ISBN: 978-3-642-16949-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics