SlideShare a Scribd company logo

WSMO-Lite

•Download as PPT, PDF•
•
T
Tomas Vitvar
TechnologyEducation
1 of 22
WSMO-Lite: Lightweight Semantic Descriptions for Services on the Web Tomas Vitvar, Jacek Kopecký, Maciej Zaremba, Dieter Fensel <first.last@deri.org> Maciej Zaremba maciej . zaremba @deri.org The 5 th IEEE European Conference on Web Services (E COWS 2007) November 26 - 28 , 2007, Halle , Germany
Problem statement ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
To refresh: WSDL structure ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
SAWSDL in a picture
SAWSDL in a few words ,[object Object],[object Object],[object Object]
What semantics are needed? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Information semantics ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Mapping information semantics to RDF
Functional semantics ,[object Object],[object Object],[object Object],[object Object]
WSMO-Lite ontology for capability lso:Capability rdf:type rdfs:Class . lso:hasPrecondition rdf:type rdf:Property . rdfs:domain lso:Capability ; rdfs:range lso:Axiom . lso:hasEffect rdf:type rdf:Property ; rdfs:domain lso:Capability ; rdfs:range lso:Axiom . lso:Axiom rdf:type rdfs:Class .
Example capability ex:VideoOnDemanSubscription rdf:type lso:Capability ; lso:hasPrecondition &quot; ?customer[hasConnection hasValue ?connection] memberOf Customer and ?service[requiresBandwidth hasValue ?x] memberOf Service and ?connection[providesBandwidth hasValue ?y] memberOf NetworkConnection and ?y > ?x &quot;^^wsml:AxiomLiteral . lso:hasEffect &quot; ?bundle[hasService hasValue ?service and hasConnection hasValue ?connection] memberOf Bundle &quot;^^wsml:AxiomLiteral .
Capability restriction ,[object Object],[object Object],[object Object],[object Object]
Behavioral semantics ,[object Object],[object Object],[object Object],[object Object],[object Object]
WSMO-Lite ontology for choreography lso:Choreography rdf:type rdfs:Class . lso:hasInClass rdf:Type rdfs:Property ; rdfs:domain lso:Choreography ; rdfs:range rdfs:Class . lso:hasOutClass rdf:Type rdfs:Property ; rdfs:domain lso:Choreography ; rdfs:range rdfs:Class . lso:hasRule rdf:Type rdfs:Property ; rdfs:domain lso:Choreography ; rdfs:range lso:Rule . lso:Rule rdf:Type rdfs:Class .
Non-functional semantics ,[object Object],[object Object]
SAWSDL placement of the various semantics
Consistency and completeness rules ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Related work ,[object Object],[object Object]
Open discussion points ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Conclusions on WSMO-Lite ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Resources ,[object Object],[object Object],[object Object]
Feedback ,[object Object]

Recommended

Java web services
Java web servicesJava web services
Java web services
kumar gaurav
 
Xml schema
Xml schemaXml schema
Xml schema
Dr.Saranya K.G
 
Java Web services
Java Web servicesJava Web services
Java Web services
Sujit Kumar
 
Web services SOAP
Web services SOAPWeb services SOAP
Web services SOAP
princeirfancivil
 
Web Service Presentation
Web Service PresentationWeb Service Presentation
Web Service Presentation
guest0df6b0
 
Web service
Web serviceWeb service
Web service
Vaithiyanathan Govindarajan
 
Java Web Services
Java Web ServicesJava Web Services
Java Web Services
Jussi Pohjolainen
 
Web service Introduction
Web service IntroductionWeb service Introduction
Web service Introduction
Madhukar Kumar
 

Recommended

Java web services
Java web servicesJava web services
Java web services
kumar gaurav
 
Xml schema
Xml schemaXml schema
Xml schema
Dr.Saranya K.G
 
Java Web services
Java Web servicesJava Web services
Java Web services
Sujit Kumar
 
Web services SOAP
Web services SOAPWeb services SOAP
Web services SOAP
princeirfancivil
 
Web Service Presentation
Web Service PresentationWeb Service Presentation
Web Service Presentation
guest0df6b0
 
Web service
Web serviceWeb service
Web service
Vaithiyanathan Govindarajan
 
