Hai H. Wang Nick Gibbins Terry R. Payne Ahmed Saleh Jun Sun 0001 A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). 74-86 2007 conf/iceccs/2007 ICECCS http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.9 db/conf/iceccs/iceccs2007.html#WangGPSS07