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

導出完成 — 

__    __   __   __    _  _      ___      ____    
\ \\ / //  \ \\/ //  | \| ||   / _ \\   |  _ \\  
 \ \/ //    \ ` //   |  ' ||  / //\ \\  | |_| || 
  \  //      | ||    | .  || |  ___  || | .  //  
   \//       |_||    |_|\_|| |_||  |_|| |_|\_\\  
    `        `-`'    `-` -`  `-`   `-`  `-` --`