SSWAP: Enabling Transaction-Time Reasoning for Semantic Workflows | IEEE Journals & Magazine | IEEE Xplore