Besides the line "Semantic composition is accomplished using backward chaining and other AI planning algorithms." in the alphaWorks site, I could not find any documentation on the approach for composition used by the "Semantic Tools for Web Services" Eclipse plug-ins.
Are there any papers published that describe the approach?
Is there any documentation to help interpret the compositions obtained? (Which seem to me a sequence of unconnected service invocations, see below one of the composition generated for the sample "textanalysis-req-sem.wsdl" in this wiki)