1. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Mobilizing the Web with DAML-Enabled Web Services Services Team Sheila McIlraith (Technical Lead, Services) Son Cao Tran Honglei Zeng Richard Fikes (DAML Principal Investigator) Deborah McGuinness (DAML Project Manager) Steve Wilder Jessica Jenkins

2. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Motivation The Web is evolving from a provider of documents and images …

3. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Motivation … to a provider of services

4. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 DAML will have to meet this evolution, by providing markup for web service capabilities, in addition to content. Our Challenge: Exploit DAML markup to make web services agent-enabled. Motivation

5. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Vision Each web site provides a set of services information providing (e.g., flight schedules, camera views) or world-altering (e.g., booking flights, home temp. adjustment) Web services are conceived as actions that an agent can request to be executed. Web sites are annotated with DAML markup, describing services in terms of action preconditions and effects. DAML-enabled web pages ~Declaratively Specified API * thanks to Stefan Decker for the web page & ontology icons

6. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 DAML Markup of Web Services Action-based web service markup: declarative well-founded semantics Ontologies enable: reuse sharing composition succinct web site markup E.g., action world-altering action purchase purchase-plane-ticket purchase-UAL-plane-ticket purchase-rental-car... activate activate-device... Together they create a distributed KB of services. Web Service Ontologies DAML-enabled web pages

7. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 DAML-enabled web pages Agent Broker Web Service Ontologies Agents request services through an ACL Agents communicate with DAML-enabled web sites through Agent Brokers that request web services and dispatch responses. Brokers exploit the web service ontologies to assist in locating appropriate service providers.

8. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 DAML-Enabled Agents Agents are tasked by people, or by other agents. DAML-enabled web pages Agent Broker E-mail Web Service Ontologies...

9. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 DAML-enabled web pages Generic Procedures Agents are tasked in terms of high-level, reusable “generic procedures.” “The what not necessarily the how.” Ontologies support sharing, reuse, and composition. Web Service Ontologies Web Procedures Ontologies Agent Broker E-mail... E.g., Travel(cust,origin,dest,date-d,date-r,purpose) Check-purpose-related-restrictions; Book-travel(origin,dest); Book-transportation(dest); Book-hotel(dest) end;

10. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Customizing Generic Procedures Generic procedures can be further constrained by DAML-defined constraints user constraints/preferences, group constraints, or instance-specific constraints. DAML-enabled web pages Web Service Ontologies Web Procedures Ontologies Agent Broker E-mail DAML-enabled personal/company constraints and prefs... E.g., Bob would like to drive if the driving distance is less than 3 hours. KSL Business air travel should be on an American carrier....

11. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent’s KB is automatically constructed relative to the generic procedure and constraints. KB is updated by web service responses. Deductive machinery instantiates the generic procedure wrt. constraints and world state to generate web service requests that the broker executes. Instantiating Generic Procedures KB Web Services Service Ontologies Procedures Ontologies Agent Broker Constraints & Prefs E-mail...

12. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Approach and Status DAML = First-order logic (for now) Agent KB representation language = Situation Calculus Generic procedures representation language = Golog Deductive machinery = Prolog Agent Broker = Open Agent Architecture [SRI] Prototype agent/agent broker constructed. (See our presentation this evening!) Service ontology construction underway. KB Web Services Service Ontologies Procedures Ontologies Agent Broker Constraints & Prefs E-mail...

13. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Travel Example Bob Chen wants to travel from San Francisco to Monterey, departing September 2 and returning September 6. The purpose of the travel is DAML. Our Lab’s Relevant Constraints KSL Business air travel must be on an American carrier. Bob’s Relevant Constraints Bob would like to drive if the driving distance is less than 3 hours. Generic Procedure: Travel(customer,origin, dest, date-d, date-r, purpose) Book-travel(origin,dest); Book-transportation(dest); Book-hotel(dest); Inform(customer); Create-expense-claim; end;

14. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent interacting with web services via OAA

15. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent interacting with web services via OAA

16. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent interacting with web services via OAA

17. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent interacting with web services via OAA

18. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent interacting with web services via OAA

19. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent interacting with web services via OAA

20. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent interacting with web services via OAA

21. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent interacting with web services via OAA

22. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent e-mails itinerary to customer

23. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent e-mails itinerary to customer

24. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent e-mails itinerary to customer

25. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent e-mails itinerary to customer

26. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent e-mails itinerary to customer

27. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Agent creates expense claim for customer Writing “DAML”!

28. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Summary of Key Features of Vision DAML Markup of Web Services: Action-based, declarative markup. Ontologies facilitate construction, sharing, reuse, and composition; support succinct web site markup. Declarative specification of API. Markup not specific to particular agent implementation. DAML-Enabled Agents: DAML markup provides distributed KB for agents. Logic-based generic procedures + constraints. Procedures - general and easy to use. Constraints enable customization. Ontologies facilitate construction, sharing, reuse, composition. Procedures are verifiable wrt. certain properties. Deductive machinery instantiates procedures generating web service requests that are sent to the agent broker. Procedures & deductive machinery provide middle ground between planning & programming.

29. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 Near-term Milestones Services Ontologies Real DAML markup Integration Procedures Ontologies Lots of interesting research issues! More detailed presentation this evening.

30. Sheila McIlraith, Knowledge Systems Lab DAML Kickoff 08/14/00 DAML the torpedoes full steam ahead!