Rule-based Semantic Web Services