A Semantic Toolkit for Scheduling in Cloud and Grid Platforms