WSMO-Lite: Lightweight Descriptions of Services on the Web

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 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 " ?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 .

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]

WSMO-Lite: Lightweight Descriptions of Services on the Web

Recomendados

Recomendados

Mais conteúdo relacionado

Mais procurados

Mais procurados (13)

Destaque

Destaque (7)

Semelhante a WSMO-Lite: Lightweight Descriptions of Services on the Web

Semelhante a WSMO-Lite: Lightweight Descriptions of Services on the Web (20)

Último

Último (20)

WSMO-Lite: Lightweight Descriptions of Services on the Web