| DAML-S Web Services Coalition | |
| Presented by: David Martin (SRI) Sheila McIlraith (Stanford KSL) Katia Sycara (CMU) |
|
| http://www.daml.org/services/ | |
| BBN: Mark Burstein | |
| CMU: Massimo Paolucci, Katia Sycara | |
| ICSI: Srini Narayanan | |
| Nokia: Ora Lassila | |
| Stanford KSL: Sheila McIlraith | |
| SRI: David Martin | |
| Southampton: Terry Payne | |
| USC-ISI: Jerry Hobbs | |
| Yale: Drew McDermott | |
| DAML-S technical overview & update | |||
| Overview of ontology areas | |||
| Profile, process model, grounding | |||
| Progress to date | |||
| Challenges, next steps | |||
| Directions for 2002-2003 | |||
| Key challenges (Sheila McIlraith) | |||
| Joint committee plans (Katia Sycara) | |||
| Commercial vendors, media, forecasters, etc. | ||
| Intranets, not just internets | ||
| W3C Web services efforts | ||
| Semantic Web community | ||
| DAML-S; WSMF & other EU efforts | ||
| ISWC: 10 services-related papers, 7 posters | ||
| Grid computing (OGSA) | ||
| Ubiquitous computing (devices) | ||
| Mobile access to services | ||
| č A remarkable opportunity | ||
| Bringing behavioral intelligence to the Web | ||
| Automation of service use by software agents | |||
| Ideal: full-fledged use of services never before encountered: | |||
| discovery, selection, composition, invocation, monitoring | |||
| Useful in the “real world” | |||
| Compatible with industry standards | |||
| Incremental exploitation | |||
| Enable reasoning/planning about services | |||
| e.g., On-the-fly composition | |||
| Integrated use with information resources | |||
| Ease of use; powerful tools | |||
Service Profile: “What does it do?”
| High-level characterization/summary of a service | |||
| Used for | |||
| Populating service registries | |||
| A service can have many profiles | |||
| Automated service discovery | |||
| Service selection (matchmaking) | |||
| One can derive: | |||
| Service advertisements | |||
| Service requests | |||
| Styles of use | ||
| Class-hierarchical yellow pages | ||
| Implicit capability characterization | ||
| Arrangement of attributes on class hierarchy | ||
| Can use multiple inheritance | ||
| Process summaries for planning purposes | ||
| More explicit | ||
| Inputs, outputs, preconditions, effects | ||
| Less reliance on formal hierarchical organization | ||
| Summarizes process model specs | ||
Exploiting Taxonomies of Services
Service Model
“How
does it work?”
| Process | ||
| Interpretable description of service provider’s behavior | ||
| Tells service user how and when to interact (read/write messages) | ||
| & Process control | ||
| Ontology of process state; supports status queries | ||
| (stubbed out at present) | ||
| Used for: | ||
| Service invocation, planning/composition, interoperation, monitoring | ||
| All processes have | ||
| Inputs, outputs, preconditions and effects | ||
| Function/dataflow metaphor; action/process metaphor | ||
| Composite processes | ||
| Control flow | ||
| Data flow | ||
Process Model: Recent evolution
| Conditional outputs & effects | ||
| Parameter bindings | ||
| <rdf:Description
rdf:about="#FullCongoBuy"> <sameValues rdf:parseType="daml:collection"> <ValueOf atClass="#FullCongoBuy“ theProperty="#fullCongoBuyBookISBN"/> <ValueOf atClass="#LocatedBookOutput“ theProperty="outInCatalogBookISBN"/> <ValueOf atClass="#CongoBuyBook“ theProperty="#congoBuyBookISBN"/> </sameValues> |
||
| č Pushing the limits of DAML+OIL expressiveness | ||
Service Grounding: “How to access it”
DAML-S / WSDL Grounding (cont’d)
Review: Upper Ontology of Services
| Release 0.5 (May 2001) | ||
| Initial Profile & Process ontologies | ||
| Release 0.6 (December 2001) | ||
| Refinements to Profile & Process | ||
| Resources ontology | ||
| Two approaches to formal semantics | ||
| Sycara/Ankolekar, McIlraith/Narayanan | ||
| Release 0.7 (October 2002) | ||
| DAML-S/WSDL Grounding | ||
| Profile, Process Model refinements | ||
| More complete examples | ||
| Towards 1.0 | ||
| Expressiveness issues; process modeling; industry tie-in | ||
| Web site & mailing lists | ||
| http://www.daml.org/services/ | ||
| [email protected] | ||
| Users | ||
| UMCP (Hendler/Parsia), UMBC (Finin), Manchester (Goble), CMU (Sadeh), Lockheed-Martin, Ultralog, beta-reviewers, … | ||
| Tools | ||
| DAML-S publications | ||
| WWW10 SW Workshop (2), SWWS, WWW11, Coordination 2002, AAMAS, ICSW (4), IEEE Computer, IEEE Intel. Systems… | ||
| W3C Web services activities | ||
| Designated liaison for WS Arch. WG; Katia Sycara | ||
| Experiment | ||
| Use cases | ||
| Finding the “80/20” line | ||
| Profiles: relationship with processes | ||
| Process modeling: many issues | ||
| Variability of public/private aspects of Processes | ||
| Extending to offline (sub)processes | ||
| Generalizing to multiple roles | ||
| Failure, transactions | ||
| Where and how to go beyond DAML+OIL? | ||
| Interface between DL ontology, logical expressions, algorithm/workflow representation | ||
| Connecting with Industry | ||
| Showing compelling value | ||
| Not promising too much | ||
| Providing an incremental path | ||
| Focus on use cases č architecture | ||
| Joint committee forming … | ||
| Move to OWL | ||
| Model information services | ||
| Profile: More substantial illustrative taxonomies | ||
| Tie in with existing taxonomies where possible (e.g. UNSPSC) | ||
| Process Model | ||
| Evaluate potential tie-in with an existing effort (WSFL?) | ||
| Support real-world use | ||
| Describing and using public WSDL services | ||
| Possible collaborations with other SemWeb projects | ||
| Demos directed towards Web services community | ||
| Tools | ||
| DAML-S API | ||
What’s Next for
DAML-S:
2 Key Challenge Areas
| Presenter: Sheila McIlraith | |
| Stanford | |
| Knowledge Systems Laboratory |
Joint US Europe Semantic Web Services Committee
| Presenter: Katia Sycara | |
| Carnegie Mellon University |
| Bring together US and European Semantic Web Services researchers | ||
| Engage in collaborative standardization efforts | ||
| DAML-S language | ||
| Semantic Web Services Architecture | ||
| Possible outcome is a W3C Note | ||
| Language Technical Committee | ||
| Co-chairs: David Martin and TBD | ||
| Architecture Technical Committee | ||
| Co-chairs: Mark Burstein and Christoph Bussler | ||
| Industrial Advisory Board | ||
| Advisory Committee | ||
| Murray Burke, Hans-Georg Stork, Jim Hendler | ||
| Coordinating Committee | ||
| Co-chairs: Dieter Fensel and Katia Sycara | ||
| http://iswc2003.semanticweb.org | |
| Location: Sundial Resort, Sanibel Island, Fla, USA | |
| Dates:: 20-23 October 2003 | |
| Paper Submission Date: April 15, 2003 | |
| Workshop Proposals Submission Date: December 16, 2002 | |
| Tutorial Proposal Submission Date: Feburary 28, 2003 | |
| Demo Proposal Submission Date: July 13, 2003 |
| Organizing Committee | |
| General Chair: Dieter Fensel | |
| Program Chair: Katia Sycara | |
| Program Co-Chair: John Mylopoulos | |
| Tutorial Chair: Asun Gomez-Perez | |
| Workshop Chairs: Sheila McIlraith and Dimitris Plexousakis | |
| Industrial Track Chair: Christoph Bussler | |
| Poster Chair: Raphael Malyankar | |
| Finance Chair: Jerome Euzenat | |
| Publicity Chair: Mike Dean | |
| Local Arrangements Chair: Jeff Bradshaw | |
| Sponsor Chairs: Ying Ding and Massimo Paolucci | |
| Registration Chair: Atanas Kyriakov | |
| Demo Chair: Jeff Heflin |