@prefix s4ehawInst: <https://saref.etsi.org/saref4ehaw/examples/COVIDCase/> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix xml: <http://www.w3.org/XML/1998/namespace> . @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/saref/core/> . @prefix s4ehaw: <https://saref.etsi.org/saref4ehaw/> . @prefix s4envi: <https://saref.etsi.org/saref4envi/> . @prefix s4wear: <https://saref.etsi.org/saref4wear/> . @prefix dcterms: <http://purl.org/dc/terms/> . @base <https://saref.etsi.org/saref4ehaw/examples/COVIDCase/> . #################################################################################################################################### # # 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 # # Publisher: https://www.etsi.org/ # #################################################################################################################################### <https://saref.etsi.org/saref4ehaw/examples/COVIDCase/> rdf:type owl:Ontology ; owl:imports <https://saref.etsi.org/saref4ehaw/> . ################################################################# # Individuals ################################################################# ### https://saref.etsi.org/saref4ehaw/examples/COVIDCase/AlertForHosp s4ehawInst:AlertForHosp rdf:type owl:NamedIndividual , saref:Service ; s4ehaw:supports s4ehaw: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 ; s4ehaw:hasValues "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 ; s4ehaw: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 ; s4ehaw:hasValues "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 ; s4ehaw:hasValues "78.0"^^xsd:double . ### https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BobSystolicPressure s4ehawInst:BobSystolicPressure rdf:type owl:NamedIndividual , saref:Measurement ; s4ehaw:hasValues "75"^^xsd:int . ### https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BodyTemperature s4ehawInst:BodyTemperature rdf:type owl:NamedIndividual , s4ehaw:Data ; s4ehaw:hasMesurement s4ehawInst:BobBodyTemp1 . ### https://saref.etsi.org/saref4ehaw/examples/COVIDCase/BodyThermometer s4ehawInst:BodyThermometer rdf:type owl:NamedIndividual , s4ehaw:MeasurementFunction ; s4ehaw:hasData s4ehawInst:BodyTemperature ; s4ehaw:uom s4ehaw: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 s4ehaw:Bpm . ### https://saref.etsi.org/saref4ehaw/examples/COVIDCase/RespiratoryRate s4ehawInst:RespiratoryRate rdf:type owl:NamedIndividual , s4ehaw:Data ; s4ehaw:hasMesurement 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:hasMesurement 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:hasMesurement s4ehawInst:BobSystolicPressure ; s4ehaw:uom s4ehaw: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:DeviceType ; 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:DeviceType ; s4ehaw:hasPowerSource s4ehaw:WithingsWatchBattery ; s4ehaw:deviceTypeName "WITHINGS ScanWatch"^^xsd:string . ### https://saref.etsi.org/saref4ehaw/Bpm s4ehaw: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/DegreeCelsius s4ehaw: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/MmHG s4ehaw: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 . ################################################################# # Rules ################################################################# <urn:swrl:var#p> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl:var#d1> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl:var#data> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl:var#data2> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl:var#val2> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl:var#data1> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl:var#meas1> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl:var#meas> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl:var#meas2> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl:var#d> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl:var#val> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl:var#h> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl:var#b> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl:var#d2> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl:var#val1> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl#d> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl#funct> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl#p> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl#doctor> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . <urn:swrl#ban> rdf:type <http://www.w3.org/2003/11/swrl#Variable> . [ rdf:type <http://www.w3.org/2003/11/swrl#Imp> ; <http://www.w3.org/2003/11/swrl#body> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ; <http://www.w3.org/2003/11/swrl#classPredicate> s4ehaw:HealthDevice ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl#d> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> saref:hasFunction ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl#d> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl#funct> ] ; rdf:rest rdf:nil ] ] ; <http://www.w3.org/2003/11/swrl#head> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> <https://saref.etsi.org/core/offers> ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl#d> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl#funct> ] ; rdf:rest rdf:nil ] ] . [ rdf:type <http://www.w3.org/2003/11/swrl#Imp> ; <http://www.w3.org/2003/11/swrl#body> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ; <http://www.w3.org/2003/11/swrl#classPredicate> s4ehaw:Patient ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl#p> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasPatient ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl#doctor> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl#p> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:usesBan ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl#p> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl#ban> ] ; rdf:rest rdf:nil ] ] ] ; <http://www.w3.org/2003/11/swrl#head> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:usesBan ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl#doctor> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl#ban> ] ; rdf:rest rdf:nil ] ] . [ rdf:type <http://www.w3.org/2003/11/swrl#Imp> ; <http://www.w3.org/2003/11/swrl#body> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ; <http://www.w3.org/2003/11/swrl#classPredicate> s4ehaw:Patient ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#p> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> :hasFunction ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d1> ; <http://www.w3.org/2003/11/swrl#argument2> s4ehawInst:Respiration ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasData ; <http://www.w3.org/2003/11/swrl#argument1> s4ehawInst:Oxymeter ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#data> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasData ; <http://www.w3.org/2003/11/swrl#argument1> s4ehawInst:SystolicPressureSens ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#data2> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#BuiltinAtom> ; <http://www.w3.org/2003/11/swrl#builtin> <http://www.w3.org/2003/11/swrlb#lessThanOrEqual> ; <http://www.w3.org/2003/11/swrl#arguments> [ rdf:type rdf:List ; rdf:first <urn:swrl:var#val2> ; rdf:rest [ rdf:type rdf:List ; rdf:first 90 ; rdf:rest rdf:nil ] ] ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasMesurement ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#data1> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#meas1> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasMesurement ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#data> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#meas> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasValues ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#meas2> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#val2> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:isAttachedTo ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#p> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#BuiltinAtom> ; <http://www.w3.org/2003/11/swrl#builtin> <http://www.w3.org/2003/11/swrlb#lessThanOrEqual> ; <http://www.w3.org/2003/11/swrl#arguments> [ rdf:type rdf:List ; rdf:first <urn:swrl:var#val> ; rdf:rest [ rdf:type rdf:List ; rdf:first 90 ; rdf:rest rdf:nil ] ] ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ; <http://www.w3.org/2003/11/swrl#classPredicate> s4ehaw:BanHub ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#h> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasValues ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#meas> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#val> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ; <http://www.w3.org/2003/11/swrl#classPredicate> s4ehaw:HealthDevice ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d1> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ; <http://www.w3.org/2003/11/swrl#classPredicate> s4ehaw:Ban ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#b> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasHub ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#b> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#h> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ; <http://www.w3.org/2003/11/swrl#classPredicate> s4ehaw:HealthDevice ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> saref:hasFunction ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d2> ; <http://www.w3.org/2003/11/swrl#argument2> s4ehawInst:SystolicPressureSens ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:isAttachedTo ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d1> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#p> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:isAttachedTo ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d2> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#p> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasMesurement ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#data2> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#meas2> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasValues ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#meas1> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#val1> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> saref:hasFunction ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d> ; <http://www.w3.org/2003/11/swrl#argument2> s4ehawInst:Oxymeter ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#BuiltinAtom> ; <http://www.w3.org/2003/11/swrl#builtin> <http://www.w3.org/2003/11/swrlb#greaterThanOrEqual> ; <http://www.w3.org/2003/11/swrl#arguments> [ rdf:type rdf:List ; rdf:first <urn:swrl:var#val1> ; rdf:rest [ rdf:type rdf:List ; rdf:first 22 ; rdf:rest rdf:nil ] ] ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:usesBan ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#p> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#b> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ; <http://www.w3.org/2003/11/swrl#classPredicate> s4ehaw:HealthDevice ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d2> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasData ; <http://www.w3.org/2003/11/swrl#argument1> s4ehawInst:Respiration ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#data1> ] ; rdf:rest rdf:nil ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ; <http://www.w3.org/2003/11/swrl#head> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> <https://saref.etsi.org/core/offers> ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#h> ; <http://www.w3.org/2003/11/swrl#argument2> s4ehawInst:AlertForHosp ] ; rdf:rest rdf:nil ] ] . [ rdf:type <http://www.w3.org/2003/11/swrl#Imp> ; <http://www.w3.org/2003/11/swrl#body> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ; <http://www.w3.org/2003/11/swrl#classPredicate> s4ehaw:Patient ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#p> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ; <http://www.w3.org/2003/11/swrl#classPredicate> s4ehaw:HealthDevice ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:isAttachedTo ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#p> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> saref:hasFunction ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d> ; <http://www.w3.org/2003/11/swrl#argument2> s4ehawInst:BodyThermometer ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasData ; <http://www.w3.org/2003/11/swrl#argument1> s4ehawInst:BodyThermometer ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#data> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasMesurement ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#data> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#meas> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasValues ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#meas> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#val> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#BuiltinAtom> ; <http://www.w3.org/2003/11/swrl#builtin> <http://www.w3.org/2003/11/swrlb#greaterThanOrEqual> ; <http://www.w3.org/2003/11/swrl#arguments> [ rdf:type rdf:List ; rdf:first <urn:swrl:var#val> ; rdf:rest [ rdf:type rdf:List ; rdf:first 38 ; rdf:rest rdf:nil ] ] ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ; <http://www.w3.org/2003/11/swrl#classPredicate> s4ehaw:HealthDevice ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d1> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:isAttachedTo ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d1> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#p> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> saref:hasFunction ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#d1> ; <http://www.w3.org/2003/11/swrl#argument2> s4ehawInst:Respiration ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasData ; <http://www.w3.org/2003/11/swrl#argument1> s4ehawInst:Respiration ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#data1> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasMesurement ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#data1> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#meas1> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasValues ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#meas1> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#val1> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#BuiltinAtom> ; <http://www.w3.org/2003/11/swrl#builtin> <http://www.w3.org/2003/11/swrlb#greaterThanOrEqual> ; <http://www.w3.org/2003/11/swrl#arguments> [ rdf:type rdf:List ; rdf:first <urn:swrl:var#val1> ; rdf:rest [ rdf:type rdf:List ; rdf:first 22 ; rdf:rest rdf:nil ] ] ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ; <http://www.w3.org/2003/11/swrl#classPredicate> s4ehaw:BanHub ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#h> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#ClassAtom> ; <http://www.w3.org/2003/11/swrl#classPredicate> s4ehaw:Ban ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#b> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:usesBan ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#p> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#b> ] ; rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> s4ehaw:hasHub ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#b> ; <http://www.w3.org/2003/11/swrl#argument2> <urn:swrl:var#h> ] ; rdf:rest rdf:nil ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ] ; <http://www.w3.org/2003/11/swrl#head> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ; rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ; <http://www.w3.org/2003/11/swrl#propertyPredicate> <https://saref.etsi.org/core/offers> ; <http://www.w3.org/2003/11/swrl#argument1> <urn:swrl:var#h> ; <http://www.w3.org/2003/11/swrl#argument2> s4ehawInst:WarningCovid19 ] ; rdf:rest rdf:nil ] ] . ### Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi