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

Gender as state, closes #35

parent 990eabcb

examples/COVIDCase.ttl

+1 −1
Original line number Diff line number Diff line
@@ -50,7 +50,7 @@ s4ehawInst:Bob rdf:type owl:NamedIndividual , 
                        s4ehaw:usesBan s4ehawInst:BobMonitorBan ;

                        s4ehaw:dob "1970-10-26T21:32:52"^^xsd:dateTime ;

                        s4ehaw:firstName "Bob"^^xsd:string ;

                        s4ehaw:hasGender "male"^^xsd:string ;

                        saref:hasStateValue s4ehaw:Male ;

                        s4ehaw:hasMbox "bobwanadou@gmail.com"^^xsd:anyURI ;

                        s4ehaw:lastName "Wanadou"^^xsd:string .

ontology/saref4ehaw.ttl

+33 −20
Original line number Diff line number Diff line
@@ -524,25 +524,6 @@ s4ehaw:hasEffect rdf:type owl:DatatypeProperty ; 
                 rdfs:label "has effect"@en .





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

s4ehaw:hasGender rdf:type owl:DatatypeProperty ;

                 rdfs:domain s4ehaw:HealthActor ;

                 rdfs:range [ rdf:type rdfs:Datatype ;

                              owl:oneOf [ rdf:type rdf:List ;

                                          rdf:first "female" ;

                                          rdf:rest [ rdf:type rdf:List ;

                                                     rdf:first "male" ;

                                                     rdf:rest [ rdf:type rdf:List ;

                                                                rdf:first "undetermined" ;

                                                                rdf:rest rdf:nil

                                                              ]

                                                   ]

                                        ]

                            ] ;

                 rdfs:comment "The gender of a health actor."@en ;

                 rdfs:label "has gender"@en .





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

s4ehaw:banGeolocation rdf:type owl:DatatypeProperty ;

                      rdfs:domain s4ehaw:Ban ;
@@ -956,7 +937,12 @@ s4ehaw:Habit rdf:type owl:Class ; 
s4ehaw:HealthActor rdf:type owl:Class ;

                   rdfs:subClassOf foaf:Agent ;

                   rdfs:comment "The eHealth actors like e.g. caregivers, patients, users, helpers..."@en ;

                   rdfs:label "Health actor"@en .

                   rdfs:label "Health actor"@en ;

                   rdfs:subClassOf [

                    a owl:Restriction ;

                    owl:onProperty saref:hasState ;

                    owl:hasValue s4ehaw:Gender 

                  ] .





###  https://saref.etsi.org/saref4ehaw/HealthActuator
@@ -1359,4 +1345,31 @@ s4ehaw:Prevention rdf:type owl:NamedIndividual , 
                           rdfs:label "Prevention"@en .







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

s4ehaw:Gender rdf:type saref:State ;

  rdfs:comment "The gender of a health actor."@en ;

  rdfs:label "has gender"@en .

                

s4ehaw:Male rdf:type saref:StateValue ;

  rdfs:label "Male"@en ;

  rdfs:comment "male gender"@en ;

  saref:isValueOfState s4ehaw:Gender .

                

s4ehaw:Female rdf:type saref:StateValue ;

  rdfs:label "Female"@en ;

  rdfs:comment "female gender"@en ;

  saref:isValueOfState s4ehaw:Gender .



s4ehaw:NonBinary rdf:type saref:StateValue ;

  rdfs:label "Non-binary"@en ;

  rdfs:comment "non-binary gender"@en ;

  saref:isValueOfState s4ehaw:Gender .



s4ehaw:UndeterminedGender rdf:type saref:StateValue ;

  rdfs:label "Undetermined"@en ;

  rdfs:comment "undetermined gender"@en ;

  saref:isValueOfState s4ehaw:Gender .





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