Uwe Keller, Holger Lausen, und Michael Stollberg. On the Semantics of Functional Descriptions of Web Services.. ESWC, 605-619, 2006. [PUMA: european services proceedings 2006 semantic conference eswc web]