the upml framework and irs-ii
DESCRIPTION
The UPML Framework and IRS-II. John Domingue, Liliana Cabral & Enrico Motta Knowledge Media Institute The Open University, UK. Outline. Overview of web services UPML – knowledge level modelling paradigm Classification Library IRS-I Demo quickly configuring an apple classifier - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/1.jpg)
The UPML Framework and IRS-II
John Domingue, Liliana Cabral & Enrico Motta
Knowledge Media Institute
The Open University, UK
![Page 2: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/2.jpg)
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
![Page 3: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/3.jpg)
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
![Page 4: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/4.jpg)
ServiceRegistry
ServiceRequester
ServiceProvider
ServiceDescription
WebService
PublishFind
Bind
WS – Usage scenario
![Page 5: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/5.jpg)
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
![Page 6: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/6.jpg)
![Page 7: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/7.jpg)
Application Areas
• E-commerce– Integrating supply chains, Brokering, Shopping
bots, etc..
• E-science– Data Analysis, Discovery, Integration, etc..
• Knowledge Management– Information search, personalization,
![Page 8: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/8.jpg)
Limitations of WS Technology
• Manual Discovery
• Manual Invocation
• Manual (ad hoc) Mediation
• Manual (ad hoc) Composition
![Page 9: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/9.jpg)
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
![Page 10: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/10.jpg)
Positioning Semantic Web Services
Web(URI, HTML, HTTP)
Web Services(UDDI, WSDL, SOAP)
Semantic Web(RDF, OWL)
Semantic Web Services
Dynamic
Static
Syntax Semantics
![Page 11: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/11.jpg)
![Page 12: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/12.jpg)
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
![Page 13: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/13.jpg)
UPML FrameworkUPML Framework
![Page 14: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/14.jpg)
UPML FrameworkUPML Framework
![Page 15: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/15.jpg)
UPML FrameworkUPML Framework
![Page 16: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/16.jpg)
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
![Page 17: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/17.jpg)
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}
![Page 18: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/18.jpg)
Classification Task Ontology
• 70 Definitions
• Provides both a theory of classification and a vocabulary to describe classification problems
• Ontology is separated from task specifications
![Page 19: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/19.jpg)
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
![Page 20: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/20.jpg)
Classification Task (1/2)
![Page 21: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/21.jpg)
Classification Task (2/2)
![Page 22: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/22.jpg)
Specific Classification Tasks
• Single-Solution Classification Task– Single-solution assumption
• Optimal Classification Tasks– Goal requires optimality
![Page 23: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/23.jpg)
Problem Solving Library
• Based on heuristic classification model
• Includes both data-directed and solution-directed methods
• Supported by a method ontology
![Page 24: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/24.jpg)
Heuristic Classification Model
Clancey, AI Journal, 27, 1985
Heuristic Match
Abstraction
Data
DataAbstractions
SolutionsAbstractions
Refinement
Solutions
![Page 25: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/25.jpg)
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
![Page 26: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/26.jpg)
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
![Page 27: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/27.jpg)
Task-Method Hierarchy
abstraction
heuristic-classification-psm
classification
rank-solutions refinement
basic-heuristic-matchselect-abstractor one-step-abstraction collect-refiners apply-refiners
abstraction-psm refinement-psmrank-solutions-psm
![Page 28: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/28.jpg)
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!
![Page 29: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/29.jpg)
Classification TaskOntology
Heuristic ClassificationOntology
Apple Heuristic ClassificationApplication
Classification TaskSpecification
Classification-to-Class-RepresentationMapping Ontology
AppleDomain Model
Heuristic ClassificationPSMs
![Page 30: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/30.jpg)
Demo
![Page 31: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/31.jpg)
IRS-II: Integrating UPML and Web Services
![Page 32: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/32.jpg)
The Internet Reasoning Service is an infrastructure for publishing, locating, executing and composing semantic web services, organized according to the task/method/domain framework
![Page 33: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/33.jpg)
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
![Page 34: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/34.jpg)
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
![Page 35: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/35.jpg)
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)))))))
![Page 36: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/36.jpg)
Grounding
• Soap-based
• Done at task level
![Page 37: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/37.jpg)
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))))))
![Page 38: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/38.jpg)
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)))
![Page 39: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/39.jpg)
IRS Server
Domain Models
Method Specifications+ Registry of Implementors
Task Specifications+ SOAP Binding
IRS Publisher
S O
A P
IRS Client
SOAP
IRS Publisher
IRS Publisher
IRS Publisher
Lisp
Java
Java WS
IRS-II Framework
![Page 40: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/40.jpg)
![Page 41: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/41.jpg)
Patient Shipping Scenario
![Page 42: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/42.jpg)
Patient Shipping Scenario
![Page 43: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/43.jpg)
Money Related Services
![Page 44: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/44.jpg)
Medical Related Services
![Page 45: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/45.jpg)
Patient Shipping Demo
![Page 46: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/46.jpg)
Task Spec
![Page 47: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/47.jpg)
Method Spec
![Page 48: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/48.jpg)
Supporting Definitions
![Page 49: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/49.jpg)
Hospital Bed Service Task
![Page 50: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/50.jpg)
Hospital Bed Service PSM
![Page 51: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/51.jpg)
Hip Hip Hospital PSM
![Page 52: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/52.jpg)
Multiple Hospital PSMs
![Page 53: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/53.jpg)
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
![Page 54: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/54.jpg)
Java API
• achieveTask • createOntology • getOntologyProperties • updateOntologyProperties • deleteOntology • saveTaskDescription • getTaskDescription • deleteTaskDescription • savePSMDescription • getPSMDescription • deletePSMDescription • publishHttpGetRequest • publishLispFunction • publishJavaClass• publishWebServiceWSDL
![Page 55: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/55.jpg)
LispWeb Server
IRS-II Architecture
IRS-II Server
PSM Publisher Registry
OCML
UPML Library
Wilbur
OWL-S Handler
OWL HandlerOWL
OWL-S
RDF
Browser
Invocation Client
Task/PSM Editors
Publishing Clients
SOAP Handler
SOAP
Publishing Platforms
Web Service
Java Code
Web ApplicationSOAP
BrowserHandler
PublisherHandler
InvocationHandler
Java
API
![Page 56: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/56.jpg)
Generic Publishing Platform Architecture
IRS-II Publishing Platform
HTTP Server
SOAP Handler
ServiceRegistrar
ServiceInvoker
PSM Service Registry
IRS-II Server
Invocation Client
SOAP
SOAP
Publishing Clients
SOAP
Web Service 1
Web Service 2
Web Service 3Web Service 4
![Page 57: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/57.jpg)
IRS Browser/Editor Demo
User Name: knowledgewebPassword: summerschool
![Page 58: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/58.jpg)
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
![Page 59: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/59.jpg)
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?)
![Page 60: The UPML Framework and IRS-II](https://reader036.vdocuments.site/reader036/viewer/2022062720/56813507550346895d9c5641/html5/thumbnails/60.jpg)
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