|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
Presenter: Sheila McIlraith |
|
Stanford |
|
Knowledge Systems Laboratory |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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 |
|
Notes