Unverified Commit 8c35189e authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

model locations as states. closes #27

parent 4b361869

examples/COVIDCase.ttl

+2 −2
Original line number Diff line number Diff line
@@ -70,7 +70,7 @@ s4ehawInst:BobBodyTemp1 rdf:type owl:NamedIndividual , 
s4ehawInst:BobBodyThermo rdf:type owl:NamedIndividual ,

                                  s4ehaw:HealthSensor ;

                                  s4ehaw:hasDeviceCharacteristic s4ehawInst:TuckyThermometer ;

                                  s4ehaw:hasLocation s4ehaw:ArmpitLocation ;

                                  saref:hasStateValue s4ehaw:ArmpitWeared ;

                                  s4ehaw:isAttachedTo s4ehawInst:Bob ;

                                  saref:hasFunction s4ehawInst:BodyThermometer .
@@ -99,7 +99,7 @@ s4ehawInst:BobRespMeas1 rdf:type owl:NamedIndividual , 
s4ehawInst:BobScanWatch rdf:type owl:NamedIndividual ,

                                 s4ehaw:HealthWearable ;

                                 s4ehaw:hasDeviceCharacteristic s4ehawInst:Withings_ScanWatch ;

                                 s4ehaw:hasLocation s4ehaw:WristLocation ;

                                 s4ehaw:hasStateValue s4ehaw:WristWeared ;

                                 s4ehaw:isAttachedTo s4ehawInst:Bob ;

                                 saref:consistsOf s4ehawInst:BobScanWatchAltimeter ,

                                                   s4ehawInst:BobScanWatchBloodPressureSens ,

examples/UC3-ECG.ttl

+1 −1
Original line number Diff line number Diff line
@@ -45,7 +45,7 @@ 
s4ehawInst:Caregiver_Id_ABCD0001 rdf:type owl:NamedIndividual ,

                                      s4ehaw:Caregiver ;

                             

                             saref:hasProperty s4ehaw:PhysicalLocation ;

                             saref:hasState s4ehaw:Location ;

                             

                             s4ehaw:hasActivity s4ehawInst:RecordingECGSession_01 .

ontology/saref4ehaw.ttl

+40 −83
Original line number Diff line number Diff line
@@ -192,14 +192,6 @@ s4ehaw:hasInterface rdf:type owl:ObjectProperty ; 
                    rdfs:label "has interface"@en .





###  https://saref.etsi.org/saref4ehaw/hasLocation

s4ehaw:hasLocation rdf:type owl:ObjectProperty ;

                   rdfs:domain s4ehaw:HealthDevice ;

                   rdfs:range s4ehaw:Location ;

                   rdfs:comment "The location of an eHealth device, i.e. its position against the body (on body surface or in the body - implant -) and its physical location (i.e. its postal address and/or its current geolocation geolocation when available)."@en ;

                   rdfs:label "has location"@en .





###  https://saref.etsi.org/saref4ehaw/hasMeasurement

s4ehaw:hasMeasurement rdf:type owl:ObjectProperty ;

                     rdfs:domain s4ehaw:Data ;
@@ -232,14 +224,6 @@ s4ehaw:hasPatient rdf:type owl:ObjectProperty ; 
                  rdfs:label "has patient"@en .





###  https://saref.etsi.org/saref4ehaw/hasPhysicalLocation

s4ehaw:hasPhysicalLocation rdf:type owl:ObjectProperty ;

                           rdfs:domain s4ehaw:Patient ;

                           rdfs:range s4ehaw:PhysicalLocation ;

                           rdfs:comment "Defines the physical location of the patient, i.e. its postal address and/or its geolocation (when available)."@en ;

                           rdfs:label "has physical location"@en .





###  https://saref.etsi.org/saref4ehaw/hasPosture

s4ehaw:hasPosture rdf:type owl:ObjectProperty ;

                  rdfs:domain s4ehaw:User ;
@@ -452,14 +436,6 @@ s4ehaw:frequency rdf:type owl:DatatypeProperty ; 
                 rdfs:label "frequency"@en .





###  https://saref.etsi.org/saref4ehaw/geolocation

s4ehaw:geolocation rdf:type owl:DatatypeProperty ;

                   rdfs:domain s4ehaw:PhysicalLocation ;

                   rdfs:range xsd:string ;

                   rdfs:comment "The geolocation, when available, shall be given relatively to the current location - geolocation as standardized ISO 6709, e.g. +40.75-074.00/ -."@en ;

                   rdfs:label "geolocation"@en .





###  https://saref.etsi.org/saref4ehaw/hasCalculationMethod

s4ehaw:hasCalculationMethod rdf:type owl:DatatypeProperty ;

                            rdfs:domain s4ehaw:ServiceProcess ;
@@ -476,14 +452,6 @@ s4ehaw:hasEffect rdf:type owl:DatatypeProperty ; 
                 rdfs:label "has effect"@en .





###  https://saref.etsi.org/saref4ehaw/banGeolocation

s4ehaw:banGeolocation rdf:type owl:DatatypeProperty ;

                      rdfs:domain s4ehaw:Ban ;

                      rdfs:range xsd:string ;

                      rdfs:comment "The geolocation of the BAN, when available and needed, shall be given relatively to the current location - geolocation as standardized ISO 6709, e.g. +40.75-074.00/  - of the patient wearing the BAN."@en ;

                      rdfs:label "BAN geolocation"@en .





###  https://saref.etsi.org/saref4ehaw/hasInput

s4ehaw:hasInput rdf:type owl:DatatypeProperty ;

                rdfs:domain s4ehaw:ServiceProcess ;
@@ -636,14 +604,6 @@ s4ehaw:portNumber rdf:type owl:DatatypeProperty ; 
                  rdfs:label "port number"@en .





###  https://saref.etsi.org/saref4ehaw/postalAddress

s4ehaw:postalAddress rdf:type owl:DatatypeProperty ;

                     rdfs:domain s4ehaw:PhysicalLocation ;

                     rdfs:range xsd:string ;

                     rdfs:comment "Defines the postal address."@en ;

                     rdfs:label "postal address"@en .





###  https://saref.etsi.org/saref4ehaw/powerSourceType

s4ehaw:powerSourceType rdf:type owl:DatatypeProperty ;

                       rdfs:domain s4ehaw:PowerSource ;
@@ -779,13 +739,6 @@ s4ehaw:BanHub rdf:type owl:Class ; 
              rdfs:label "BAN hub"@en .





###  https://saref.etsi.org/saref4ehaw/BodySurfaceLocation

s4ehaw:BodySurfaceLocation rdf:type owl:Class ;

                           rdfs:subClassOf s4ehaw:Location ;

                           rdfs:comment "Defines a health device location in terms of a body surface position (i.e. on body health device)."@en ;

                           rdfs:label "Body surface location"@en .





###  https://saref.etsi.org/saref4ehaw/Caregiver

s4ehaw:Caregiver rdf:type owl:Class ;

                 rdfs:subClassOf s4ehaw:HealthActor ;
@@ -866,6 +819,10 @@ s4ehaw:HealthActor rdf:type owl:Class ; 
                    a owl:Restriction ;

                    owl:onProperty saref:hasState ;

                    owl:hasValue s4ehaw:Gender 

                  ] ,

                  [ a owl:Restriction ;

                        owl:onProperty saref:hasState ;

                        owl:hasValue s4ehaw:Location

                  ] .
@@ -878,7 +835,11 @@ s4ehaw:HealthActuator rdf:type owl:Class ; 


###  https://saref.etsi.org/saref4ehaw/HealthDevice

s4ehaw:HealthDevice rdf:type owl:Class ;

                    rdfs:subClassOf saref:Device ;

                    rdfs:subClassOf saref:Device ,

                      [ a owl:Restriction ;

                        owl:onProperty saref:hasState ;

                        owl:hasValue s4ehaw:Location

                      ] ;

                    rdfs:comment "Health devices, e.g. BAN hub, health sensor/actuator/Wereable."@en ;

                    rdfs:label "Health Device"@en .
@@ -904,13 +865,6 @@ s4ehaw:Helper rdf:type owl:Class ; 
              rdfs:label "Helper"@en .





###  https://saref.etsi.org/saref4ehaw/ImplantLocation

s4ehaw:ImplantLocation rdf:type owl:Class ;

                       rdfs:subClassOf s4ehaw:Location ;

                       rdfs:comment "Implant Device (i.e. in body health device) position."@en ;

                       rdfs:label "Implant location"@en .





###  https://saref.etsi.org/saref4ehaw/Interface

