Skip to content
Snippets Groups Projects
Unverified Commit c3735ca7 authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

removed SWRL rules

parent 33e1f98a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 456 deletions
examples/COVIDCase.ttl
+ 0
− 456
View file @ c3735ca7
......@@ -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
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