Text this: A formal model of semantic web service ontology (WSMO) execution

  ______     ___    __    __     ___     _    _   
 /_   _//   / _ \\  \ \\ / //   / _ \\  | |  | || 
   | ||    / //\ \\  \ \/ //   | / \ || | |/\| || 
  _| ||   |  ___  ||  \  //    | \_/ || |  /\  || 
 /__//    |_||  |_||   \//      \___//  |_// \_|| 
 `--`     `-`   `-`     `       `---`   `-`   `-`