(
)
Semantic Web Services
Logic Validation e.g. identification of logic errors or inconsitency