Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
WSMO-Lite Description
@prefix rdfs : <http://www.w3.org/2000/01/ rdf −schema#> .
@prefix rdf : <http://www.w3.org/1999/02/22−rdf−syntax−ns#> .
@prefix wsl : <http:// www.wsmo.org /ns/ wsmo−lite #> .
@prefix ex: <http://example.org/onto#> .
@prefix xs : <http://www.w3.org/2001/XMLSchema#> .
@prefix wsml : <http:// www.wsmo.org / wsml / wsml −syntax#> .
<> a wsl:Ontology.ex:Customer a rdfs:Class .
ex:hasService a rdf:Property ;
rdfs:domain ex:Customer ;
rdfs:range ex:Service .
ex:Service a rdfs:Class .
ex:hasConnection a rdf:Property ;
rdfs:domain ex:Customer ;
rdfs:range ex:NetworkConnection .
ex:NetworkConnection a rdfs:Class .
ex:providesBandwidth a rdf:Property ;
rdfs:domain ex:NetworkConnection ;
rdfs:range xs:integer .
ex:VideoOnDemandService rdfs:subClassOf ex:Service .
ex:VideoOnDemandSubscriptionPrecondition a wsl:Condition ;
rdf:value ””” ?customer[ ex#hasConnection hasValue ?connection] memberOf ex#Customer and ?connection[ ex#providesBandwidth hasValue ?y] memberOf ex#NetworkConnection and ?y > 1000”””ˆˆ wsml:AxiomLiteral .
…