Presentation is loading. Please wait.

Presentation is loading. Please wait.

The UPML Framework, IRS-I and IRS-II John Domingue, Liliana Cabral & Enrico Motta Knowledge Media Institute The Open University, UK.

Similar presentations


Presentation on theme: "The UPML Framework, IRS-I and IRS-II John Domingue, Liliana Cabral & Enrico Motta Knowledge Media Institute The Open University, UK."— Presentation transcript:

1 The UPML Framework, IRS-I and IRS-II John Domingue, Liliana Cabral & Enrico Motta Knowledge Media Institute The Open University, UK

2 Outline Overview of web services UPML – knowledge level modelling paradigm Classification Library IRS-I Demo –quickly configuring an apple classifier IRS-II – capability driven web service invocation Patient Shipping Scenario (Demo) Preparation for afternoon hands on session

3 Web Service in a nutshell Web of documents -> web of reusable software components A piece of software available over the Internet which can be invoked through a standardized (normally XML-based) messaging system

4 Service Registry Service Requester Service Provider Service Description Web Service Publish Find Bind WS – Usage scenario

5 What’s the big deal? In U.S. Web Services Market Analysis, 2002 IDC predicts that Web services will become the dominant distributed computing architecture in the next 10 years. Web services will drive software, services and hardware sales of $21 billion in the U.S. by 2007 and will reach $27 billion in 2010. Web services promise easy access to remote content and application functionality, independently of the provider's platform, the location, the service implementation, or the data format. Kuassi Mensah, Oracle Exposure of capabilities

6

7 Application Areas E-commerce –Integrating supply chains, Brokering, Shopping bots, etc.. E-science –Data Analysis, Discovery, Integration, etc.. Knowledge Management –Information search, personalization,

8 Limitations of WS Technology Manual Discovery Manual Invocation Manual (ad hoc) Mediation Manual (ad hoc) Composition

9 Semantic differences remain the primary roadblock to smooth application integration, one which Web Services alone won't overcome. Until someone finds a way for applications to understand each other, the effect of Web services technology will be fairly limited. When I pass customer data across [the Web] in a certain format using a Web Services interface, the receiving program has to know what that format is. You have to agree on what the business objects look like. And no one has come up with a feasible way to work that out yet -- not Oracle, and not its competitors... --- Oracle Chairman and CEO Larry Ellison

10 Positioning Semantic Web Services Web (URI, HTML, HTTP) Web Services (UDDI, WSDL, SOAP) Semantic Web (RDF, OWL) Semantic Web Services Dynamic Static Syntax Semantics

11

12 Motivation Mismatch between users view and web service functionalities –Requires web service centred and user (community) centred semantic representations Users want to carry out tasks or achieve goals Richer semantics required for automatic web service location, selection, mediation, composition, brokering

13 UPML Framework

14

15

16 Classification Classification can be seen as the problem of finding the solution (class), which best explains a set of known facts (observables), according to some criterion Solution Observables Candidate Sols. Classification Solution Criterion

17 Example Observables Candidate Sols. Criterion Classification Solution {background=green; area=china...} Complete-coverage-criterion (every observable has to be explained) {chinese-granny, dutch-granny, etc..} {chinese-granny}

18 Classification Task Ontology 70 Definitions Provides both a theory of classification and a vocabulary to describe classification problems Ontology is separated from task specifications

19 Generic Classification Task Input roles –Candidate Solutions, Match Criterion, Solution Criterion, Observables Output Roles –Solutions Precondition –Both observables and candidate solutions have to be provided Goal –To find a solution from the candidate solutions which is admissible with respect to the given observables, solution criterion and match criterion

20 Classification Task (1/2)

21 Classification Task (2/2)

22 Specific Classification Tasks Single-Solution Classification Task –Single-solution assumption Optimal Classification Tasks –Goal requires optimality

23 Problem Solving Library Based on heuristic classification model Includes both data-directed and solution-directed methods Supported by a method ontology

24 Heuristic Classification Model Clancey, AI Journal, 27, 1985 Heuristic Match Abstraction Data Abstractions Solutions Abstractions Refinement Solutions

25 Method Ontology: Main Concepts Abstractors –Mechanism for performing abstraction on observables –Abstractor: Obs* -> Obs Refiners –Mechanism for specialising a solution –Refiner: Sol -> Sol* Candidate Exclusion Criterion –A criterion which is used to decide when a search path is a dead-end –Default criterion rules out inconsistent solutions

26 3 Heuristic Classification PSMs Two Data-directed –Admissible Solution Classifier Finds one admissible solution according to the given criteria Uses backtracking hill climbing –Optimal Classifier Performs complete search looking for optimal solution Uses best-first strategy Uses candidate exclusion criterion to prune search space One Solution-directed –Goes down the solution hierarchy, acquiring observables as needed –Ask for observables with max discrimination power

27 Task-Method Hierarchy

28 Example Apple Domain –Originally developed in Amsterdam Solutions = Apple Types = {granny, noble, delicious...} Hierarchy of Apple Types Features = {bkg-colour, fg-colour, rusty....} Pretty trivial really!

29

30 Demo

31 IRS-II: Integrating UPML and Web Services

