A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services