What’s Hot in the KSL Services Work?
1. DAML-S
2. DAML-S to PDDL translator implemented
3. DAML-S Editor (& reasoning about action & process)
4. Automated Web Service Composition
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
DAML-S Editor
Goal: Editor tailored to the markup of Web Services in DAML-S+
(not just an ontology editor -- focus on end user needs and intuitions)
Input: graphical and form entry
Output: DAML-S & Ontolingua
Anticipated Users:
• Web service providers
• 2nd-ary Web service providers
• 3rd party Web page developers
• DAML community
Approach:
• Use-based
• Graphical
• Ontology editor and reasoner behind the scenes
What will make it scorching  Value added by reasoning:
• Verification of properties of services
• Simulation of services
• Diagnostics
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
create/edit a simple/composite services
specify Control Flow of composite services
specify Data Flow of composite services
Pallete of connectives for
Control Flow specification
Pallete of services for
Data & Control Flow specification
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
Browse the Process Ontology to create/edit a service
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
Select/subclass/sibling a service and
Create/Edit its properties
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
Define the control structure for composite services
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
Select a service and inspect its properties
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
Define the data flow within a composite service
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
<rdfs:Class rdf:ID="ExpandedAcmeMovingService">
<rdfs:subClassOf rdf:resource="http://www.daml.org/services/daml-s/2001/05/Process#Sequence" />
- <rdfs:subClassOf>
- <daml:Restriction>
<daml:onProperty rdf:resource="http://www.daml.org/services/daml-s/2001/05/Process#components" />
<daml:toClass rdf:resource="#PROCESS-LIST-142" />
</daml:Restriction>
</rdfs:subClassOf>
</rdfs:Class>
- <rdfs:Class rdf:ID="PROCESS-LIST-142">
<rdfs:subClassOf rdf:resource="http://www.daml.org/services/daml-s/2001/05/Process#ProcessList" />
- <rdfs:subClassOf>
- <daml:Restriction>
<daml:onProperty rdf:resource="http://www.daml.org/2001/03/daml+oil#first" />
<daml:toClass rdf:resource="#AcmeConfirmMvRoute" />
</daml:Restriction>
</rdfs:subClassOf>
- <rdfs:subClassOf>
- <daml:Restriction>
<daml:onProperty rdf:resource="http://www.daml.org/2001/03/daml+oil#rest" />
<daml:toClass rdf:resource="#PROCESS-LIST-141" />
</daml:Restriction>
</rdfs:subClassOf>
</rdfs:Class>
- <rdfs:Class rdf:ID="PROCESS-LIST-141">
<rdfs:subClassOf rdf:resource="http://www.daml.org/services/daml-s/2001/05/Process#ProcessList" />
- <rdfs:subClassOf>
….-
Finally, generate the DAML-S for the services
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
Status & Future Challenges
Implementation:
 Java + DAML-Ontolingua translator + OKBC to Ontolingua
 Generates DAML-S
Challenges:
• Enhance editing capabilities
• Exploit existing editors
 OilEd (Manchester) or Protégé w/ DAML+OIL (SRI)??
• DAML+OIL Reasoner “Get me all the inputs for AcmeTruck service”
 KSL JTP DAML+OIL reasoner??
• Reasoning:
• simulation of service processes (with SRI)
• diagnose DAML-S with Chimaera
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
What’s Hot in KSL Services Work?
 1. DAML-S
 2. DAML-S to PDDL translator implemented
 3. DAML-S Editor (& reasoning about action & process)
 4. Automated Web Service Composition
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
Agent Technology
Problem: Automated Web Service Composition
E.g., Arrange food for 500 people for 2 weeks in Dubai.
Approach:
I. Plan a sequences of services that realize user’s objective.
(NP complete or worse)
II. Customize reusable generic procedures
- Define and archive reusable generic procedures
- Customize with user’s constraints.
(NP complete or worse in a reduced search space)
Advantages: efficiency, ease of use, customization
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
Architecture
Web Procedures
Ontologies
Web Service
Ontologies
Agent
Broker
DAML-enabled
personal/company
constraints and prefs
DAML-enabled
web pages
E-mail
What’s Hot Part II - McIlraith, KSL Stanford
...
DAML PI Meeting 07/19/01
Demo: Dynamic UI with DAML+OIL
User Interface auto-generated from DAML+OIL Ontology
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
Behind the Scenes
User Constraints+Generic Procedures+deduction=composition
**or**
User constraints + Goal + deduction = composition
Talk to Web services through OAA
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
Agent e-mails itinerary to customer
Not much to see…email the user travel plans when done...
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
Agent creates expense claim for customer
Generate expense claim
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01
Status & Challenges
Automated Web Service Composition is working now!
Implementation:
 DAML+OIL/DAML-S FOL -> Ontolingua, Golog & sit’n calculus in Prolog
 Java, Prolog, Ontolingua-DAML+OIL translator, OKBC,
DAML-S to PDDL translator, bubble gum, scotch tape
Challenges:
• Outstanding DAML-S representation issues
• DAML-S-ize our work; Reduce number of repn’s required; Reasoner.
• Technical challenges:
• Execution Monitoring & Recovery, Info vs. world-chging services
• Automate Service Selection
• Low-level synchronization, message passing issues
What’s Hot Part II - McIlraith, KSL Stanford
DAML PI Meeting 07/19/01