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.
|Title of host publication||Lecture Notes in Computer Science|
|Publication status||Published - 1 Jan 2011|
|Event||15th Portuguese Conference on Artificial Intelligence, EPIA 2011 - |
Duration: 1 Jan 2011 → …
|Conference||15th Portuguese Conference on Artificial Intelligence, EPIA 2011|
|Period||1/01/11 → …|