A proposal for transactions in the semantic web

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationProgress in Artificial Intelligence - 15th Portuguese Conference on Artificial Intelligence, EPIA 2011, Proceedings
EditorsL. Antunes, H. S. Pinto
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages690-703
Number of pages14
ISBN (Electronic)978-3-642-24769-9
ISBN (Print)978-3-642-24768-2
DOIs
Publication statusPublished - 2011
Event15th Portuguese Conference on Artificial Intelligence, EPIA 2011 - Lisbon, Portugal
Duration: 10 Oct 201113 Oct 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume7026 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference15th Portuguese Conference on Artificial Intelligence, EPIA 2011
Country/TerritoryPortugal
CityLisbon
Period10/10/1113/10/11

Fingerprint

Dive into the research topics of 'A proposal for transactions in the semantic web'. Together they form a unique fingerprint.

Cite this