@prefix s4ehawInst: <https://saref.etsi.org/saref4ehaw/v1.1.1/example/COVIDCase/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix voaf: <http://purl.org/vocommons/voaf#> .
@prefix saref: <https://saref.etsi.org/core/> .
@prefix s4ehaw: <https://saref.etsi.org/saref4ehaw/> .
@prefix s4envi: <https://saref.etsi.org/saref4envi/> .
@prefix ssn-system: <http://www.w3.org/ns/ssn/systems/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix dctype: <http://purl.org/dc/dcmitype/> .
@base <https://saref.etsi.org/saref4ehaw/v1.1.1/example/COVIDCase/> .

<https://saref.etsi.org/saref4ehaw/v1.1.1/example/COVIDCase#> a dctype:Dataset ;
  dcterms:license <https://forge.etsi.org/etsi-software-license> ;
  dcterms:conformsTo <https://saref.etsi.org/saref4ehaw/v1.1.1/> ;
  dcterms:title "SAREF4EHAW covid use case."@en ;
  dcterms:description """In this SAREF4EHAW example/instance (from SAREF4EHAW monitoring and support of healthy lifestyles for citizens),
    This use case is about a patient of around 50 years old, Bob, with overeating habit. 
    In the actual context of Covid-19, Bob as a risky patient is thus remotely followed/monitored/controlled by a caregiver, Dr. Knock, for Covid-19 signs detection purposes.
    The patient is equipped with a BAN with an android smartphone as the BAN hub, as well as three COVID-19 related devices (wearables, sensors).
    Bob is equipped with SpireStone wearable device for breathing rate monitoring, a ScanWatch wearable for monitoring the SPO2 level and a TUCKY thermometer for the body temperature monitoring. 

Creator/contributor: Marc Girod Genet- Lina Nachabe """@en .


#################################################################
#    Individuals
#################################################################


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/AlertForHosp
s4ehawInst:AlertForHosp rdf:type owl:NamedIndividual ,
                                 saref:Service ;
                                 s4ehaw:supports s4ehawInst:SMS .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/Bluetooth
s4ehawInst:Bluetooth rdf:type owl:NamedIndividual ,
                              s4ehaw:Interface .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/Bob
s4ehawInst:Bob rdf:type owl:NamedIndividual ,
                        s4ehaw:Patient ;
                        s4ehaw:hasHabit s4ehaw:Overeating ;
                        s4ehaw:usesBan s4ehawInst:BobMonitorBan ;
                        s4ehaw:dob "1970-10-26T21:32:52"^^xsd:dateTime ;
                        s4ehaw:firstName "Bob"^^xsd:string ;
                        s4ehaw:hasGender "male"^^xsd:string ;
                        s4ehaw:hasMbox "bobwanadou@gmail.com"^^xsd:anyURI ;
                        s4ehaw:lastName "Wanadou"^^xsd:string .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobAndroidphone
s4ehawInst:BobAndroidphone rdf:type owl:NamedIndividual ,
                                    s4ehaw:BanHub .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobBodyTemp1
s4ehawInst:BobBodyTemp1 rdf:type owl:NamedIndividual ,
                                 saref:Measurement ;
                                 saref:hasValue "39"^^xsd:int .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobBodyThermo
s4ehawInst:BobBodyThermo rdf:type owl:NamedIndividual ,
                                  s4ehaw:HealthSensor ;
                                  s4ehaw:hasDeviceCharacteristic s4ehawInst:TuckyThermometer ;
                                  s4ehaw:hasLocation s4ehaw:ArmpitLocation ;
                                  s4ehaw:isAttachedTo s4ehawInst:Bob ;
                                  saref:hasFunction s4ehawInst:BodyThermometer .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobMonitorBan
s4ehawInst:BobMonitorBan rdf:type owl:NamedIndividual ,
                                  s4ehaw:Ban ;
                                  s4ehaw:contains s4ehawInst:BobBodyThermo ,
                                  s4ehawInst:BobScanWatch ,
                                  s4ehawInst:BobSpireHealth ;
                                  s4ehaw:hasBanApplicationDomain s4ehaw:Prevention ;
                                  s4ehaw:hasContact s4ehawInst:Bob ,
                                  s4ehawInst:DrKnock ;
                                  s4ehaw:hasHub s4ehawInst:BobAndroidphone ;
                                  s4ehaw:hasResponsibleParty s4ehawInst:DrKnock ;
                                  s4ehaw:phenomena "COVID-19Prevention"^^xsd:string .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobRespMeas1
s4ehawInst:BobRespMeas1 rdf:type owl:NamedIndividual ,
                                 saref:Measurement ;
                                 saref:hasValue "22"^^xsd:int .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobScanWatch
