Communicating sequential processes
Communicating sequential processes
A logic-based calculus of events
New Generation Computing
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
ACM Computing Surveys (CSUR)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
The Starburst Active Database Rule System
IEEE Transactions on Knowledge and Data Engineering
Results on Reasoning about Updates in Transaction Logic
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
CL '00 Proceedings of the First International Conference on Computational Logic
Specifying Active Databases in the Situation Calculus
SCCC '98 Proceedings of the XVIII International Conference of the Chilean Computer Science Society
A Semantic Web Primer
Reactivity on the web: paradigms and applications of the language XChange
Proceedings of the 2005 ACM symposium on Applied computing
Combining ECA Rules with Process Algebras for the Semantic Web
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
Process logic: Expressiveness, decidability, completeness
SFCS '80 Proceedings of the 21st Annual Symposium on Foundations of Computer Science
Rule Interchange Format: The Framework
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Evolution and reactivity in the semantic web
Semantic techniques for the web
Towards compensation correctness in interactive systems
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Supporting open and closed world reasoning on the web
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Active rules in the semantic web: dealing with language heterogeneity
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Flavours of XChange, a rule-based reactive language for the (semantic) web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Hi-index | 0.00 |
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.