"Dynamic Web Service Assembly Using OWL and a Theorem Prover."

Dru McCandless, Leo Obrst, Shayn Hawthorne (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics