Service Composition for the Semantic Web describes composability and matching models to check whether semantic Web services can be combined together to avoid unexpected failures at run time, and a set of algorithms that automatically generate detailed descriptions of composite services from high-level specifications of composition requests. The book includes case studies in the areas of digital government and bioinformatics.