32 The Internet Reasoning Service is an infrastructure for publishing, locating, executing and composing semantic web services, organized according to the task/method/domain framework

33 Features of IRS-II (1/2) Based on Soap messaging standard Provides API for client applications Provides built-in brokering and service discovery support Provides capability-centred service invocation

34 Features of IRS-II (2/2) Publishing support for variety of platforms –Java, Lisp, Web Applications, Java Web Services Enables publication of ‘standard code’ –Provides clever wrappers automatically, which turn code into web services –One-click publishing of web services Integrated with standard Web Services world –Published code appears as Semantic web service to IRS ‘Ordinary’ web service to web service world

35 Task Spec (def-class exchange_rate_provision (goal-specification-task) ?task ((has-input-role :value has_source_currency :value has_target_currency) (has-output-role :value has_exchange_rate) (has_source_currency :type currency :cardinality 1) (has_target_currency :type currency :cardinality 1) (has_exchange_rate :type positive-number) (has-precondition :value (kappa (?psm) (and (currency (role-value ?psm has_source_currency)) (currency (role-value ?psm has_target_currency))))) (has-goal-expression :value (kappa (?psm ?sol) (= ?sol (the_official_exchange_rate (role-value ?psm has_source_currency) (role-value ?psm has_target_currency)))))))

36 Grounding Soap-based Done at task level

37 Toplevel Exchange Rate Method (def-class exchange-rate-provider (primitive-method) ?psm ((has-input-role :value has_source_currency :value has_target_currency) (has-output-role :value has-exchange-rate) (has_source_currency :type currency :cardinality 1) (has_target_currency :type currency :cardinality 1) (has-exchange-rate :type positive-number) (has-precondition :value (kappa (?s) (stock_available (role-value ?psm has_target_currency))))))

38 Exchange Rate Methods (def-class european-exchange-rate-provider (exchange-rate-provider) ?psm () :own-slots ((applicability-condition (kappa (?psm) (european-currency (role-value ?psm 'has_source_currency)))) (tackles-task-type exchange_rate_provision))) (def-class non-european-exchange-rate-provider (exchange-rate-provider) ?psm () :own-slots ((applicability-condition (kappa (?psm) (non-european-currency (role-value ?psm 'has_source_currency)))) (tackles-task-type exchange_rate_provision)))

39 IRS Server Domain Models Method Specifications + Registry of Implementors Task Specifications + SOAP Binding IRS Publisher S O A P IRS Client SOAP IRS Publisher Lisp Java Java WS IRS-II Framework

40

41 Patient Shipping Scenario

42

43 Money Related Services

44 Medical Related Services

45 Patient Shipping Demo

46 Task Spec

47 Method Spec

48 Supporting Definitions

49 Hospital Bed Service Task

50 Hospital Bed Service PSM

51 Hip Hip Hospital PSM

52 Multiple Hospital PSMs

53 Valid Relations Classes are unary relations –e.g. (currency ?x) Slots are binary relations –e.g. (has-author ?x ?y) Standard relations in akt-reference ontology =, ==,, member

54 Java API achieveTask createOntology getOntologyProperties updateOntologyProperties deleteOntology saveTaskDescription getTaskDescription deleteTaskDescription savePSMDescription getPSMDescription deletePSMDescription publishHttpGetRequest publishLispFunction publishJavaClass publishWebServiceWSDL

55 LispWeb Server IRS-II Architecture IRS-II Server PSM Publisher Registry OCML UPML Library Wilbur OWL-S Handler OWL Handler OWL OWL-S RDF Browser Invocation Client Task/PSM Editors Publishing Clients SOAP Handler SOAPSOAP Publishing Platforms Web Service Java Code Web Application SOAP Browser Handler Publisher Handler Invocation Handler JavaAPIJavaAPI

56 Generic Publishing Platform Architecture IRS-II Publishing Platform HTTP Server SOAP Handler Service Registrar Service Invoker PSM Service Registry IRS-II Server Invocation Client SOAP Publishing Clients SOAP Web Service 1 Web Service 2 Web Service 3 Web Service 4

57 IRS Browser/Editor Demo User Name: knowledgeweb Password: summerschool

58 IRS, OWL-S and WSMO IRS-II and WSMO model user requests (task or goal) –IRS-II has task (goal) based invocation IRS-II and WSMO model mediation OWL-S and WSMO include non-functional properties WSMO splits composition into orchestration and choreography Formalisms –OWL-S: OWL – DL (handling conditions?) –IRS-II: OCML (import/export to RDF(S), OWL, OWL-S, WSMO (planned)) –WSMO: WSML- F-Logic (OWL Compatibility?)

59 Summary Web services require rich semantic annotation to automate location selection, mediation etc UPML framework composed of ontology supported tasks, problem solving methods and domain models Classification Library IRS-II integrates web services with PSMs PSMs tied to tasks via tackles task and applicability conditions

60 A Stack of Standards? HTTP XML-S XML SOAP WSDL UDDI BEPL4 WS URI WS- CDL RDF RDF-S OWL WSML OWL-S WSMO WSMX IRS-III


Download ppt "The UPML Framework, IRS-I and IRS-II John Domingue, Liliana Cabral & Enrico Motta Knowledge Media Institute The Open University, UK."

Similar presentations


Ads by Google