Rule-based Semantic Web Services
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.