document
  prefix bnode <http://openprovenance.org/provtoolbox/bnode/>
  prefix rdf <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
  prefix shs <http://example.org/#>
  prefix foaf <http://http://xmlns.com/foaf#>
  
  entity(shs:resultData, [shs:desc="{status: success, state: Open}"])
  entity(shs:middleData_AQI, [shs:value="{nowPM25: 65ug/m3, nowCO2: 360ppm, nowAQI: 63}"])
  entity(shs:rawData_co2, [shs:value="0x0168"])
  entity(shs:rawData_hum1)
  entity(shs:commandData, [shs:desc="Open Device1"])
  entity(shs:commandData1)
  entity(shs:middleData_tep, [shs:value="{nowTem: 24.6℃, avgTem: 24.5℃, maxTem: 25.0℃, minTem: 20.1℃}"])
  entity(shs:finalDataSet)
  entity(shs:rawData_tep, [shs:value="0x099c"])
  entity(shs:rawData_hum, [shs:value="0x2134"])
  entity(shs:rawData_tep1)
  entity(shs:middleData_hum, [shs:value="{nowHum: 75%, avgHum: 42%, maxHum: 75%, minHum: 40%}"])
  entity(shs:derivedData)
  entity(shs:alertData_AQI, [shs:value="{severity: normal, info: 'PM2.5 is 65ug/m3, higher than 50ug/m3. Please open the Device2!''}"])
  entity(shs:configData2, [shs:modifyAtTime="2019-11-09T16:50:00" %% xsd:dateTime, shs:desc="[Humidity > 70% => Open Device1, PM2.5 > 50ug/m3 => Open Device2]"])
  entity(shs:configData1, [shs:desc="[Humidity > 80% => Open Device1, PM2.5 > 50ug/m3 => Open Device2]"])
  entity(shs:alertData_hum, [shs:value="{severity: warning, info: 'Humidity is 75%, higher than 60%. Please open the Device1!''}"])
  entity(shs:rawData_pm25, [shs:value="0x0041"])
  used(shs:aggregate, shs:middleData_hum, -)
  used(shs:send, shs:finalDataSet, -)
  used(shs:aggregate, shs:alertData_AQI, -)
  used(shs:analyze_data3, shs:rawData_co2, -)
  used(shs:aggregate, shs:alertData_hum, -)
  used(shs:aggregate, shs:middleData_AQI, -)
  used(shs:send, shs:configData2, -)
  used(shs:aggregate, shs:middleData_tep, -)
  used(shs:convert1, shs:rawData_tep, -)
  used(shs:visualize, shs:finalDataSet, -)
  used(shs:analyze_alert1, shs:middleData_hum, -)
  used(shs:analyze_alert2, shs:middleData_AQI, -)
  used(shs:convert2, shs:rawData_hum, -)
  used(shs:convert3, shs:commandData, -)
  used(shs:execute, shs:commandData1, -)
  used(shs:analyze_data1, shs:rawData_tep1, -)
  used(shs:analyze_data2, shs:rawData_hum1, -)
  used(shs:analyze_data3, shs:rawData_pm25, -)
  used(shs:modify, shs:configData1, -)
  wasAttributedTo(shs:rawData_tep1, shs:GateWay)
  wasAttributedTo(shs:rawData_tep, shs:Sensor1)
  wasAttributedTo(shs:derivedData, shs:Application)
  wasAttributedTo(shs:middleData_tep, shs:Server)
  wasAttributedTo(shs:middleData_AQI, shs:Server)
  wasAttributedTo(shs:rawData_co2, shs:Sensor4)
  wasAttributedTo(shs:resultData, shs:Device1)
  wasAttributedTo(shs:rawData_hum1, shs:GateWay)
  wasAttributedTo(shs:commandData1, shs:GateWay)
  wasAttributedTo(shs:finalDataSet, shs:Server)
  wasAttributedTo(shs:rawData_hum, shs:Sensor2)
  wasAttributedTo(shs:rawData_pm25, shs:Sensor3)
  wasAttributedTo(shs:middleData_hum, shs:Server)
  wasAssociatedWith(shs:aggregate, shs:Server, -)
  wasAssociatedWith(shs:send, shs:Server, -)
  wasAssociatedWith(shs:convert3, shs:GateWay, -)
  wasAssociatedWith(shs:convert1, shs:GateWay, -)
  wasAssociatedWith(shs:execute, shs:Device1, -)
  wasAssociatedWith(shs:visualize, shs:Application, -)
  wasAssociatedWith(shs:collect2, shs:Sensor2, -)
  wasAssociatedWith(shs:analyze_alert1, shs:Server, -)
  wasAssociatedWith(shs:analyze_alert2, shs:Server, -)
  wasAssociatedWith(shs:analyze_data3, shs:Server, -)
  wasAssociatedWith(shs:collect3, shs:Sensor3, -)
  wasAssociatedWith(shs:modify, shs:User, -)
  wasAssociatedWith(shs:collect4, shs:Sensor4, -)
  wasAssociatedWith(shs:analyze_data1, shs:Server, -)
  wasAssociatedWith(shs:collect1, shs:Sensor1, -)
  wasAssociatedWith(shs:analyze_data2, shs:Server, -)
  wasAssociatedWith(shs:convert2, shs:GateWay, -)
  wasDerivedFrom(shs:rawData_hum1, shs:rawData_hum, -, -, -)
  wasDerivedFrom(shs:alertData_hum, shs:middleData_hum, -, -, -)
  wasDerivedFrom(shs:rawData_tep1, shs:rawData_tep, -, -, -)
  wasDerivedFrom(shs:middleData_hum, shs:rawData_hum1, -, -, -)
  wasDerivedFrom(shs:middleData_tep, shs:rawData_tep1, -, -, -)
  wasDerivedFrom(shs:middleData_AQI, shs:rawData_co2, -, -, -)
  wasDerivedFrom(shs:middleData_AQI, shs:rawData_pm25, -, -, -)
  wasDerivedFrom(shs:alertData_AQI, shs:middleData_AQI, -, -, -)
  actedOnBehalfOf(shs:Sensor1, shs:Device1, -)
  actedOnBehalfOf(shs:Sensor4, shs:Device2, -)
  actedOnBehalfOf(shs:Sensor2, shs:Device1, -)
  actedOnBehalfOf(shs:Sensor3, shs:Device2, -)
  activity(shs:analyze_data1, -, -)
  activity(shs:analyze_data2, -, -)
  activity(shs:analyze_data3, -, -)
  activity(shs:convert3, -, -)
  activity(shs:convert2, -, -)
  activity(shs:aggregate, -, -)
  activity(shs:convert1, -, -)
  activity(shs:send, -, -)
  activity(shs:execute, -, -)
  activity(shs:visualize, -, -)
  activity(shs:collect4, -, -)
  activity(shs:analyze_alert2, -, -)
  activity(shs:analyze_alert1, -, -)
  activity(shs:collect2, -, -)
  activity(shs:collect3, -, -)
  activity(shs:collect1, -, -)
  wasGeneratedBy(shs:rawData_co2, shs:collect4, -)
  wasGeneratedBy(shs:resultData, shs:execute, -)
  wasGeneratedBy(shs:finalDataSet, shs:aggregate, -)
  wasGeneratedBy(shs:rawData_hum, shs:collect2, -)
  wasGeneratedBy(shs:rawData_pm25, shs:collect3, -)
endDocument