@prefix ex: <https://saref.etsi.org/saref4ener/v1.1.2/example/heatingsystem/> .
@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 s4ener: <https://saref.etsi.org/saref4ener/> .
@prefix saref: <https://saref.etsi.org/core/> .
@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/saref4ener/v1.1.2/example/heatingsystem#> a dctype:Dataset ;
  dcterms:license <https://forge.etsi.org/etsi-software-license> ;
  dcterms:conformsTo <https://saref.etsi.org/saref4ener/v1.1.2/> ;
  dcterms:title "Example heatingsystem"@en ;
  dcterms:description "Example heatingsystem"@en .

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

time:Beginning_PowerProfile-1-HS0001
  rdf:type time:Instant ;
  rdfs:label "Beginning Power profile-1-HS0001"^^xsd:string ;
  time:inXSDDateTime "2016-12-15T00:01:01.01"^^xsd:dateTime ;
.
time:Beginning_PowerSequence-HS0001_afternoon
  rdf:type time:Instant ;
  rdfs:label "Beginning Power sequence-HS0001 afternoon"^^xsd:string ;
  time:inXSDDateTime "2016-12-15T15:30:00.00"^^xsd:dateTime ;
.
time:Beginning_PowerSequence-HS0001_morning
  rdf:type time:Instant ;
  rdfs:label "Beginning Power sequence-HS0001 morning"^^xsd:string ;
  time:inXSDDateTime "2016-12-15T08:45:00.00"^^xsd:dateTime ;
.
time:DateTimeInterval_PowerProfile-1-HS0001
  rdf:type time:DateTimeInterval ;
  rdfs:label "Date time interval Power profile-1-HS0001"^^xsd:string ;
  time:hasBeginning time:Beginning_PowerProfile-1-HS0001 ;
  time:hasEnd time:End_PowerProfile-1-HS0001 ;
.
time:End_PowerProfile-1-HS0001
  rdf:type time:Instant ;
  rdfs:label "End Power profile-1-HS0001"^^xsd:string ;
  time:inXSDDateTime "2016-12-15T00:23:59.59"^^xsd:dateTime ;
.
time:End_PowerSequence-HS0001_afternoon
  rdf:type time:Instant ;
  rdfs:label "End Power sequence-HS0001 afternoon"^^xsd:string ;
  time:inXSDDateTime "2016-12-15T00:18:00.00"^^xsd:dateTime ;
.
time:End_PowerSequence-HS0001_morning
  rdf:type time:Instant ;
  rdfs:label "End Power sequence-HS0001 morning"^^xsd:string ;
  time:inXSDDateTime "2016-12-15T00:12:00.00"^^xsd:dateTime ;
.
time:PowerSequence-HS0001_afternoon
  rdf:type time:DateTimeInterval ;
  rdfs:label "Power sequence-HS0001 afternoon"^^xsd:string ;
  time:hasBeginning time:Beginning_PowerSequence-HS0001_afternoon ;
  time:hasEnd time:End_PowerSequence-HS0001_afternoon ;
.
time:PowerSequence-HS0001_morning
  rdf:type time:DateTimeInterval ;
  rdfs:label "Power sequence-HS0001 morning"^^xsd:string ;
  time:hasBeginning time:Beginning_PowerSequence-HS0001_morning ;
  time:hasEnd time:End_PowerSequence-HS0001_morning ;
.
s4ener:AlternativesGroup-1-HS0001
  rdf:type s4ener:AlternativesGroup ;
  rdfs:label "Alternatives group-1-HS0001"^^xsd:string ;
  saref:consistsOf s4ener:PowerSequence-1-HS0001 ;
  s4ener:alternativesGroupID 1 ;
  s4ener:belongsTo s4ener:PowerProfile-1-HS0001 ;
.
s4ener:AlternativesGroup-2-HS0001
  rdf:type s4ener:AlternativesGroup ;
  rdfs:label "Alternatives group-2-HS0001"^^xsd:string ;
  saref:consistsOf s4ener:PowerSequence-2-HS0001 ;
  saref:consistsOf s4ener:PowerSequence-3-HS0001 ;
  s4ener:alternativesGroupID 2 ;
  s4ener:belongsTo s4ener:PowerProfile-1-HS0001 ;
.
s4ener:EndTimeDurationDescription_PS-1-HS0001
  rdf:type s4ener:EndTimeDurationDescription ;
  rdfs:label "End time duration description PS-1-HS0001"^^xsd:string ;
.
s4ener:EndTime_PS-1-HS0001
  rdf:type s4ener:EndTime ;
  rdfs:label "End time PS-1-HS0001"^^xsd:string ;
.
s4ener:Energy_1
  rdf:type s4ener:Energy ;
  rdfs:label "Energy 1"^^xsd:string ;
  saref:isMeasuredByDevice s4ener:HeatingSystem ;
.
s4ener:Heating
  rdf:type saref:Task ;
  rdfs:label "Heating"^^xsd:string ;
.
s4ener:HeatingSystem
  rdf:type s4ener:Device ;
  rdfs:label "Heating system"^^xsd:string ;
  saref:accomplishes saref:EnergyEfficiency ;
  saref:accomplishes s4ener:Heating ;
  saref:hasDescription "Heating system HS0001 is an example of how to instantiate a heating system with hot water tank using SAREF4ENER"^^xsd:string ;
.
s4ener:Measurement_1
  rdf:type saref:Measurement ;
  rdfs:label "Measurement 1"^^xsd:string ;
  saref:hasValue "0.2"^^xsd:string ;
  saref:isMeasuredIn <http://www.wurvoc.org/vocabularies/om-1.8/kilowatt_hour> ;
  saref:relatesToProperty s4ener:Energy_1 ;
