McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01 Maste r Ca rd 000 0000 000 000 EXP 00/00 VISA 000 0000 000 000 EXP 00/00 Jerry R. Hobbs American Express 0 00 0000 000 000 E XP 00/00 Jerry R. Hobbs DAML-S Delivery DAML-S A DAML+OIL Ontology for Web Services Brought to you by the DAML-S Web Services Coalition Image compliments of Hobbs & Connolly, SRI
32
Embed
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01 Master Card 000 0000 000 000 EXP 00/00 VISA 000 0000 000 000 EXP 00/00 Jerry R. Hobbs American.
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
Master Card000 0000 000 000
EXP 00/00
VISA
000 0000 000 000
EXP 00/00
Jerry R. Hobbs
American Express
000 0000 000 000
EXP 00/00
Jerry R. Hobbs
DAML-SDelivery
DAML-S A DAML+OIL Ontology for Web Services
Brought to you by the DAML-S Web Services Coalition
Image compliments of Hobbs & Connolly, SRI
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
DAML-S BriefingDAML-S Web Services Coalition
presented by: Sheila A. McIlraith
Knowledge Systems Laboratory (KSL)Stanford University
http://www.daml.org/services/
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
DAML-S Web Services Coalition*
CMU: Massimo Paolucci, Terry Payne, Katia Sycara
BBN: Mark Burstein
Nokia: Ora Lassila
Stanford KSL: Sheila McIlraith, Honglei Zeng
SRI: Jerry Hobbs, David Martin, Srini Narayanan
Yale: Drew McDermott
Manchester: Ian Horrocks
* Founded February, 2001
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
What is DAML-S?
DAML-S: A DARPA Agent Markup Language for Services • DAML+OIL Ontology for (Web) services
• AI-inspired markup language: • tailored to the representational needs of Services• expressive power • well-defined semantics• ontologies support reuse, mapping, succinct markup, ...
• Release of DAML-S version 0.5 June,2001
http://www.daml.org/services/
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
Layered Approach to Language Development
DAML-S (Services) DAML-L (Logic)
XML (Extensible Markup Language)
RDF (Resource Description Framework)
RDFS (RDF Schema)
DAML+OIL (Ontology)
DAML-SL
The first major application of DAML+OIL
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
DAML-S Objectives
Provide an upper ontology for describing properties & capabilities of (Web) services in an unambiguous, computer interpretable markup language.
Desiderata:
• the ontology of Web services
• ease of expressiveness
• enables automation of service use by agents
• enables reasoning about service properties and capabilities
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
Automation Enabled by DAML-S
• Web service discovery Find me a shipping service that transports goods to Dubai.
• Web service invocation Buy me 500 lbs. powdered milk from www.acmemoo.com
• Web service selection, composition and interoperation Arrange food for 500 people for 2 weeks in Dubai.
• Web service execution monitoring Has the powdered milk been ordered and paid for yet?
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
Who Will Use DAML-S?• Web service providers (e.g., Amazon, Intelink, United Airlines)
mark up their services
• 3rd party Web page designers (e.g., Web Designers) mark up clients’ services
• 2nd-ary Web service providers (e.g., Travelocity, My Simon) exploit others’ services to create add-on services use/write agent software to find/execute/compose other services
• Web service end users (e.g., Joe, Analysts) characterize their needs use/write agent software to find/execute/compose services
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
Upper Ontology of Services
Ontology images compliments of Terry Payne, CMU
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
High-level description of a service and its provider
• description of service (human readable)
• specification of functionalities service provides
• functional attributes (requirements and capabilities)
Profile used for
• populating service registries
• automated service discovery
• matchmaking
Service Profile
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
Composite Process
truck available+
valid credit card
Y
N
Confirm Shipping Region
Get Quote
Get Shipping Dates
Book Truck Shipment
Acme
Truck
Shipping
Service
expands
AcmeTruckShpng ExpandedAcmeTruckShpng
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
AcmeTruckShpng ExpAcmeTruckShpngexpand
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
Upper Ontology of Services
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
Service Grounding (under development)
• Specification of service access information
• specifies communication protocols, transport mechanisms, etc.
• E.g., SOAP, HTTP forms, Java RMI, RPC, etc.
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
Review: Upper Ontology of Services
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
Exploiting Ontologies of ServicesService
Shipping
BuyBook
AmazonBuyBook
CongoBuyBook
BuyTicket
BuyAirTicket
Purchase
AirShipping
TruckShipping
BoatShipping
AcmeTruckShipping
BuyConcertTicket
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
Related Work
Related Industrial Initiatives • UDDI • ebXML
• WSDL • .Net
• XLANG • Biztalk, e-speak, etc
These XML-based initiatives are currently complementary to DAML-S. DAML-S intends to build on top of these efforts exploiting increased expressiveness, semantics, inference that enables automation.
Related Academics Efforts
• Process Algebras (e.g., Pi Calculus)
• Process Specification Language (Hoare Logic, PSL)
• Planning Domain Definition Language (PDDL)
• Business Process Modeling (e.g., BMPL)
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
Tools and ApplicationsDAML-S provides a means of describing Web services.
It’s just another DAML+OIL ontology all the tools and technologies that exist for DAML+OIL are relevant
Some DAML-S Specific Tools and Technologies:
Extending DAML-S: DAML-S Coalition (security, symbol grounding, …)
Discovery, Matchmaking, Agent Brokering: CMU, SRI (OAA), Stanford KSL
Automated Web Service Composition: Stanford KSL, BBN/Yale/Kestrel, CMU, MIT, Nokia, SRI
DAML-S Editor: Stanford KSL, SRI, CMU (profiles), Manchester
Process Modeling Tools & Reasoning: SRI, Stanford KSL
Service Enactment /Simulation: SRI, Stanford KSL
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
ChallengesTechnical Issues
• DAML+OIL not sufficient for the process model
• Laundry list of unaddressed & resolved issues (SRI & CMU will mention some this afternoon)(some will be mentioned in Breakout tomorrow)
Connecting with Industry Initiatives & with User Community• need to connect DAML-S with industry initiatives
• need people in industry (& in DAML) to mark up services with DAML-S
• concern: industry’s lack of adoption of RDF
Tools availability• DAML+OIL reasoner
• DAML-S editor
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
ChallengesTechnical Issues
• DAML+OIL not sufficient for the process model
• Laundry list of unaddressed & resolved issues messages, synchronization, conversation protocols, exceptions and transaction,multiple participants, scripts, unification/binding, constraints, ontologies of processes,service grounding, ...
Connecting with Industry Initiatives & with User Community• need to connect DAML-S with industry initiatives
• need people in industry (& in DAML) to mark up services with DAML-S
• concern: industry’s lack of adoption of RDF
Tools availability• DAML+OIL reasoner
• DAML-S editor
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
ChallengesTechnical Issues
• DAML+OIL not sufficient for the process model
• Laundry list of unaddressed & resolved issues (SRI & CMU will mention some this afternoon)(some will be mentioned in Breakout tomorrow)
Connecting with Industry Initiatives & with User Community• need to connect DAML-S with industry initiatives
• need people in industry (& in DAML) to mark up services with DAML-S
• concern: industry’s lack of adoption of RDF
Tools availability• DAML+OIL reasoner
• DAML-S editor
McIlraith for DAML-S Coalition DAML PI Meeting 07/19/01
Status: DAML-S version 0.5 released June, 2001.
Please get involved!
Break-out Session (Friday)
*** Try DAML-S for your application *** give feedback ***