What’s Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01

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

See our

demo

See our

demo

See our

demo

What’s Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01

DAML-S EditorGoal: 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 • 3rd party Web page developers• 2nd-ary Web service providers • 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 servicesspecify Control Flow of composite servicesspecify Data Flow of composite services

Pallete of services for Data & Control Flow

specification

Pallete of connectives for 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 ChallengesImplementation: 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

See our demo

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

See our

demo

See our

demo

See our

demo

What’s Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01

Agent Technology

Problem: Automated Web Service CompositionE.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

DAML-enabled web pages

Web Service Ontologies

Web Procedures Ontologies

AgentBroker

E-mail

DAML-enabled personal/company

constraints and prefs...

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 & ChallengesAutomated 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

See our demo