Skip to content
Snippets Groups Projects
Commit 4b3b6f82 authored by Marc Girod-Genet's avatar Marc Girod-Genet
Browse files

Upload New File for SAREF4EHAW global example related to COVID-19. 

Provided by Lina Nachabé et Marc Girod-Genet.
parent 969849d0
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 912 additions and 0 deletions
examples/COVIDCase.ttl 0 → 100644
+ 912
− 0
View file @ 4b3b6f82
@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
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment