
295fcd7d1034310330f9aee617ef3242.ppt
- Количество слайдов: 175
Kashif Iqbal, Uwe Keller, Adrian Mocan, Matthew Moran, Dumitru Roman
Objectives of Tutorial
Contents
Have been converging However, despite enthusiasm for OGSI, adoption within Web community turned out to be problematic
Have been converging
The General Vision
The General Vision
Ontologies
Ontologies – Breakdown
Ontologies - Concepts
Contents
WSMO - Introduction
WSMO
WSMO Top Level Notions
Non-Functional Properties (1)
Non-Functional Properties (2)
WSMO Ontologies
Ontology Specification
Concepts in Ontologies
Relations in Ontologies
Axioms in Ontologies
Instances in Ontologies
WSMO Goals
Goals
Goal Specification (1)
Goal Specification (2)
WSMO Web Services
Service Descriptions (1)
Service Descriptions (2)
Service Descriptions (3)
Service Capability (1)
Service Capability (2)
WSMO Mediators
Mediation
WSMO Mediators Overview
Mediator Structure
GG Mediators
Contents
WSML – Overview, Syntax and Variants
Rationale of WSML
Syntaxes for WSML
Variants of WSML
Variants of WSML (contd. )
Variants of WSML (contd. )
WSML Logical Expressions
WSML Goals and Web Services
WSML-Core
WSML-Core - Example
WSML-Core - Syntax
WSML-Core - Semantics
WSML-Flight
WSML-Flight - Example
WSML-Rule
WSML-Rule - Example
WSML-DL
WSML-OWL - Example
WSML-Full
WSML Summary
Contents
Contents
Web Service vs. Service
Web Service vs. Service (II)
Automated Discovery
Descriptions & Discovery
Descriptions & Discovery (II)
A brief excursion …
Basic Web Service Model
Basic Discovery Request Model
Basic Matching Model
… and back to overview on the discovery model
Descriptions & Discovery (III)
Descriptions & Discovery (IV)
Descriptions & Discovery (V)
Descriptions & Discovery (VI)
Descriptions & Discovery (VII)
Descriptions & Discovery (VIII)
(Web) Service Discovery
Overall Discovery Process
Contents
Reasoning Support Using Flora 2/XSB
Content
</ Reasoning Support Using Flora 2/XSB >
Contents
concept communication. Device non. Functional. Properties dc: description has. Value "general class - communication device" end. Non. Functional. Properties name of. Type xsd: string width of. Type xsd: integer height of. Type xsd: integer depth of. Type xsd: integer manufacturer of. Type xsd: string has. Location of. Type loc: geographical. Location
Contents
Vampire Theorem Prover
Architecture: Compilation
WSMX Overview
WSM* and Adaptive Service Grid
Have been converging
Contents
ASG Use Case Discussion
Wrap-up
Wrap-Up
</ WSML Tutorial >
References
References
References
295fcd7d1034310330f9aee617ef3242.ppt