A Calculus for Propagating Semantic Annotations Through Scientific Workflow Queries · Study