Java Web Services
Java Web ServicesJava Web Services
Java Web Services
Jussi Pohjolainen
 
Web service Introduction
Web service IntroductionWeb service Introduction
Web service Introduction
Madhukar Kumar
 
Web Service
Web ServiceWeb Service
Web Service
Ashwani kumar
 
Intro to web services
Intro to web servicesIntro to web services
Intro to web services
Neil Ghosh
 
Ntg web services
Ntg web servicesNtg web services
Ntg web services
Farag Zakaria
 
Web Service Implementation Using ASP.NET
Web Service Implementation Using ASP.NETWeb Service Implementation Using ASP.NET
Web Service Implementation Using ASP.NET
Ponraj
 
webservices overview
webservices overviewwebservices overview
webservices overview
elliando dias
 
Web services tutorial
Web services tutorialWeb services tutorial
Web services tutorial
prathap kumar
 
REST vs SOAP
REST vs SOAPREST vs SOAP
REST vs SOAP
Juan Luis Pérez
 
[2015/2016] The REST architectural style
[2015/2016] The REST architectural style[2015/2016] The REST architectural style
[2015/2016] The REST architectural style
Ivano Malavolta
 
Java web services soap rest training from hyderabad
Java web services soap rest training from hyderabadJava web services soap rest training from hyderabad
Java web services soap rest training from hyderabad
FuturePoint Technologies
 
Simple object access protocol(soap )
Simple object access protocol(soap )Simple object access protocol(soap )
Simple object access protocol(soap )
balamurugan.k Kalibalamurugan
 
WebServices Basic Introduction
WebServices Basic IntroductionWebServices Basic Introduction
WebServices Basic Introduction
Shahid Shaik
 
Web Services
Web ServicesWeb Services
Web Services
Krish
 
Client protocol connectivity flow in Exchange 2013/2007 coexistence | Introdu...
Client protocol connectivity flow in Exchange 2013/2007 coexistence | Introdu...Client protocol connectivity flow in Exchange 2013/2007 coexistence | Introdu...
Client protocol connectivity flow in Exchange 2013/2007 coexistence | Introdu...
Eyal Doron
 
WSMO-Lite: Lightweight Descriptions of Services on the Web
WSMO-Lite: Lightweight Descriptions of Services on the WebWSMO-Lite: Lightweight Descriptions of Services on the Web
WSMO-Lite: Lightweight Descriptions of Services on the Web
Tomas Vitvar
 
Semantic Web Meets Software Engineering Panel
Semantic Web Meets Software Engineering PanelSemantic Web Meets Software Engineering Panel
Semantic Web Meets Software Engineering Panel
Tomas Vitvar
 
Is it time for a Connector-less Approach to Cloud Integration?
Is it time for a Connector-less Approach to Cloud Integration? Is it time for a Connector-less Approach to Cloud Integration?
Is it time for a Connector-less Approach to Cloud Integration?
Akana
 
Delivering on Personalization with the Power of APIs
Delivering on Personalization with the Power of APIsDelivering on Personalization with the Power of APIs
Delivering on Personalization with the Power of APIs
Akana
 
Manage Your Mesh
Manage Your MeshManage Your Mesh
Manage Your Mesh
Akana
 
Webcast: Pragmatic REST: The Next Generation
Webcast: Pragmatic REST: The Next GenerationWebcast: Pragmatic REST: The Next Generation
Webcast: Pragmatic REST: The Next Generation
Apigee | Google Cloud
 
API Description Languages: Which is the Right One for Me?
API Description Languages: Which is the Right One for Me?API Description Languages: Which is the Right One for Me?
API Description Languages: Which is the Right One for Me?
Akana
 
API Description Languages
API Description LanguagesAPI Description Languages
API Description Languages
Akana
 
Another API-Blueprint, RAML and Swagger Comparison
Another API-Blueprint, RAML and Swagger ComparisonAnother API-Blueprint, RAML and Swagger Comparison
Another API-Blueprint, RAML and Swagger Comparison
SmartBear
 

More Related Content

What's hot

Intro to web services
Intro to web servicesIntro to web services
Intro to web services
Neil Ghosh
 
