Dynamic Web Service Assembly Using OWL and a Theorem Prover | IEEE Conference Publication | IEEE Xplore