s4ehawInst:BobScanWatch rdf:type owl:NamedIndividual ,
                                 s4ehaw:HealthWearable ;
                                 s4ehaw:hasDeviceCharacteristic s4ehawInst:Withings_ScanWatch ;
                                 s4ehaw:hasLocation s4ehaw:WristLocation ;
                                 s4ehaw:isAttachedTo s4ehawInst:Bob ;
                                 saref:consistsOf s4ehawInst:BobScanWatchAltimeter ,
                                                   s4ehawInst:BobScanWatchBloodPressureSens ,
                                                   s4ehawInst:BobScanWatchHeartrateSens ,
                                                   s4ehawInst:BobScanWatchSPO2Sens ;
                                 saref:hasFunction s4ehawInst:Oxymeter ,
                                 s4ehawInst:SystolicPressureSens .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobScanWatchAltimeter
s4ehawInst:BobScanWatchAltimeter rdf:type owl:NamedIndividual ,
                                          s4ehaw:HealthSensor .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobScanWatchBloodPressureSens
s4ehawInst:BobScanWatchBloodPressureSens rdf:type owl:NamedIndividual ,
                                                  s4ehaw:HealthSensor .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobScanWatchHeartrateSens
s4ehawInst:BobScanWatchHeartrateSens rdf:type owl:NamedIndividual ,
                                              s4ehaw:HealthSensor .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobScanWatchSPO2Sens
s4ehawInst:BobScanWatchSPO2Sens rdf:type owl:NamedIndividual ,
                                         s4ehaw:HealthSensor .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobSpireAccelero
s4ehawInst:BobSpireAccelero rdf:type owl:NamedIndividual ,
                                     s4ehaw:HealthSensor .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobSpireBreathSens
s4ehawInst:BobSpireBreathSens rdf:type owl:NamedIndividual ,
                                       s4ehaw:HealthSensor .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobSpireHealth
s4ehawInst:BobSpireHealth rdf:type owl:NamedIndividual ,
                                   s4ehaw:HealthWearable ;
                                   s4ehaw:hasDeviceCharacteristic s4ehawInst:SpireStone ;
                                   s4ehaw:isAttachedTo s4ehawInst:Bob ;
                                   saref:consistsOf s4ehawInst:BobSpireAccelero ,
                                                     s4ehawInst:BobSpireBreathSens ,
                                                     s4ehawInst:InstBobSpireVibro ;
                                   saref:hasFunction s4ehawInst:Respiration .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobSpireVibro
s4ehawInst:BobSpireVibro rdf:type owl:NamedIndividual ,
                                  s4ehaw:HealthSensor .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobSpo2Lev1
s4ehawInst:BobSpo2Lev1 rdf:type owl:NamedIndividual ,
                                saref:Measurement ;
                                saref:hasValue "78.0"^^xsd:double .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobSystolicPressure
s4ehawInst:BobSystolicPressure rdf:type owl:NamedIndividual ,
                                        saref:Measurement ;
                                        saref:hasValue "75"^^xsd:int .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BodyTemperature
s4ehawInst:BodyTemperature rdf:type owl:NamedIndividual ,
                                    s4ehaw:Data ;
                                    s4ehaw:hasMeasurement s4ehawInst:BobBodyTemp1 .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BodyThermometer
s4ehawInst:BodyThermometer rdf:type owl:NamedIndividual ,
                                    s4ehaw:MeasurementFunction ;
                                    s4ehaw:hasData s4ehawInst:BodyTemperature ;
                                    s4ehaw:uom s4ehawInst:DegreeCelsius .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/DrKnock
s4ehawInst:DrKnock rdf:type owl:NamedIndividual ,
                            s4ehaw:Caregiver ;
                            s4ehaw:hasPatient s4ehawInst:Bob ;
                            s4ehaw:firstName "Mikheal"^^xsd:string ;
                            s4ehaw:hasMbox "mikhealknock@gmail.com"^^xsd:anyURI ;
                            s4ehaw:lastName "Knock"^^xsd:string .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/Oxymeter
s4ehawInst:Oxymeter rdf:type owl:NamedIndividual ,
                             s4ehaw:MeasurementFunction ;
                             s4ehaw:hasData s4ehawInst:SPO2 .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/PolymerBattery
s4ehawInst:PolymerBattery rdf:type owl:NamedIndividual ,
                                   s4ehaw:PowerSource ;
                                   s4ehaw:powerSourceType "Polymer rechargeable battery up to 10 days"^^xsd:string ;
                                   s4ehaw:rechargeable "true"^^xsd:boolean .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/Respiration