.
s4ener:Measurement_2
  rdf:type saref:Measurement ;
  rdfs:label "Measurement 2"^^xsd:string ;
  saref:hasValue "0.2"^^xsd:string ;
  saref:isMeasuredIn <http://www.wurvoc.org/vocabularies/om-1.8/kilowatt> ;
  saref:relatesToProperty s4ener:Power_1 ;
.
s4ener:PowerProfile-1-HS0001
  rdf:type s4ener:PowerProfile ;
  rdfs:label "Power profile-1-HS0001"^^xsd:string ;
  saref:consistsOf s4ener:AlternativesGroup-1-HS0001 ;
  saref:consistsOf s4ener:AlternativesGroup-2-HS0001 ;
  saref:hasTime s4ener:Time_PowerProfile-1-HS0001 ;
  saref:isAbout s4ener:Energy_1 ;
  saref:isAbout s4ener:Power_1 ;
  s4ener:alternativesCount 2 ;
  s4ener:belongsTo s4ener:HeatingSystem ;
  s4ener:nodeRemoteControllable "true"^^xsd:boolean ;
  s4ener:supportsReselection "true"^^xsd:boolean ;
  s4ener:supportsSingleSlotSchedulingOnly "true"^^xsd:boolean ;
  s4ener:totalSequencesCountMax "1"^^xsd:unsignedInt ;
.
s4ener:PowerSequence-1-HS0001
  rdf:type s4ener:PowerSequence ;
  rdfs:label "Power sequence-1-HS0001"^^xsd:string ;
  saref:consistsOf s4ener:Slot-1-HS0001 ;
  saref:hasTime time:PowerSequence-HS0001_morning ;
  saref:hasTime s4ener:StartTime_1 ;
  s4ener:belongsTo s4ener:AlternativesGroup-1-HS0001 ;
  s4ener:isPausable "false"^^xsd:boolean ;
  s4ener:isStoppable "false"^^xsd:boolean ;
.
s4ener:PowerSequence-2-HS0001
  rdf:type s4ener:PowerSequence ;
  rdfs:label "Power sequence-2-HS0001"^^xsd:string ;
  saref:consistsOf s4ener:Slot-2-HS0001 ;
  saref:hasTime time:PowerSequence-HS0001_afternoon ;
  saref:hasTime s4ener:StartTime_1 ;
  s4ener:belongsTo s4ener:AlternativesGroup-2-HS0001 ;
  s4ener:greenest "true"^^xsd:boolean ;
  s4ener:isPausable "false"^^xsd:boolean ;
  s4ener:isStoppable "false"^^xsd:boolean ;
.
s4ener:PowerSequence-3-HS0001
  rdf:type s4ener:PowerSequence ;
  rdfs:label "Power sequence-3-HS0001"^^xsd:string ;
  saref:consistsOf s4ener:Slot-3-HS0001 ;
  saref:hasTime time:PowerSequence-HS0001_afternoon ;
  saref:hasTime s4ener:StartTime_1 ;
  s4ener:belongsTo s4ener:AlternativesGroup-2-HS0001 ;
  s4ener:cheapest "true"^^xsd:boolean ;
  s4ener:isPausable "false"^^xsd:boolean ;
  s4ener:isStoppable "false"^^xsd:boolean ;
.
s4ener:Power_1
  rdf:type s4ener:Power ;
  rdfs:label "Power 1"^^xsd:string ;
  saref:isMeasuredByDevice s4ener:HeatingSystem ;
  saref:relatesToMeasurement s4ener:Measurement_2 ;
.
s4ener:Slot-1-HS0001
  rdf:type s4ener:Slot ;
  rdfs:label "Slot 1 HS0001"^^xsd:string ;
  s4ener:belongsTo s4ener:PowerSequence-1-HS0001 ;
  s4ener:hasEnergyValueType s4ener:Energy_1 ;
  s4ener:hasPowerValueType s4ener:Power_1 ;
  s4ener:slotNumber "1"^^xsd:unsignedInt ;
.
s4ener:Slot-2-HS0001
  rdf:type s4ener:Slot ;
  rdfs:label "Slot 2 HS0001"^^xsd:string ;
  s4ener:belongsTo s4ener:PowerSequence-2-HS0001 ;
  s4ener:slotNumber "2"^^xsd:unsignedInt ;
.
s4ener:Slot-3-HS0001
  rdf:type s4ener:Slot ;
  rdfs:label "Slot 3 HS0001"^^xsd:string ;
  s4ener:belongsTo s4ener:PowerSequence-3-HS0001 ;
  s4ener:slotNumber "3"^^xsd:unsignedInt ;
.
s4ener:StartTimeDurationDescription_1
  rdf:type s4ener:StartTimeDurationDescription ;
  rdfs:label "Start time duration description 1"^^xsd:string ;
  s4ener:xsdDuration "PT0H5M"^^xsd:duration ;
.
s4ener:StartTime_1
  rdf:type s4ener:StartTime ;
  rdfs:label "Start time 1"^^xsd:string ;
  time:hasDurationDescription s4ener:StartTimeDurationDescription_1 ;
.
s4ener:Time_PowerProfile-1-HS0001
  rdf:type saref:Time ;
  rdfs:label "Time Power profile-1-HS0001"^^xsd:string ;
  saref:consistsOf time:DateTimeInterval_PowerProfile-1-HS0001 ;
.