The Multiset semantics of SPARQL

We will present and algebraic and logic semantics for the core of SPARQL, a fragment that correspond to Multiset Datalog with safe negation and Multiset Relational Algebra. We will show that one can leverage for multisets, the classic correspondence between logic, algebra and query languages existing for set semantics.