Operational Semantics for SPARQL Update

This publication has 8 references indexed in Scilit:

• A Verified Algebra for Linked Data
  Electronic Proceedings in Theoretical Computer Science, 2011
• Semantics and complexity of SPARQL
  ACM Transactions on Database Systems, 2009
• Concurrent Kleene Algebra
  2009
• N3Logic: A logical framework for the World Wide Web
  Theory and Practice of Logic Programming, 2008
• What are the Fundamental Structures of Concurrency?
  Electronic Notes in Theoretical Computer Science, 2006
• Named graphs
  Journal of Web Semantics, 2005
• RUL: A Declarative Update Language for RDF
  Lecture Notes in Computer Science, 2005
• Kleene algebra with tests
  ACM Transactions on Programming Languages and Systems, 1997