1 / 23

Knowledge Creation Tools for DAML

Knowledge Creation Tools for DAML. Grit Denker, Jerry R. Hobbs , David Martin Srini Narayanan , Richard Waldinger. SRI International. Outline. DAML-S A Service Markup Language . Process Models for Web-services Core theories and markup for transactions, processes, time , interactions

neil-mercer
Download Presentation

Knowledge Creation Tools for DAML

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. Knowledge Creation Tools for DAML Grit Denker, Jerry R. Hobbs, David MartinSrini Narayanan, Richard Waldinger SRI International

  2. Outline • DAML-S A Service Markup Language. • Process Models for Web-services • Core theories and markup for transactions, processes, time, interactions • Execution Semantics, monitoring, and simulation-- DEMO • Other Work-in-progress • Theories & inference for the Semantic Web • Models of Security and Trust • Resource Site Construction Tool • DAML+OIL plugin to Protégé – DEMO • FrameNet in DAML

  3. DAML-S: Goals • Full automation of service use • DAML markups provide enough info for an agent to find, select, enact and use a service never before encountered • Service requests handled seamlessly with information queries • Allow for composition of both • Many components & tools can work for both • Search & selection, ontology translation, … • Support inference in selecting and using services Joint work with Stanford-KSL, CMU, BBN, Nokia

  4. Service Ontology: Top-level Classes Service Resource provides presents supports DescribedBy ServiceProfile ServiceGrounding ServiceModel What theservice does How to access it How it works

  5. Process Upper Ontology

  6. Time Ontology Intervals during startOf endOf Process inside atTime Instants before Future Developments: Temporal Measurement Clock and Calendar

  7. (Simple) Process“What does it do?” • Requirements for use; results of use • “Black box” view: Information needed to execute an atomic service • Inputs, outputs, preconditions, effects, … • “Binding rules” for inputs, outputs • “Roles” involved • May vary for different service classes • Can employ logical rules, conditional I/0, effects. • Atomic Transaction

  8. Service Model“How does it work?” • Semantic description of a service • “Glass box” view • Detailed characterization of what it does • May vary for different service classes • Analogous to procedure body (but abstract)

  9. B2C Purchase: ProcessModel Compositeservice Locate-Goods Put-in-Cart Check-out Sign-in Create-Account Load-Prefs Create-Prefs Simple or compositeservices One-Step Select-Payment-Method Specify-Delivery-Address Giftwrap Finalize

  10. Congo.daml (partial) <rdfs:Class rdf:ID="CongoBuyBook"> <daml:intersectionOf rdf:parseType="daml:collection"> <daml:Class rdf:about="process:Sequence"/> <daml:Restriction> <daml:onProperty rdf:resource="process:components"/> <daml:toClass> <process:-seqOf- rdf:parseType="daml:collection"> <rdfs:Class rdf:about="#TopLevelBuyChoice"/> <rdfs:Class rdf:about="#SpecifyDeliveryDetails"/> <rdfs:Class rdf:about="#FinalizeBuy"/> </process:-seqOf-> </daml:toClass> </daml:Restriction> </daml:intersectionOf> </rdfs:Class>

  11. Process Model and Inference • Model • Graphical Model is constructed recursively from DAML Markup • Model is stochastic and can simulate execution • Integrated into OAA and SNARK • Inference • Verfication, deadlock, reachability analysis, and performance analysis (such as forward-backward computing Viterbi paths).

  12. Sequence(T1,T2) finish start Ongoing P3 P1 T2 P2 T1

  13. concurrent (T1, T2, T3) P1 T1 start P2 T2 finish P3 T3 bypass

  14. concur_sync (T1, T2, T3) P1 T1 P1 P2 start T2 P1 finish P3 T3 P1

  15. unordered (T1, T2, T3) P1 T1 start P2 T2 finish P3 T3

  16. Execution Semantics • Model is a high level Stochastic Petri Net and has a well specified execution semantics. • Being extended to the more expressive Rewriting Logic (joint with Jose Meseguer) • Rewriting Logic is a logic of distributed systems. • There is a widely used rewriting logic tool, Maude. More at http://maude.csl.sri.com

  17. Status • Process Tool ready for release , pending stable DAML-S. • DAML-S 0.5 at http://www.daml.org/services/ • Joint work with Stanford KSL, CMU, BBN, Yale, Nokia • SRI’s DAML work is described at http://www.ai.sri.com/daml

  18. What’s Hot • DAML-S is a serious attempt to use DAML+OIL. • Process Modeling Tool for DAML-S descriptions • Execution Semantics • Resources, • Execution monitoring • Simulation • Inference

  19. What’s hard • DAML-S expressivity/naturalness issues • How to define scripts • How to define unification constraints, etc.. • Services are like verbs, ontologies are more natural to represent nouns. • Achieving and maintaining consensus • Coordinating with industry standards • With existing industry proposals • ex. XLANG

More Related