DAML Services
A new draft of the DAML Web Services specification has been released. The grounding document shows how WSDL and DAML-S can work together to provide semantic descriptions of web services. This is the first step to addressing the concerns I had back in 2001