Unverified Commit fae51324 authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

final check

parent 7a0973b3

.saref-repositories.yml

+3 −0
Original line number Diff line number Diff line 
labs.etsi.org/rep/:

  repos:

    - saref/saref-core

    - saref/saref4bldg

    - saref/saref4city

    - saref/saref4ener

    - saref/saref4envi

    - saref/saref4syst

    - saref/saref4wear

documentation/description.md

+1 −1
Original line number Diff line number Diff line
@@ -76,7 +76,7 @@ As depicted in [Figure 4](#Figure_4), an HealthDevice is a sub-class of SAREF De 


As shown in [Figure 4](#Figure_4), a health device also has an Interface that models the data transmission and network protocol related interface of the device (e.g. serial or wireless interface, address, transmission rate, etc.). A HealthDevice also has a set of properties, like ComputingPower, characterizing it.



[Figure 4](#Figure_4) also shows that HealthSensor, HealthActuator, HealthWearable and BanHub classes are all sub-classes of HealthDevice class ([rdfs:subClassOf](http://www.w3.org/2000/01/rdf-schema#subClassOf) relation). HealthSensor and HealthActuator classes are both equivalent to SAREF Sensor/Actuator ones. They will therefore not be described within clause 4.2.3 of [the technical specification ETSI TS 103 410-8](#[0]) in order to reduce duplication with SAREF documentation (see ETSI TS 103 264 [[1]](#[1]) for details). HealthWearable class is equivalent to SAREF4WEAR Wearable class. It will therefore not be described within clause 4.2.3 of [the technical specification ETSI TS 103 410-8](#[0]) in order to reduce duplication with SAREF4WEAR documentation (see ETSI TS 103 410-9 [[4]](#[4]) for details).

[Figure 4](#Figure_4) also shows that HealthSensor, HealthActuator, HealthWearable and BanHub classes are all sub-classes of HealthDevice class ([rdfs:subClassOf](http://www.w3.org/2000/01/rdf-schema#subClassOf) relation). HealthSensor and HealthActuator classes are sub-classes of the SAREF Sensor/Actuator ones. They will therefore not be described within clause 4.2.3 of [the technical specification ETSI TS 103 410-8](#[0]) in order to reduce duplication with SAREF documentation (see ETSI TS 103 264 [[1]](#[1]) for details). HealthWearable class is a sub-class of to SAREF4WEAR Wearable class. It will therefore not be described within clause 4.2.3 of [the technical specification ETSI TS 103 410-8](#[0]) in order to reduce duplication with SAREF4WEAR documentation (see ETSI TS 103 410-9 [[4]](#[4]) for details).



Finally and for reducing duplication with SAREF documentation, the reader is referred to the SAREF specification ETSI TS 103 264 [[1]](#[1]) for details about all the classes that are reused from SAREF within [Figure 4](#Figure_4).

examples/COVIDCase.ttl

+131 −249
Original line number Diff line number Diff line 
@prefix s4ehawInst: <https://saref.etsi.org/saref4ehaw/v1.1.1/example/COVIDCase/> .

@prefix s4ehawInst: <https://saref.etsi.org/saref4ehaw/v2.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#> .
@@ -12,11 +12,15 @@ 
@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/> .

@prefix s4syst: <https://saref.etsi.org/saref4syst/>.

@prefix skos: <http://www.w3.org/2004/02/skos/core#>.

@prefix unit: <http://qudt.org/vocab/unit/>.



<https://saref.etsi.org/saref4ehaw/v1.1.1/example/COVIDCase#> a dctype:Dataset ;

@base <https://saref.etsi.org/saref4ehaw/v2.1.1/example/COVIDCase/> .



<https://saref.etsi.org/saref4ehaw/v2.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:conformsTo <https://saref.etsi.org/saref4ehaw/v2.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.
@@ -31,54 +35,40 @@ Creator/contributor: Marc Girod Genet- Lina Nachabe """@en . 
#    Individuals

#################################################################



# Leftovers



###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/AlertForHosp

s4ehawInst:AlertForHosp rdf:type owl:NamedIndividual ,

  saref:Service ;

                                 s4ehaw:exposedOn s4ehawInst:SMS .

  s4ehaw:isExposedOn s4ehawInst:SMS .



s4ehawInst:SMS rdf:type s4ehaw:CommunicationProtocol .





s4ehawInst:PolymerBatteryPowered rdf:type owl:NamedIndividual , saref:FeatureKind ;

  skos:broader s4ehaw:Rechargeable ;

  rdfs:comment "Polymer rechargeable battery up to 10 days"@en .



###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/Bluetooth

s4ehawInst:Bluetooth rdf:type owl:NamedIndividual ,

                              s4ehaw:Interface .



# People



###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/Bob

s4ehawInst:Bob rdf:type owl:NamedIndividual ,

                        s4ehaw:Patient ;

                        s4ehaw:hasHabit s4ehaw:Overeating ;

s4ehawInst:Bob rdf:type owl:NamedIndividual , s4ehaw:Patient ;

  saref:hasStateValue s4ehaw:Overeating ;

  s4ehaw:usesBan s4ehawInst:BobMonitorBan ;

  s4ehaw:dob "1970-10-26T21:32:52"^^xsd:dateTime ;

                        s4ehaw:firstName "Bob"^^xsd:string ;

  s4ehaw:firstName "Bob"@en ;

  saref:hasStateValue s4ehaw:Male ;

  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 .

  s4ehaw:lastName "Wanadou"@en .





###  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 ;

                                  saref:hasStateValue s4ehaw:ArmpitWeared ;

                                  s4ehaw:isAttachedTo s4ehawInst:Bob ;

                                  saref:hasFunction s4ehawInst:BodyThermometer .

s4ehawInst:DrKnock rdf:type owl:NamedIndividual , s4ehaw:Caregiver ;

  s4ehaw:hasPatient s4ehawInst:Bob ;

  s4ehaw:firstName "Mikheal"@en ;

  s4ehaw:hasMbox "mikhealknock@gmail.com"^^xsd:anyURI ;

  s4ehaw:lastName "Knock"@en .





###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobMonitorBan

s4ehawInst:BobMonitorBan rdf:type owl:NamedIndividual ,

                                  s4ehaw:Ban ;

                                  s4ehaw:contains s4ehawInst:BobBodyThermo ,

s4ehawInst:BobMonitorBan rdf:type owl:NamedIndividual , s4ehaw:Ban ;

  s4syst:connectsSystem s4ehawInst:BobBodyThermo ,

    s4ehawInst:BobScanWatch ,

    s4ehawInst:BobSpireHealth ;

  saref:accomplishes s4ehaw:Prevention ;
@@ -86,225 +76,117 @@ s4ehawInst:BobMonitorBan rdf:type owl:NamedIndividual , 
    s4ehawInst:DrKnock ;

  s4ehaw:hasHub s4ehawInst:BobAndroidphone ;

  s4ehaw:hasResponsibleParty s4ehawInst:DrKnock ;

                                  s4ehaw:phenomena "COVID-19Prevention"^^xsd:string .

  rdfs:comment "COVID-19Prevention"@en .



s4ehawInst:BobBodyThermo rdf:type owl:NamedIndividual , s4ehaw:HealthSensor ;

  saref:hasDeviceKind s4ehawInst:TuckyThermometer ;

  saref:hasStateValue s4ehaw:ArmpitWeared ;

  s4ehaw:isAttachedTo s4ehawInst:Bob ;

  saref:observes s4ehawInst:BodyTemperature , s4ehawInst:Bob .



###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobRespMeas1

s4ehawInst:BobRespMeas1 rdf:type owl:NamedIndividual ,

                                 saref:Measurement ;

                                 saref:hasValue "22"^^xsd:int .

s4ehawInst:BodyTemperature a saref:Property .



s4ehawInst:TuckyThermometer rdf:type owl:NamedIndividual , saref:DeviceKind ;

  s4ehaw:isExposedOn s4ehaw:BluetoothLowEnergy .



###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobScanWatch

s4ehawInst:BobScanWatch rdf:type owl:NamedIndividual ,

                                 s4ehaw:HealthWearable ;

                                 s4ehaw:hasDeviceCharacteristic s4ehawInst:Withings_ScanWatch ;

                                 s4ehaw:hasStateValue s4ehaw:WristWeared ;

s4ehawInst:BobScanWatch rdf:type owl:NamedIndividual , s4ehaw:HealthWearable ;

  saref:hasDeviceKind s4ehawInst:Withings_ScanWatch ;

  saref:hasStateValue s4ehaw:WristWeared ;

  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 .



  saref:observes s4ehawInst:BloodOxygenSaturation , s4ehawInst:SystolicPressure , s4ehawInst:Bob .



###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobScanWatchBloodPressureSens

s4ehawInst:BobScanWatchBloodPressureSens rdf:type owl:NamedIndividual ,

                                                  s4ehaw:HealthSensor .



s4ehawInst:Withings_ScanWatch rdf:type owl:NamedIndividual , saref:DeviceKind ;

  skos:broader s4ehaw:Rechargeable ;

  rdfs:comment "WITHINGS ScanWatch"@en .



###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobScanWatchHeartrateSens

s4ehawInst:BobScanWatchHeartrateSens rdf:type owl:NamedIndividual ,

                                              s4ehaw:HealthSensor .

s4ehawInst:BobScanWatchAltimeter rdf:type owl:NamedIndividual , s4ehaw:HealthSensor .

s4ehawInst:BobScanWatchBloodPressureSens rdf:type owl:NamedIndividual , s4ehaw:HealthSensor .

s4ehawInst:BobScanWatchHeartrateSens rdf:type owl:NamedIndividual , s4ehaw:HealthSensor .

s4ehawInst:BobScanWatchSPO2Sens rdf:type owl:NamedIndividual , s4ehaw:HealthSensor .



s4ehawInst:BobAndroidphone rdf:type owl:NamedIndividual , s4ehaw:BanHub .



###  https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobScanWatchSPO2Sens

s4ehawInst:BobScanWatchSPO2Sens rdf:type owl:NamedIndividual ,

                                         s4ehaw:HealthSensor .

s4ehawInst:BloodOxygenSaturation rdf:type owl:NamedIndividual , saref:Property .

s4ehawInst:SystolicPressure rdf:type owl:NamedIndividual , saref:Property .



s4ehawInst:BobBodyTemp1 rdf:type owl:NamedIndividual , saref:Observation ;

  saref:observes s4ehawInst:Bob , s4ehawInst:BodyTemperature ;

  saref:madeBy s4ehawInst:BobBodyThermo ;

  saref:hasResult [

    a saref:PropertyValue ; 

    saref:hasValue "39"^^xsd:int ;

    saref:isMeasuredIn unit:DegreeCelsius ] .



###  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 ;

                                   saref:hasDeviceKind 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 ,

                        saref:FeatureKind, s4syst:Connection .





###  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 ;

                               saref:hasModel "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:exposedOn 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 .

                                                     s4ehawInst:BobSpireVibro ;

                                   saref:observes s4ehawInst:RespiratoryRate , s4ehawInst:Bob .



s4ehawInst:BobSpireAccelero rdf:type owl:NamedIndividual , s4ehaw:HealthSensor .

s4ehawInst:BobSpireBreathSens rdf:type owl:NamedIndividual , s4ehaw:HealthSensor .

s4ehawInst:BobSpireVibro rdf:type owl:NamedIndividual , s4ehaw:HealthSensor .



s4ehawInst:RespiratoryRate rdf:type owl:NamedIndividual , saref:Property .



s4ehawInst:BobRespMeas1 rdf:type owl:NamedIndividual , saref:Observation ;

  saref:observes s4ehawInst:Bob , s4ehawInst:RespiratoryRate ;

  saref:madeBy s4ehawInst:BobSpireHealth ;

  saref:hasResult [

    a saref:PropertyValue ; 

    saref:hasValue "22"^^xsd:int ;

    saref:isMeasuredIn unit:PER-MIN ] .



s4ehawInst:BobSpo2Lev1 rdf:type owl:NamedIndividual , saref:Observation ;

  saref:observes s4ehawInst:Bob , s4ehawInst:BloodOxygenSaturation ;

  saref:madeBy s4ehawInst:BobScanWatch ;

  saref:hasResult [

    a saref:PropertyValue ; 

    saref:hasValue "78.0"^^xsd:double ;

    saref:isMeasuredIn unit:PERCENT ] .



s4ehawInst:BobSystolicPressure rdf:type owl:NamedIndividual , saref:Observation ;

  saref:observes s4ehawInst:Bob , s4ehawInst:SystolicPressure ;

  saref:madeBy s4ehawInst:BobScanWatch ;

  saref:hasResult [

    a saref:PropertyValue ; 

    saref:hasValue "75"^^xsd:int ;

    saref:isMeasuredIn unit:MilliM_HG ] .





s4ehawInst:SpireStone rdf:type owl:NamedIndividual , saref:DeviceKind ;

  skos:broader s4ehawInst:PolymerBatteryPowered ;

  saref:hasModel "Spire Stone"@en ;

  saref:hasPropertyValue [

    a saref:PropertyValue ;

    saref:isValueOfProperty s4ehaw:Dimensions ;

    rdfs:comment "Dimensions of 1.7 x 1.2 x 0.6 inches" ;

    saref:consistsOf [

      a saref:PropertyValue ;

      saref:isValueOfProperty s4ehaw:Height ;

      saref:hasValue "1.7"^^xsd:double ;

      saref:isMeasuredIn unit:IN ] ;

    saref:consistsOf [

      a saref:PropertyValue ;

      saref:isValueOfProperty s4ehaw:Width ;

      saref:hasValue "1.2"^^xsd:double ;

      saref:isMeasuredIn unit:IN ] ;

    saref:consistsOf [

      a saref:PropertyValue ;

      saref:isValueOfProperty s4ehaw:Height ;

      saref:hasValue "0.6"^^xsd:double ;

      saref:isMeasuredIn unit:IN ]

  ] .



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

examples/UC3-ECG.ttl

+109 −213

File changed.

Preview size limit exceeded, changes collapsed.

ontology/saref4ehaw.ttl

+169 −237

File changed.

Preview size limit exceeded, changes collapsed.