The relation between DAML-S, a language for the description of Web services grounded in the Semantic Web, and the growing Web services infrastructure based on WSDL is, by and large, still an open question. In this paper we describe a mapping from WSDL to DAML-S whose contribution is twofold: on the theoretical side it clearly shows what information is contributed by the DAML-S specification, on a more practical
side it facilitates the compilation of DAML-S descriptions.