1 / 18

What’s Hot in the KSL Services Work?

See our demo. See our demo. See our demo. 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. DAML-S Editor.

yorick
Télécharger la présentation

What’s Hot in the KSL Services Work?

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. See our demo See our demo See our demo 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

  2. 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 • 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

  3. 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

  4. Browse the Process Ontology to create/edit a service

  5. Select/subclass/sibling a service and Create/Edit its properties

  6. Define the control structure for composite services

  7. Select a service and inspect its properties

  8. Define the data flow within a composite service

  9. <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

  10. 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 See our demo

  11. See our demo See our demo See our demo 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

  12. 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

  13. Web Procedures Ontologies Agent Broker Web Service Ontologies DAML-enabled personal/company constraints and prefs ... E-mail DAML-enabled web pages Architecture

  14. Demo: Dynamic UI with DAML+OIL User Interface auto-generated from DAML+OIL Ontology

  15. Behind the Scenes User Constraints+Generic Procedures+deduction=composition **or** User constraints + Goal + deduction = composition Talk to Web services through OAA

  16. Agent e-mails itinerary to customer Not much to see…email the user travel plans when done...

  17. Agent creates expense claim for customer Generate expense claim

  18. 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 See our demo

More Related