s4ehawInst:Respiration rdf:type owl:NamedIndividual ,
                                s4ehaw:MeasurementFunction ;
                                s4ehaw:hasData s4ehawInst:RespiratoryRate ;
                                s4ehaw:uom s4ehawInst:Bpm .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/RespiratoryRate
s4ehawInst:RespiratoryRate rdf:type owl:NamedIndividual ,
                                    s4ehaw:Data ;
                                    s4ehaw:hasMeasurement s4ehawInst:BobRespMeas1 .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/SMS
s4ehawInst:SMS rdf:type owl:NamedIndividual ,
                        s4ehaw:ServiceGrounding .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/SPO2
s4ehawInst:SPO2 rdf:type owl:NamedIndividual ,
                         s4ehaw:Data ;
                         s4ehaw:hasMeasurement s4ehawInst:BobSpo2Lev1 .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/SpireStone
s4ehawInst:SpireStone rdf:type owl:NamedIndividual ,
                               s4ehaw:DeviceCharacteristic ;
                               s4ehaw:hasComputingPower s4ehawInst:SpireStoneProcessingUnit ;
                               s4ehaw:hasPowerSource s4ehawInst:PolymerBattery ;
                               s4ehaw:deviceCharacteristicName "Spire Stone"^^xsd:string ;
                               s4ehaw:dimension "1.7 x 0.6 x 1.2 inches"^^xsd:string .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/SpireStoneProcessingUnit
s4ehawInst:SpireStoneProcessingUnit rdf:type owl:NamedIndividual ,
                                             s4ehaw:ComputingPower .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/SystolicPressure
s4ehawInst:SystolicPressure rdf:type owl:NamedIndividual ,
                                     s4ehaw:Data ;
                                     s4ehaw:hasMeasurement s4ehawInst:BobSystolicPressure ;
                                     s4ehaw:uom s4ehawInst:MmHG .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/SystolicPressureSens
s4ehawInst:SystolicPressureSens rdf:type owl:NamedIndividual ,
                                        s4ehaw:MeasurementFunction ;
                                        s4ehaw:hasData s4ehawInst:SystolicPressure .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/TuckyThermometer
s4ehawInst:TuckyThermometer rdf:type owl:NamedIndividual ,
                                     s4ehaw:DeviceCharacteristic ;
                                     s4ehaw:hasInterface s4ehawInst:Bluetooth .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/WarningCovid19
s4ehawInst:WarningCovid19 rdf:type owl:NamedIndividual ,
                                   saref:Service ;
                                   s4ehaw:presents s4ehawInst:WarningCovid19Profile ;
                                   s4ehaw:supports s4ehawInst:SMS .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/WarningCovid19Profile
s4ehawInst:WarningCovid19Profile rdf:type owl:NamedIndividual ,
                                          s4ehaw:ServiceProfile ;
                                          s4ehaw:serviceDescription "A warning is sent by SMS to the hub due to suspected corona virus symptoms" ;
                                          s4ehaw:serviceName "Covid-19 Warning" .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/WithingsWatchBattery
s4ehawInst:WithingsWatchBattery rdf:type owl:NamedIndividual ,
                                         s4ehaw:PowerSource ;
                                         s4ehaw:powerSourceType "Standard WITHINGS watch battery"^^xsd:string ;
                                         s4ehaw:rechargeable "true"^^xsd:boolean .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/Withings_ScanWatch
s4ehawInst:Withings_ScanWatch rdf:type owl:NamedIndividual ,
                                       s4ehaw:DeviceCharacteristic ;
                                       s4ehaw:hasPowerSource s4ehawInst:WithingsWatchBattery ;
                                       s4ehaw:deviceCharacteristicName "WITHINGS ScanWatch"^^xsd:string .


### https://saref.etsi.org/saref4ehaw/examples/COVIDCase/Bpm
s4ehawInst:Bpm rdf:type owl:NamedIndividual ,
                    saref:UnitOfMeasure ;
                    rdfs:comment "bpm (beats per minute), a unit of measure used in eHealth."@en ;
                    rdfs:label "bpm"@en .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/DegreeCelsius
s4ehawInst:DegreeCelsius rdf:type owl:NamedIndividual ,
                              saref:UnitOfMeasure ;
                              rdfs:comment "Degree celsius, a unit of measure often used in eHealth, e.g. for body temperature."@en ;
                              rdfs:label "Degree celsius"@en  .


###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/saref4ehaw/MmHG
s4ehawInst:MmHG rdf:type owl:NamedIndividual ,
                     saref:UnitOfMeasure ;
                     rdfs:comment "mmHG (millimeter of mercury), a manometric unit of pressure used in eHealth for systolic blood pressure."@en ;
                     rdfs:label "mmHG"@en .

###  Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi
