Towards a Knowledge-Based Approach to Semantic Service Composition