Web Service Implementation Using ASP.NET
Web Service Implementation Using ASP.NETWeb Service Implementation Using ASP.NET
Web Service Implementation Using ASP.NET
Ponraj
 
webservices overview
webservices overviewwebservices overview
webservices overview
elliando dias
 
Java web services soap rest training from hyderabad
Java web services soap rest training from hyderabadJava web services soap rest training from hyderabad
Java web services soap rest training from hyderabad
FuturePoint Technologies
 

What's hot (13)

Web Service
Web ServiceWeb Service
Web Service
 
Intro to web services
Intro to web servicesIntro to web services
Intro to web services
 
Ntg web services
Ntg web servicesNtg web services
Ntg web services
 
Web Service Implementation Using ASP.NET
Web Service Implementation Using ASP.NETWeb Service Implementation Using ASP.NET
Web Service Implementation Using ASP.NET
 
webservices overview
webservices overviewwebservices overview
webservices overview
 
Web services tutorial
Web services tutorialWeb services tutorial
Web services tutorial
 
REST vs SOAP
REST vs SOAPREST vs SOAP
REST vs SOAP
 
[2015/2016] The REST architectural style
[2015/2016] The REST architectural style[2015/2016] The REST architectural style
[2015/2016] The REST architectural style
 
Java web services soap rest training from hyderabad
Java web services soap rest training from hyderabadJava web services soap rest training from hyderabad
Java web services soap rest training from hyderabad
 
Simple object access protocol(soap )
Simple object access protocol(soap )Simple object access protocol(soap )
Simple object access protocol(soap )
 
WebServices Basic Introduction
WebServices Basic IntroductionWebServices Basic Introduction
WebServices Basic Introduction
 
Web Services
Web ServicesWeb Services
Web Services
 
Client protocol connectivity flow in Exchange 2013/2007 coexistence | Introdu...
Client protocol connectivity flow in Exchange 2013/2007 coexistence | Introdu...Client protocol connectivity flow in Exchange 2013/2007 coexistence | Introdu...
Client protocol connectivity flow in Exchange 2013/2007 coexistence | Introdu...
 

Viewers also liked

WSMO-Lite: Lightweight Descriptions of Services on the Web
WSMO-Lite: Lightweight Descriptions of Services on the WebWSMO-Lite: Lightweight Descriptions of Services on the Web
WSMO-Lite: Lightweight Descriptions of Services on the Web
Tomas Vitvar
 
Semantic Web Meets Software Engineering Panel
Semantic Web Meets Software Engineering PanelSemantic Web Meets Software Engineering Panel
Semantic Web Meets Software Engineering Panel
Tomas Vitvar
 

Viewers also liked (9)

WSMO-Lite: Lightweight Descriptions of Services on the Web
WSMO-Lite: Lightweight Descriptions of Services on the WebWSMO-Lite: Lightweight Descriptions of Services on the Web
WSMO-Lite: Lightweight Descriptions of Services on the Web
 
Semantic Web Meets Software Engineering Panel
Semantic Web Meets Software Engineering PanelSemantic Web Meets Software Engineering Panel
Semantic Web Meets Software Engineering Panel
 
Is it time for a Connector-less Approach to Cloud Integration?
Is it time for a Connector-less Approach to Cloud Integration? Is it time for a Connector-less Approach to Cloud Integration?
Is it time for a Connector-less Approach to Cloud Integration?
 
Delivering on Personalization with the Power of APIs
Delivering on Personalization with the Power of APIsDelivering on Personalization with the Power of APIs
Delivering on Personalization with the Power of APIs
 
Manage Your Mesh
Manage Your MeshManage Your Mesh
Manage Your Mesh
 
Webcast: Pragmatic REST: The Next Generation
Webcast: Pragmatic REST: The Next GenerationWebcast: Pragmatic REST: The Next Generation
Webcast: Pragmatic REST: The Next Generation
 
API Description Languages: Which is the Right One for Me?
API Description Languages: Which is the Right One for Me?API Description Languages: Which is the Right One for Me?
API Description Languages: Which is the Right One for Me?
 
API Description Languages
API Description LanguagesAPI Description Languages
API Description Languages
 
