From c3735ca781393b0c250e181630580c3d62f49eea Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maxime=20Lefran=C3=A7ois?= <maxime.lefrancois.86@gmail.com>
Date: Mon, 27 Jul 2020 11:56:29 +0200
Subject: [PATCH] removed SWRL rules
---
examples/COVIDCase.ttl | 456 -----------------------------------------
1 file changed, 456 deletions(-)
diff --git a/examples/COVIDCase.ttl b/examples/COVIDCase.ttl
index 4daa464..5e88aaf 100644
--- a/examples/COVIDCase.ttl
+++ b/examples/COVIDCase.ttl
@@ -307,460 +307,4 @@ s4ehawInst:MmHG rdf:type owl:NamedIndividual ,
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> 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: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:hasMeasurement ;
- <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:hasMeasurement ;
- <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> saref:hasValue ;
- <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> saref:hasValue ;
- <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:hasMeasurement ;
- <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> saref:hasValue ;
- <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:hasMeasurement ;
- <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> saref:hasValue ;
- <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:hasMeasurement ;
- <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> saref:hasValue ;
- <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
--
GitLab