Skip to main content
SpringerLink
Log in

A Proposal for Transactions in the Semantic Web

  • Conference paper
Progress in Artificial Intelligence (EPIA 2011)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7026))

Included in the following conference series:

  • 1413 Accesses

Abstract

The success of the Semantic Web project has triggered the emergence of new challenges for the research community. Among them, relies the ability of evolving the web by means of actions and updates in accordance with some standard proposals as RIF or SPARQL-Update. However, from the moment that actions and updates are possible, the need to ensure properties regarding the outcome of performing such actions emerges. Moreover, this need also leaves open the specification of such properties and requirements that an intended solution should comply to.

In this paper we motivate the need for employing transactional properties in this new Web and delineate a proposal for the requirements that such solution should provide. Afterwards, we develop a logic, based on the well-known Transaction Logic, that partially achieves such requirements, as a first step of an ongoing work.

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., Eckert, M., May, W.: Evolution and reactivity in the semantic web. In: REWERSE, pp. 161–200 (2009)

    Google Scholar 

  2. Antoniou, G., van Harmelen, F.: A Semantic Web Primer. MIT Press, Cambridge (2004)

    Google Scholar 

  3. Bailey, J., Bry, F., Eckert, M., Patranjan, P.-L.: Flavours of xchange, a rule-based reactive language for the (semantic) web. In: RuleML, pp. 187–192 (2005)

    Google Scholar 

  4. Behrends, E., Fritzen, O., May, W., Schenk, F.: Combining eca rules with process algebras for the semantic web. In: RuleML, pp. 29–38 (2006)

    Google Scholar 

  5. 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 

  6. Berners-Lee, T.: Semantic web road map (1998), http://www.w3.org/DesignIssues/Semantic.html

  7. Bertossi, L.E., Pinto, J., Valdivia, R.: Specifying active databases in the situation calculus. In: SCCC, pp. 32–39 (1998)

    Google Scholar 

  8. Bonner, A.J., Kifer, M.: Transaction logic programming. Technical Report CSRI-323, Computer Systems Research Institute, University of Toronto (1995)

    Google Scholar 

  9. Bonner, A.J., Kifer, M.: Concurrency and communication in transaction logic. In: JICSLP, pp. 142–156 (1996)

    Google Scholar 

  10. Bonner, A.J., Kifer, M.: Results on reasoning about updates in transaction logic. Transactions and Change in Logic Databases, 166–196 (1998)

    Google Scholar 

  11. Bry, F., Eckert, M.: Twelve theses on reactive rules for the web. In: Event Processing (2007)

    Google Scholar 

  12. Bry, F., Patranjan, P.-L.: Reactivity on the web: paradigms and applications of the language xchange. In: Preneel, B., Tavares, S. (eds.) SAC 2005. LNCS, vol. 3897, pp. 1645–1649. Springer, Heidelberg (2006)

    Google Scholar 

  13. Viegas Damásio, C., Analyti, A., Antoniou, G., Wagner, G.: Supporting open and closed world reasoning on the web. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 149–163. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  14. de Sainte Marie, C., Hallmark, G., Paschke, A.: RIF Production Rule Dialect (June 2010), W3C Recommendation, http://www.w3.org/TR/rif-prd/

  15. Garcia-Molina, H., Salem, K.: Sagas. SIGMOD 16, 249–259 (1987)

    Article  Google Scholar 

  16. Harel, D., Kozen, D., Parikh, R.: Process logic: Expressiveness, decidability, completeness. In: FOCS, pp. 129–142 (1980)

    Google Scholar 

  17. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)

    Google Scholar 

  18. Kifer, M.: Rule Interchange Format: The Framework. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol. 5341, pp. 1–11. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  19. Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Comp. 4(1), 67–95 (1986)

    Article  Google Scholar 

  20. Manola, F., Miller, E.: RDF Resource Description Framework. W3C Recommendation (February 2004), http://www.w3.org/RDF/

  21. May, W., Alferes, J.J., Amador, R.: Active rules in the semantic web: Dealing with language heterogeneity. In: RuleML, pp. 30–44 (2005)

    Google Scholar 

  22. May, W., Alferes, J.J., Bry, F.: Towards generic query, update, and event languages for the semantic web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol. 3208, pp. 19–33. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  23. McCarthy, J.: Situations, actions, and causal laws. Technical report, Stanford University, Reprinted in MIT Press, Cambridge, Mass, pp. 410–417 (1968)

    Google Scholar 

  24. Mcguinness, D.L., van Harmelen, F.: OWL web ontology language overview. W3C Recommendation (February 2004), http://www.w3.org/TR/owl-features/

  25. Mikalsen, T., Tai, S., Rouvellou, I.: Transactional attitudes: reliable composition of autonomous web services. In: WDMS (2002)

    Google Scholar 

  26. Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92, Springer, Heidelberg (1980)

    Google Scholar 

  27. Milner, R.: Calculi for synchrony and asynchrony. Theor. Comput. Sci. 25, 267–310 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  28. Nakamura, M., Baral, C.: Invariance, maintenance, and other declarative objectives of triggers - a formal characterization of active databases. In: Computational Logic, pp. 1210–1224 (2000)

    Google Scholar 

  29. Pan, Y.: Will reliability kill the web service composition? Technical report, Department of Computer Science, Rutgers University USA (2009)

    Google Scholar 

  30. Papamarkos, G., Poulovassilis, A., Wood, P.T.: Event-condition-action rule languages for the semantic web. In: SWDB, pp. 309–327 (2003)

    Google Scholar 

  31. Paton, N.W., Díaz, O.: Active database systems. ACM Comput. Surv. 31, 63–103 (1999)

    Article  Google Scholar 

  32. Prud’hommeaux, E., Seaborne, A.: SPARQL Query Language for RDF. W3C Recommendation (June 2006), http://www.w3.org/TR/rdf-sparql-query/

  33. Vaz, C., Ferreira, C.: Towards compensation correctness in interactive systems. In: WS-FM, pp. 161–177 (2009)

    Google Scholar 

  34. Widom, J.: The starburst active database rule system. IEEE Transactions on Knowledge and Data Engineering 8, 583–595 (1996)

    Article  Google Scholar 

  35. Zaniolo, C.: A unified semantics for active and deductive databases. In: Rules in Database Systems, pp. 271–287 (1993)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CENTRIA and Departamento de Informática Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    Ana Sofia Gomes & José Júlio Alferes

Authors
  1. Ana Sofia Gomes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José Júlio Alferes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculdade de Ciências, Departamento de Informática, GUESS/LabMAg/Universidade de Lisboa, Campo Grande, 749-016, Lisboa, Portugal

    Luis Antunes

  2. Department of Computer Science and Engineering, INESC-ID, Instituto Superior Técnico, IST, Avenida Rovisco Pais, 1049-001, Lisboa, Portugal

    H. Sofia Pinto

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gomes, A.S., Alferes, J.J. (2011). A Proposal for Transactions in the Semantic Web. In: Antunes, L., Pinto, H.S. (eds) Progress in Artificial Intelligence. EPIA 2011. Lecture Notes in Computer Science(), vol 7026. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24769-9_50

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24769-9_50

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24768-2

  • Online ISBN: 978-3-642-24769-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation