 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
| • |
Rules/LP
in appropriate combination with DL as KR, for RSWS
|
|
|
|
– |
DL
good for categorizing: a
service overall, its inputs, its outputs
|
|
|
| • |
Rules
to describe service process models
|
|
|
|
– |
rules
good for representing:
|
|
|
|
• |
preconditions
and postconditions, their contingent relationships
|
|
|
|
• |
contingent
behavior/features of the service more generally,
|
|
|
|
– |
e.g., exceptions/problems
|
|
|
|
– |
familiarity
and naturalness of rules to software/knowledge engineers
|
|
| • |
Rules
to specify deals about services:
cf. e-contracting.
|
|