The document describes a method for discovering and describing type adaptors for converting between semantically compatible but syntactically incompatible web services. It proposes using WSDL to describe type adaptors at an abstract level, specifying what inputs and outputs they consume and produce. An ontology is used as an intermediate representation to reduce the number of adaptors needed. Mappings between source and destination schemas are defined declaratively and handled by a transformation engine. This allows automated discovery and use of type adaptors in semantic web service workflows.