SSWAP : enabling transaction time reasoning for semantic workflows. - Gessler, Damian D.G.