@prefix hr:  <http://www.wsmo.org/ns/hrests#> .
@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix wsl:  <http://www.wsmo.org/ns/wsmo-lite#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .

# hRESTS properties added to the WSMO-Lite model (copied below)
hr:hasAddress  a  rdf:Property ;
    rdfs:domain  wsl:Operation ;
    rdfs:range  hr:URITemplate .
hr:hasMethod  a  rdf:Property ;
    rdfs:domain  wsl:Operation ;
    rdfs:range  xsd:string .

# a relevant subset of the classes and properties of the WSMO-Lite minimal service model, 
# copied here for completeness
wsl:Service  a  rdfs:Class .
wsl:hasOperation  a  rdf:Property ;
    rdfs:domain  wsl:Service ;
    rdfs:range  wsl:Operation .
wsl:Operation  a  rdfs:Class .
wsl:hasInputMessage  a  rdf:Property ;
    rdfs:domain  wsl:Operation ;
    rdfs:range  wsl:Message .
wsl:hasOutputMessage  a  rdf:Property ;
    rdfs:domain  wsl:Operation ;
    rdfs:range  wsl:Message . 
wsl:Message  a  rdfs:Class .

# a datatype for URI templates
hr:URITemplate  a  rdfs:Datatype .