More Related Content Similar to WSMO-Lite (20) WSMO-Lite1. 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 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 " ?customer[hasConnection hasValue ?connection] memberOf Customer and ?service[requiresBandwidth hasValue ?x] memberOf Service and ?connection[providesBandwidth hasValue ?y] memberOf NetworkConnection and ?y > ?x "^^wsml:AxiomLiteral . lso:hasEffect " ?bundle[hasService hasValue ?service and hasConnection hasValue ?connection] memberOf Bundle "^^wsml:AxiomLiteral . 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 .