Dru McCandless, Leo Obrst, Shayn Hawthorne. Dynamic Web Service Assembly Using OWL and a Theorem Prover. In Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 14-16 September 2009, Berkeley, CA, USA. pages 336-341, IEEE Computer Society, 2009. [doi]
Abstract is missing.