A formal model of semantic web service ontology (WSMO) execution - Wang, H.H. (2013)
10.1109/ICECCS.2008.25