Hai H. Wang Nick Gibbins Terry R. Payne Ahmed Saleh Jun Sun 0001 A Formal Model of Semantic Web Service Ontology (WSMO) Execution. 111-120 2008 ICECCS http://dx.doi.org/10.1109/ICECCS.2008.25 conf/iceccs/2008 db/conf/iceccs/iceccs2008.html#WangGPSS08