WSMO里也有"IOPE"，不过术语不太一样。对应关系是这样的：

OWL-S                   WSMO
Input                     Pre-conditions [in WSMO describe what a web service expects for enabling it to provide its service. They define conditions over the input.]
Output                  Post-conditions [in WSMO describe what a web service returns in response to its input. They define the relation between the input and the output. ]
Preconditions          Assumptions [ are similar to pre-conditions, however, also reference aspects of the state of the world beyond the actual input. ]
Effects                  Effects [ describe the state of the world after the execution of the service. ]