DAML Markup of Web Services
purchase-UAL-plane-ticket
parameters: c-name, origin, dest, d-date, …
preconditions: know(c-name), valid(credit-card), …
effects: purchased(ticket), debit(credit-card)...
Information-providing service
provide-flight-schedule-info
Function and action-based markup exploits ontologies:
Collectively they create a distributed KB of services.