s4ehaw:Interface rdf:type owl:Class ;

                 rdfs:comment "Used for modelling the interfaces of a health device (e.g. Bluetooth, UWB, IEEE 802.15.6, serial interface...)."@en ;
@@ -924,12 +878,6 @@ s4ehaw:LegalConstraint rdf:type owl:Class ; 
                       rdfs:label "Legal constraint"@en .





###  https://saref.etsi.org/saref4ehaw/Location

s4ehaw:Location rdf:type owl:Class ;

                rdfs:comment "The location, i.e. a position against the body (on - body surface – or in the body – implant –) and a physical location (i.e. a postal address and/or a current geolocation when available)."@en ;

                rdfs:label "Location"@en .





###  https://saref.etsi.org/saref4ehaw/MeasurementCollectionSession

s4ehaw:MeasurementCollectionSession rdf:type owl:Class ;

                                    rdfs:subClassOf saref:Task ;
@@ -978,13 +926,6 @@ s4ehaw:PeriodicBanCommunicationType rdf:type owl:Class ; 
                                    rdfs:label "Periodic BAN communication type"@en .





###  https://saref.etsi.org/saref4ehaw/PhysicalLocation

s4ehaw:PhysicalLocation rdf:type owl:Class ;

                        rdfs:subClassOf s4ehaw:Location ;

                        rdfs:comment "The physical location, i.e. a postal address and a geolocation when available."@en ;

                        rdfs:label "Physical location"@en .





###  https://saref.etsi.org/saref4ehaw/Posture

s4ehaw:Posture rdf:type owl:Class ;

               rdfs:subClassOf saref:Property ;
@@ -1133,21 +1074,6 @@ s4ehaw:Walking rdf:type owl:NamedIndividual , 
                        rdfs:label "Walking"@en .





###  https://saref.etsi.org/saref4ehaw/ArmpitLocation

s4ehaw:ArmpitLocation rdf:type owl:NamedIndividual ,

                      s4ehaw:BodySurfaceLocation ;

                      rdfs:comment "Armpit location, a user body surface location."@en ;

                      rdfs:label "Armpit location"@en .







###  https://saref.etsi.org/saref4ehaw/WristLocation

s4ehaw:WristLocation rdf:type owl:NamedIndividual ,

                     s4ehaw:BodySurfaceLocation ;

                     rdfs:comment "Wrist, a user body surface location."@en ;

                     rdfs:label "Wrist location"@en .





###  https://saref.etsi.org/saref4ehaw/Precision

s4ehaw:Precision rdf:type owl:NamedIndividual , saref:Property ;

  rdfs:comment "Precision refers to the degree of reproducibility of a measured quantity (when the same quantity is measured several times how close are the measurements from each other)."@en ;
@@ -1284,4 +1210,35 @@ s4ehaw:Diabetes rdf:type saref:StateValue ; 
  rdfs:label "Diabetes"@en .





s4ehaw:Location rdf:type saref:State ;

  rdfs:comment "The location. For example a position against the body (on - body surface – or in the body – implant –) or a physical location (a postal address, a geolocation)."@en ;

  rdfs:label "Location"@en .



  s4ehaw:LocationRelativeToBody rdf:type saref:State ;

    skos:broader s4ehaw:Location ;

    rdfs:comment "The location relative to the body (on - body surface – or in the body – implant –)."@en ;

    rdfs:label "Location Relative to Body"@en .



    s4ehaw:BodySurfaceLocation rdf:type saref:State ;

      skos:broader s4ehaw:LocationRelativeToBody ;

      rdfs:comment "The location in terms of a body surface position (i.e. on body health device)."@en ;

      rdfs:label "Body surface location"@en .



      s4ehaw:ArmpitWeared rdf:type saref:StateValue ;

        saref:isValueOfState s4ehaw:BodySurfaceLocation ;

        rdfs:comment "Armpit location, a user body surface location."@en ;

        rdfs:label "Armpit location"@en .



      s4ehaw:WristWeared rdf:type saref:StateValue ;

        saref:isValueOfState s4ehaw:BodySurfaceLocation ;

        rdfs:comment "Wrist, a user body surface location."@en ;

        rdfs:label "Wrist location"@en .



    s4ehaw:ImplantLocation rdf:type saref:State ;

      skos:broader s4ehaw:LocationRelativeToBody ;

      rdfs:comment "Implant Device (i.e. in body health device) position."@en ;

      rdfs:label "Implant location"@en .







###  Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi