DAML-S: Bringing Services to the Semantic Web

Daml s bringing services to the semantic web l.jpg
1 / 41
754 days ago, 234 views
PowerPoint PPT Presentation
David Martin for DAML-S Coalition 12/18/2002 . DAML-S Web Services Coalition. BBN: Mark BursteinCMU: Massimo Paolucci, Katia SycaraICSI: Srini NarayananNokia: Ora LassilaStanford KSL: Sheila McIlraith*SRI: David Martin* S

Presentation Transcript

Slide 1

DAML-S: Bringing Services to the Semantic Web David Martin SRI International http://www.daml.org/administrations/

Slide 2

DAML-S Web Services Coalition 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 * Contributed to these slides

Slide 3

Outline Motivation & Goals DAML-S specialized review Profile, Process & Grounding ontologies Achievements to date Releases, devices & applications Challenges Next Steps

Slide 4

Convergence on Services Commercial sellers, media, forecasters, and so forth. Intra nets, not simply bury nets W3C Web administrations endeavors Semantic Web people group DAML-S; WSMF & other EU endeavors ISWC: 10 administrations related papers, 7 blurbs Grid processing (OGSA) Ubiquitous registering (gadgets) Mobile access to administrations  A surprising open door Bringing behavioral knowledge to the Web

Slide 5

What is DAML? A DARPA program A contribution to the W3C Semantic Web movement Draft for the Web Ontology working gathering A markup dialect www.daml.org

Slide 6

Characteristics of DAML Based on XML & RDF(S) Beyond RDF: properties of properties, identicalness and disjointness of classes, more requirements, and so forth. Highlight examination: https://www.daml.org/dialect/features.html Layered approach XML => RDF(S) => DAML+OIL => (DAML-L) => DAML-S Semantics for Web assets from Knowledge Representation ideas DAML+OIL: can be viewed as a depiction rationale Ontologies Logical tenets & deduction DAML-S: Extension to Services

Slide 7

What is DAML-S? D ARPA A gent M arkup L anguage for S ervices A DAML+OIL cosmology/dialect for (formally) portraying properties and abilities of Web administrations An approach that draws on many sources Description rationale AI arranging Workflow Formal process demonstrating Agents Web administrations http://www.daml.org/administrations/

Slide 8

DAML+OIL  OWL (Ontology) RDFS (RDF Schema) RDF (Resource Description Framework) XML (Extensible Markup Language) Layered Approach to Language Development DAML-S: a noteworthy utilization of DAML+OIL Future variants will expand after rising layers (e.g. DAML-Rules) DAML-S (Services) DAML-??? (Rules, FOL?)

Slide 9

DAML-S Objectives Automation of administration use by programming specialists Ideal: undeniable utilization of administrations at no other time experienced: disclosure, choice, sythesis, summon, checking Useful in "this present reality" Compatible with industry principles Incremental misuse Enable thinking/arranging about administrations e.g., On-the-fly creation Integrated use without hardly lifting a finger of utilization; effective apparatuses

Slide 10

Automation Enabled by DAML-S Web benefit revelation Find me a transportation administration that vehicles merchandise to Dubai. Web benefit conjuring Buy me 500 lbs. powdered drain from www.acmemoo.com Web benefit choice & structure Arrange sustenance for 500 individuals for 2 weeks in Dubai. Web benefit execution checking Has the powdered drain been requested and paid for yet?

Slide 11

Upper Ontology of Services Ontology pictures compliments of Terry Payne, University of Southampton

Slide 12

Service Profile: "What does it do?" High-level portrayal/rundown of an administration Used for Populating administration registries An administration can have many profiles Automated administration revelation Service choice (matchmaking) One can infer: Service notices Service asks for

Slide 13

Service Profile Non Functional Properties Functionality Description

Slide 14

Service Profile: Capability Description Specification of what the administration gives High-level practical portrayal as far as: preconditions sources of info (contingent) yields (restrictive) impacts Summarizes the top-level Process (depicted by Service Model)

Slide 15

Service Profile: Functional Attributes Provide supporting data about the administration, including: geological degree Pizza Delivery just inside the Pittsburgh zone quality portrayals and ensures Stock cites conveyed inside 10 secs benefit sorts, benefit classes Commercial/Problem Solving and so on administration parameters Average Response time is at present ...

Slide 16

Service Profile: Styles of utilization Class-various leveled business index Implicit capacity portrayal Arrangement of properties on class progressive system Can utilize different legacy Process outlines for arranging purposes More express Inputs, yields, preconditions, impacts Less dependence on formal various leveled association Summarizes handle demonstrate specs

Slide 17

Exploiting Taxonomies of Services name supplier role+ avgResponseTime? … ServiceProfile feeBasis+ paymentMethod+ FeeBased ProductProviding Service ActionService Physical_ Product+ Manufacturing InfoService Information Product+ physicalProduct+ manufacturer+ deliveryRegion* deliveryProvider* deliveryType PhysicalProduct Service Repair physicalProduct+ Tie in with UDDI, UNSPSC, … DL Basis for matchmaking Multiple profiles; different scientific categorizations transportationMode+ geographicRegion+ Transportation

Slide 18

Upper Ontology of Services

Slide 19

Process Model: "How can it work?" Service Model "How can it work?" Process Interpretable portrayal of specialist co-op's conduct Tells benefit client how and when to collaborate (read/compose messages) & Process control Ontology of process state; underpins status questions (stubbed out at present) Used for: Service summon, arranging/organization , interoperation , observing All procedures have Inputs, yields, preconditions and impacts Function/dataflow allegory; activity/handle analogy Composite procedures Control stream Data stream

Slide 20

Service Model/Process Model

Slide 21

Function/Dataflow Metaphor Input: Output: client name cause goal weight pickup date ... affirmation no. ... Top Book Truck Shipment Y truck accessible + legitimate Mastercard ? N disappointment warning …

Slide 22

Acme Book Truck Shipment AI-motivated Action/Process Metaphor Output: affirmation no. ... Input: client name beginning goal pickup date ... products at area if effective charge card charged... Impact: Y truck accessible + legitimate charge card ? Preconditions: N learning of the information ... disappointment notice … Output: <no effect> Effect:

Slide 23

Composite Process Output & Effects Input & Preconditions AcmeTruckShpng affirmation no. ... client name area auto sort dates Visa no. ... www.acmecar.com book auto benefit ? disappointment warning … ? affirmation no. ... affirmation no. dates room sort Mastercard no. ... www.acmehotel.com book lodging administration affirmation no. ... ? client name flight numbers dates Mastercard no. ... www.acmeair.com book flight benefit ? disappointment notice … disappointment warning errror data …

Slide 24

Confirm Shipping Region truck accessible + legitimate charge card N Acme Truck Shipping Service Y extends Get Quote Get Shipping Dates Book Truck Shipment Simple and Composite Processes AcmeTruckShpng ExpandedAcmeTruckShpng

Slide 25

Process Model: Recent advancement Conditional yields & impacts Parameter ties <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 points of confinement of DAML+OIL expressiveness

Slide 26

Upper Ontology of Services

Slide 27

Service Grounding: "How to get to it" Implementation-particular Message organizing, transport systems, conventions, serializations of sorts Service Model + Grounding give everything required for utilizing the administration Examples: HTTP frames, SOAP, KQML, CORBA IDL, OAA ICL, Java RMI

Slide 28

DAML-S/WSDL Grounding Web Services Description Language Authored by IBM, Ariba, Microsoft Focus of W3C Web Services Description WG Commercial force Specifies message sentence structure acknowledged/created by correspondence ports Bindings to well known message/transport guidelines (SOAP, HTTP, MIME) Abstract "sorts"; extensibility components Complementary with DAML-S

Slide 29

DAML-S DL-based Types Process Model Inputs/Outputs Atomic Process Message Operation Binding to SOAP, HTTP, and so forth. WSDL

Slide 30

DAML-S/WSDL Grounding (cont'd)

Slide 31

DAML-S/WSDL Grounding (cont'd) WSDL Document <message … > <part … > <message … > <part … > <operation … > <binding … > daml-property inputX daml-property outputY daml-s-handle Atomic Process

Slide 32

Review: Upper Ontology of Services

Slide 33

Key: Publication Profile Discovery Simulation Selection Process Model Verification Composition Invocation, Interoperation Grounding Monitoring, Recovery Development … Deployment … Use …

Slide 34

Path of Evolution Release 0.5 (May 2001) Initial Profile & Process ontologies Release 0.6 (December 2001) Refinements to Profile & Process Resources philosophy Two ways to deal with formal semantics Sycara/Ankolekar, McIlraith/Narayanan Release 0.7 (October 2002) DAML-S/WSDL Grounding Profile, Process Model refinements More entire cases Towards 1.0 Expressiveness issues; prepare displaying; industry tie-in

Slide 35

Related Activities Web webpage & mailing records http://www.daml.org/administrations/www-ws@w3.org Users UMCP (Hendler/Parsia), UMBC (Finin), Manchester (Goble), CMU (Sade