Example washingmachine

Example washingmachine

Turtle

@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix saref: <https://saref.etsi.org/core/> .
@prefix ex: <https://saref.etsi.org/core/v3.1.1/example/washingmachine/> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix dctype: <http://purl.org/dc/dcmitype/> .
@prefix dcterms: <http://purl.org/dc/terms/> .

<https://saref.etsi.org/core/v3.1.1/example/washingmachine#> a dctype:Dataset ;
  dcterms:license <https://forge.etsi.org/etsi-software-license> ;
  dcterms:conformsTo <https://saref.etsi.org/core/v3.1.1/> ;
  dcterms:title "Example washingmachine"@en ;
  dcterms:description "Example washingmachine"@en .

time:Instant a owl:Class .
time:Interval a owl:Class .
time:inXSDDateTime a owl:DatatypeProperty .
time:hasBeginning a owl:ObjectProperty .
time:hasEnd a owl:ObjectProperty .

ex:WashingMachine rdf:type owl:Class ;
                     rdfs:subClassOf saref:Appliance ,
#                                     saref:Load ,
                                     [ rdf:type owl:Restriction ;
                                       owl:onProperty saref:hasFunction ;
                                       owl:someValuesFrom saref:StartStopFunction
                                     ] ,
                                     [ rdf:type owl:Restriction ;
                                       owl:onProperty saref:hasProfile ;
                                       owl:someValuesFrom saref:Profile
                                     ] ,
                                     [ rdf:type owl:Restriction ;
                                       owl:onProperty saref:hasState ;
                                       owl:someValuesFrom saref:StartStopState
                                     ] ;
                     rdfs:comment "A device of category saref:Appliance and saref:Load that performs an actuating function of type saref:StartStopFunction, can be found in the state saref:StartStopState, and can have a saref:Profile that characterizes its energy consumption. A saref:WashingMachine is typically used to saref:accomplish saref:Washing. "@en ;
                     rdfs:label "Washing machine"@en .


ex:BuildingSpace_LaundryRoom
#  rdf:type saref:BuildingSpace ;
  rdfs:label "Laundry room"^^xsd:string ;
#  saref:contains ex:WashingMachine_WM802 ;
#  saref:hasSpaceType "Laundry room"^^xsd:string ;
.

ex:Instant_1
  rdf:type time:Instant ;
  rdfs:label "Instant 1"^^xsd:string ;
  time:inXSDDateTime "2015-03-17T11:10:50.53"^^xsd:dateTime ;
.
ex:Instant_2
  rdf:type time:Instant ;
  rdfs:label "Instant 2"^^xsd:string ;
  time:inXSDDateTime "2015-03-17T12:30:51.116"^^xsd:dateTime ;
.
ex:Interval_1
  rdf:type time:Interval ;
  rdfs:label "Interval 1"^^xsd:string ;
  time:hasBeginning ex:Instant_1 ;
  time:hasEnd ex:Instant_2 ;
.
ex:OnOffFunction_1
  rdf:type saref:OnOffFunction ;
  rdfs:label "On off function 1"^^xsd:string ;
.
ex:Power_value1
  rdf:type saref:Power ;
  rdfs:label "Power value 1"^^xsd:string ;
  saref:hasValue "0.65"^^xsd:string ;
  saref:isMeasuredIn <http://www.wurvoc.org/vocabularies/om-1.8/kilowatt> ;
.
ex:Power_value2
  rdf:type saref:Power ;
  rdfs:label "Power value2"^^xsd:string ;
  saref:hasValue "0.40"^^xsd:string ;
  saref:isMeasuredIn <http://www.wurvoc.org/vocabularies/om-1.8/kilowatt> ;
.
ex:Price_value1
  rdf:type saref:Price ;
  rdfs:label "Price value1"^^xsd:string ;
  saref:hasValue "0.2"^^xsd:string ;
  saref:isMeasuredIn <http://www.wurvoc.org/vocabularies/om-1.8/euro> ;
.
ex:Profile_1
  rdf:type saref:Profile ;
  rdfs:label "Profile 1"^^xsd:string ;
#  saref:hasConsumption ex:Power_value2 ;
  saref:hasPrice ex:Price_value1 ;
#  saref:isFlexible "true"^^xsd:boolean ;
#  saref:isInterruptionPossible "false"^^xsd:boolean ;
.
ex:StartCommand
  rdf:type saref:StartCommand ;
  rdfs:label "START command "^^xsd:string ;
  saref:actsUpon ex:StopState ;
  saref:isCommandOf ex:StartStopFunction ;
.
ex:StartService
  rdf:type saref:Service ;
  rdfs:label "Start service 1"^^xsd:string ;
#  saref:hasInputParameter ex:StopState ;
#  saref:hasOutputParameter ex:StartState ;
  saref:isOfferedBy ex:WashingMachine_WM802 ;
  saref:represents ex:StartStopFunction ;
.
ex:StartState
  rdf:type saref:StartState ;
  rdfs:label "Start state"^^xsd:string ;
.
ex:StartStopFunction
  rdf:type saref:StartStopFunction ;
  rdfs:label "Start stop function "^^xsd:string ;
  saref:hasCommand ex:StartCommand ;
  saref:hasCommand ex:StopCommand ;
.
ex:StopCommand
  rdf:type saref:StopCommand ;
  rdfs:label "STOP command "^^xsd:string ;
  saref:actsUpon ex:StartState ;
  saref:isCommandOf ex:StartStopFunction ;
.
ex:StopState
  rdf:type saref:StopState ;
  rdfs:label "Stop state"^^xsd:string ;
.
ex:WashingMachine_WM802
  rdf:type ex:WashingMachine ;
  rdfs:label "Washing machine WM802"^^xsd:string ;
  saref:accomplishes saref:Washing ;
#  saref:hasCategory saref:Appliance ;
##  saref:hasCategory saref:Load ;
  saref:hasDescription "Washing machine WM802 is an example of how to instantiate a washing machine using SAREF"^^xsd:string ;
  saref:hasFunction ex:StartStopFunction ;
  saref:hasManufacturer "manufacturer-hgfds"^^xsd:string ;
  saref:hasModel "45609WQ"^^xsd:string ;
  saref:hasProfile ex:Profile_1 ;
  saref:hasState ex:StartState ;
  saref:hasState ex:StopState ;
  saref:hasTypicalConsumption ex:Power_value1 ;
#  saref:isLocatedIn ex:BuildingSpace_LaundryRoom ;
  saref:offers ex:StartService ;
.