Another API-Blueprint, RAML and Swagger Comparison
Another API-Blueprint, RAML and Swagger ComparisonAnother API-Blueprint, RAML and Swagger Comparison
Another API-Blueprint, RAML and Swagger Comparison
 

Similar to WSMO-Lite

Facilitating Busines Interoperability from the Semantic Web
Facilitating Busines Interoperability from the Semantic WebFacilitating Busines Interoperability from the Semantic Web
Facilitating Busines Interoperability from the Semantic Web
Roberto García
 
A hands on overview of the semantic web
A hands on overview of the semantic webA hands on overview of the semantic web
A hands on overview of the semantic web
Marakana Inc.
 
Lee Iverson - How does the web connect content?
Lee Iverson - How does the web connect content?Lee Iverson - How does the web connect content?
Lee Iverson - How does the web connect content?
Museums Computer Group
 

Similar to WSMO-Lite (20)

Facilitating Busines Interoperability from the Semantic Web
Facilitating Busines Interoperability from the Semantic WebFacilitating Busines Interoperability from the Semantic Web
Facilitating Busines Interoperability from the Semantic Web
 
Automating the Use of Web APIs through Lightweight Semantics
Automating the Use of Web APIs through Lightweight SemanticsAutomating the Use of Web APIs through Lightweight Semantics
Automating the Use of Web APIs through Lightweight Semantics
 
A year on the Semantic Web @ W3C
A year on the Semantic Web @ W3CA year on the Semantic Web @ W3C
A year on the Semantic Web @ W3C
 
Linked services
Linked servicesLinked services
Linked services
 
Understanding and Developing Web Services - For DBAs and Developers (whitepaper)
Understanding and Developing Web Services - For DBAs and Developers (whitepaper)Understanding and Developing Web Services - For DBAs and Developers (whitepaper)
Understanding and Developing Web Services - For DBAs and Developers (whitepaper)
 
Report on Work of Joint DCMI/IEEE LTSC Task Force
Report on Work of Joint DCMI/IEEE LTSC Task ForceReport on Work of Joint DCMI/IEEE LTSC Task Force
Report on Work of Joint DCMI/IEEE LTSC Task Force
 
A hands on overview of the semantic web
A hands on overview of the semantic webA hands on overview of the semantic web
A hands on overview of the semantic web
 
A Hands On Overview Of The Semantic Web
A Hands On Overview Of The Semantic WebA Hands On Overview Of The Semantic Web
A Hands On Overview Of The Semantic Web
 
Semantic web
Semantic webSemantic web
Semantic web
 
Semantic Web Services: State of the Art
Semantic Web Services: State of the ArtSemantic Web Services: State of the Art
Semantic Web Services: State of the Art
 
Web Services
Web ServicesWeb Services
Web Services
 
Web Services
Web ServicesWeb Services
Web Services
 
Semantics
SemanticsSemantics
Semantics
 
Facet: Building Web Pages with SPARQL
Facet: Building Web Pages with SPARQLFacet: Building Web Pages with SPARQL
Facet: Building Web Pages with SPARQL
 
Lee Iverson - How does the web connect content?
Lee Iverson - How does the web connect content?Lee Iverson - How does the web connect content?
Lee Iverson - How does the web connect content?
 
Semantic web Technology
Semantic web TechnologySemantic web Technology
Semantic web Technology
 
interoperability: the value of recombinant potential
interoperability: the value of recombinant potentialinteroperability: the value of recombinant potential
interoperability: the value of recombinant potential
 
The Standardization of Semantic Web Ontology
The Standardization of Semantic Web OntologyThe Standardization of Semantic Web Ontology
The Standardization of Semantic Web Ontology
 
The Glory of Rest
The Glory of RestThe Glory of Rest
The Glory of Rest
 
Wsdl1
Wsdl1Wsdl1
Wsdl1
 

Recently uploaded

Finding Java's Hidden Performance Traps @ DevoxxUK 2024
Finding Java's Hidden Performance Traps @ DevoxxUK 2024Finding Java's Hidden Performance Traps @ DevoxxUK 2024
Finding Java's Hidden Performance Traps @ DevoxxUK 2024
Victor Rentea
 
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Victor Rentea
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Angeliki Cooney
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
sammart93
 
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Orbitshub
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FMECloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Safe Software
 

