diff --git a/examples/COVIDCase.ttl b/examples/COVIDCase.ttl new file mode 100644 index 0000000000000000000000000000000000000000..11b043ee6133178c5937c7b00ecf99413f418254 --- /dev/null +++ b/examples/COVIDCase.ttl @@ -0,0 +1,912 @@ +@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/core/v3.1.1/> . +@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 +################################################################# + +### http://www.wurvoc.org/vocabularies/om-1.8/hertz +<http://www.wurvoc.org/vocabularies/om-1.8/hertz> rdf:type owl:NamedIndividual , + s4envi:FrequencyUnit . + + +### https://saref.etsi.org/saref4ehaw/alcoholDrinking +s4ehaw:alcoholDrinking rdf:type owl:NamedIndividual , + s4ehaw:Habit . + + +### https://saref.etsi.org/saref4ehaw/assistedLiving +s4ehaw:assistedLiving rdf:type owl:NamedIndividual , + s4ehaw:BanApplicationDomain . + + +### https://saref.etsi.org/saref4ehaw/blindImpairment +s4ehaw:blindImpairment rdf:type owl:NamedIndividual , + s4ehaw:Impairment . + + +### https://saref.etsi.org/saref4ehaw/deafImpairment +s4ehaw:deafImpairment rdf:type owl:NamedIndividual , + s4ehaw:Impairment . + + +### https://saref.etsi.org/saref4ehaw/emergency +s4ehaw:emergency rdf:type owl:NamedIndividual , + s4ehaw:BanApplicationDomain . + + +### https://saref.etsi.org/saref4ehaw/exercising +s4ehaw:exercising rdf:type owl:NamedIndividual , + s4ehaw:Posture . + + +### https://saref.etsi.org/saref4ehaw/handlingImpairment +s4ehaw:handlingImpairment rdf:type owl:NamedIndividual , + s4ehaw:Impairment . + + +### https://saref.etsi.org/saref4ehaw/healthcare +s4ehaw:healthcare rdf:type owl:NamedIndividual , + s4ehaw:BanApplicationDomain . + + +### https://saref.etsi.org/saref4ehaw/hearingImpairment +s4ehaw:hearingImpairment rdf:type owl:NamedIndividual , + s4ehaw:Impairment . + + +### https://saref.etsi.org/saref4ehaw/lying +s4ehaw:lying rdf:type owl:NamedIndividual , + s4ehaw:Posture . + + +### https://saref.etsi.org/saref4ehaw/mobilityImpairment +s4ehaw:mobilityImpairment rdf:type owl:NamedIndividual , + s4ehaw:Impairment . + + +### https://saref.etsi.org/saref4ehaw/overeating +s4ehaw:overeating rdf:type owl:NamedIndividual , + s4ehaw:Habit . + + +### https://saref.etsi.org/saref4ehaw/pervasiveComputing +s4ehaw:pervasiveComputing rdf:type owl:NamedIndividual , + s4ehaw:BanApplicationDomain . + + +### https://saref.etsi.org/saref4ehaw/running +s4ehaw:running rdf:type owl:NamedIndividual , + s4ehaw:Posture . + + +### https://saref.etsi.org/saref4ehaw/safety +s4ehaw:safety rdf:type owl:NamedIndividual , + s4ehaw:BanApplicationDomain . + + +### https://saref.etsi.org/saref4ehaw/sitting +s4ehaw:sitting rdf:type owl:NamedIndividual , + s4ehaw:Posture . + + +### https://saref.etsi.org/saref4ehaw/smoking +s4ehaw:smoking rdf:type owl:NamedIndividual , + s4ehaw:Habit . + + +### https://saref.etsi.org/saref4ehaw/sportTraining +s4ehaw:sportTraining rdf:type owl:NamedIndividual , + s4ehaw:BanApplicationDomain . + + +### https://saref.etsi.org/saref4ehaw/telemedicine +s4ehaw:telemedicine rdf:type owl:NamedIndividual , + s4ehaw:BanApplicationDomain . + + +### https://saref.etsi.org/saref4ehaw/undereating +s4ehaw:undereating rdf:type owl:NamedIndividual , + s4ehaw:Habit . + + +### https://saref.etsi.org/saref4ehaw/visualImpairment +s4ehaw:visualImpairment rdf:type owl:NamedIndividual , + s4ehaw:Impairment . + + +### https://saref.etsi.org/saref4ehaw/walking +s4ehaw:walking rdf:type owl:NamedIndividual , + s4ehaw:Posture . + + +### 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/Armpit +s4ehaw:Armpit rdf:type owl:NamedIndividual , + s4ehaw:BodySurfaceLocation . + + +### https://saref.etsi.org/saref4ehaw/Azma +s4ehaw:Azma rdf:type owl:NamedIndividual , + s4ehaw:ChronicDisease . + + +### 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:hasDeviceType s4ehawInst:TuckyThermometer ; + s4ehaw:hasLocation s4ehaw:Armpit ; + 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:hasDeviceType s4ehawInst:Withings_ScanWatch ; + s4ehaw:hasLocation s4ehaw:Wrist ; + s4ehaw:isAttachedTo s4ehawInst:Bob ; + s4ehaw: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:hasDeviceType s4ehawInst:SpireStone ; + s4ehaw:isAttachedTo s4ehawInst:Bob ; + s4ehaw: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:degreeCelcius . + + +### https://saref.etsi.org/saref4ehaw/Diabetes +s4ehaw:Diabetes rdf:type owl:NamedIndividual , + s4ehaw:ChronicDisease . + + +### 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/Percent +s4ehaw:Percent rdf:type owl:NamedIndividual , + saref:UnitOfMeasure . + + +### 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 ; + s4ehaw:uom s4ehaw:Percent . + + +### https://saref.etsi.org/saref4ehaw/examples/COVIDCase/SpireStone +s4ehawInst:SpireStone rdf:type owl:NamedIndividual , + s4ehaw:DeviceType ; + s4ehaw:hasComputingPower s4ehawInst:SpireStoneProcessingUnit ; + s4ehaw:hasPowerSource s4ehawInst:PolymerBattery ; + s4ehaw:deviceTypeName "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/Wrist +s4ehaw:Wrist rdf:type owl:NamedIndividual , + s4ehaw:BodySurfaceLocation . + + +### https://saref.etsi.org/saref4ehaw/bpm +s4ehaw:bpm rdf:type owl:NamedIndividual , + saref:UnitOfMeasure . + + +### https://saref.etsi.org/saref4ehaw/degreeCelcius +s4ehaw:degreeCelcius rdf:type owl:NamedIndividual , + saref:UnitOfMeasure . + + +### https://saref.etsi.org/saref4ehaw/mmHG +s4ehaw:mmHG rdf:type owl:NamedIndividual , + saref:UnitOfMeasure . + + +### https://saref.etsi.org/saref4ehaw/prevention +s4ehaw:prevention rdf:type owl:NamedIndividual , + s4ehaw:BanApplicationDomain . + + +################################################################# +# 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