Whats Hot in the KSL Services Work? 1.

Whats Hot in the KSL Services Work? 1.

Whats Hot in the KSL Services Work? 1. DAML-S 2. DAML-S to PDDL translator implemented 3. 4. ur o e Se o m de DAML-S Editor (& reasoning about action & process)ur o e Se o m

de Automated Web Service Composition ur o e Se o m de Whats 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 Whats 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 Pallete of connectives for services Control Flow specification Pallete of services for Data & Control Flow specification Whats Hot Part II - McIlraith, KSL Stanford

DAML PI Meeting 07/19/01 Browse the Process Ontology to create/edit a service Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Select/subclass/sibling a service and Create/Edit its properties Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Define the control structure for composite services

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Select a service and inspect its properties Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Define the data flow within a composite service Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01

- - - - - -

- - - .- Finally, generate the DAML-S for the services Whats 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 o m e d ur o e Se

Exploit existing editors OilEd (Manchester) or Protg 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 Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Whats Hot in KSL Services Work? 1. DAML-S 2. DAML-S to PDDL translator implemented ur o

e Se o m de 3. DAML-S Editor (& reasoning about action & process) ur o e Se o m de 4. Automated Web Service Composition ur eo e S mo e

d Whats 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 users objective. (NP complete or worse) II. Customize reusable generic procedures - Define and archive reusable generic procedures - Customize with users constraints. (NP complete or worse in a reduced search space) Advantages: efficiency, ease of use, customization

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Architecture Web Procedures Ontologies Web Service Ontologies Agent Broker DAML-enabled web pages

DAML-enabled personal/ company constraints and prefs E-mail Whats 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 Whats 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 Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Agent e-mails itinerary to customer Not much to seeemail the user travel plans when done...

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Agent creates expense claim for customer Generate expense claim Whats 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 & sitn 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 o m e d ur o e Se DAML-S-ize our work; Reduce number of repns required; Reasoner. Technical challenges: Execution Monitoring & Recovery, Info vs. world-chging services

Automate Service Selection Low-level synchronization, message passing issues Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01

Recently Viewed Presentations

  • Option D.6 Transport of respiratory gases

    Option D.6 Transport of respiratory gases

    Fetal hemoglobin is different from adult hemoglobin allowing the transfer of oxygen in the placenta onto the fetal hemoglobin. D.6 Transport of respiratory gases. Applications and Skills: Application: Consequences of high altitude for gas exchange ... I bet if I...
  • Cell Membrane Transport Notes - Michigan State University

    Cell Membrane Transport Notes - Michigan State University

    Cell Membrane Transport Notes Cell Membrane Definition: The semi-permeable outer-covering of all cells. Composition: 2 Phospholipid Layers Protein Channels embedded Purpose / Function: Control traffic in and out of the cell Protection Cell Wall Definition: The rigid outer-covering of plant,...
  • Erosion and Weathering - Brigham Young University

    Erosion and Weathering - Brigham Young University

    Still in the Classics. Musgrave 89 is one of the first process-oriented approaches. There are others.
  • Interactions Entre Les Rayonnements Ionisants Et La Matiere

    Interactions Entre Les Rayonnements Ionisants Et La Matiere

    Si ΔE << WL : cette excitation aboutit à une dissipation thermique (par augmentation de l'énergie de translation, de rotation ou de vibration des molécules cibles. Sur le plan quantitatif, l'énergie moyenne que doit perdre la particule incidente (l'e-) dépend...
  • String Containers Strings and StringBuffers

    String Containers Strings and StringBuffers

    Times New Roman Arial Arial Rounded MT Bold Courier New Blank Presentation 1_Blank Presentation Equation Building Windows Applications in wxDev-C++ Introduction Windows programming Picture of Code Levels Background Characteristics of Components Properties Methods Events Using Properties The process of building...
  • Sales Effectiveness: Use, Benefits, and Pitfalls (Part 1)

    Sales Effectiveness: Use, Benefits, and Pitfalls (Part 1)

    APR and AGSSA configurations are based on numerous factors including, but not limited to, the proximity of census tracts to nearest dealership, highway and road networks, any natural or man-made barriers, and buyer behavior information."
  • Copy these rules to your Methods notes RULES:

    Copy these rules to your Methods notes RULES:

    Dissection Cuts. 3 main cuts total-1. Cut from abdomen up to neck-2. Cut across front legs-3. Cut across rear legs *Have to perform cuts twice. Once to cut through skin, then again to cut through muscle*
  • La letteratura italiana del Cinquecento

    La letteratura italiana del Cinquecento

    Quid autem postea? Ex hac tanta professione nonne natus est ridicula mus? Illud tamen commune eorum vitium est, quod singulari arrogantia fuere, nec putaverunt fore quemquam, qui de suis rebus iudicare posset; tantumque se ab omnibus laturos esse arbitrati sunt,...