Recently uploaded (20)

MS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectorsMS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectors
 
Six Myths about Ontologies: The Basics of Formal Ontology
Six Myths about Ontologies: The Basics of Formal OntologySix Myths about Ontologies: The Basics of Formal Ontology
Six Myths about Ontologies: The Basics of Formal Ontology
 
Finding Java's Hidden Performance Traps @ DevoxxUK 2024
Finding Java's Hidden Performance Traps @ DevoxxUK 2024Finding Java's Hidden Performance Traps @ DevoxxUK 2024
Finding Java's Hidden Performance Traps @ DevoxxUK 2024
 
Strategies for Landing an Oracle DBA Job as a Fresher
Strategies for Landing an Oracle DBA Job as a FresherStrategies for Landing an Oracle DBA Job as a Fresher
Strategies for Landing an Oracle DBA Job as a Fresher
 
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challenges
 
Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyArtificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : Uncertainty
 
AWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of TerraformAWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of Terraform
 
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
 
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWEREMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
 
Vector Search -An Introduction in Oracle Database 23ai.pptx
Vector Search -An Introduction in Oracle Database 23ai.pptxVector Search -An Introduction in Oracle Database 23ai.pptx
Vector Search -An Introduction in Oracle Database 23ai.pptx
 
FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024
 
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FMECloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
 
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodPolkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
 
Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...Apidays New York 2024 - The value of a flexible API Management solution for O...
Apidays New York 2024 - The value of a flexible API Management solution for O...
 
Elevate Developer Efficiency & build GenAI Application with Amazon Q​
Elevate Developer Efficiency & build GenAI Application with Amazon Q​Elevate Developer Efficiency & build GenAI Application with Amazon Q​
Elevate Developer Efficiency & build GenAI Application with Amazon Q​
 
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
 

WSMO-Lite

  • 1. WSMO-Lite: Lightweight Semantic Descriptions for Services on the Web Tomas Vitvar, Jacek Kopecký, Maciej Zaremba, Dieter Fensel <first.last@deri.org> Maciej Zaremba maciej . zaremba @deri.org The 5 th IEEE European Conference on Web Services (E COWS 2007) November 26 - 28 , 2007, Halle , Germany
  • 2.
  • 3.
  • 4. SAWSDL in a picture
  • 5.
  • 6.
  • 7.
  • 9.
  • 10. WSMO-Lite ontology for capability lso:Capability rdf:type rdfs:Class . lso:hasPrecondition rdf:type rdf:Property . rdfs:domain lso:Capability ; rdfs:range lso:Axiom . lso:hasEffect rdf:type rdf:Property ; rdfs:domain lso:Capability ; rdfs:range lso:Axiom . lso:Axiom rdf:type rdfs:Class .
  • 11. Example capability ex:VideoOnDemanSubscription rdf:type lso:Capability ; lso:hasPrecondition &quot; ?customer[hasConnection hasValue ?connection] memberOf Customer and ?service[requiresBandwidth hasValue ?x] memberOf Service and ?connection[providesBandwidth hasValue ?y] memberOf NetworkConnection and ?y > ?x &quot;^^wsml:AxiomLiteral . lso:hasEffect &quot; ?bundle[hasService hasValue ?service and hasConnection hasValue ?connection] memberOf Bundle &quot;^^wsml:AxiomLiteral .
  • 12.
  • 13.
  • 14. WSMO-Lite ontology for choreography lso:Choreography rdf:type rdfs:Class . lso:hasInClass rdf:Type rdfs:Property ; rdfs:domain lso:Choreography ; rdfs:range rdfs:Class . lso:hasOutClass rdf:Type rdfs:Property ; rdfs:domain lso:Choreography ; rdfs:range rdfs:Class . lso:hasRule rdf:Type rdfs:Property ; rdfs:domain lso:Choreography ; rdfs:range lso:Rule . lso:Rule rdf:Type rdfs:Class .
  • 15.
  • 16. SAWSDL placement of the various semantics
  • 17.
  • 18.
  • 19.
  • 20.
  • 21.
  • 22.