Skip to content

Value restrictions as owl:Restriction

The exact value restriction for each property in a given context (class) must be provided as an owl:Restriction, defined in the Class.

e.g. ``Agehas aQuantity`, which has `Unit` that must be only one of `UCUM` values listed in the restriction below.

sphn:Age rdf:type owl:Class ;
         rdfs:subClassOf sphn:SPHNConcept ,
                         [ owl:intersectionOf ( [ rdf:type owl:Restriction ;
                                                  owl:onProperty sphn:hasQuantity ;
                                                  owl:someValuesFrom [ rdf:type owl:Restriction ;
                                                                       owl:onProperty sphn:hasUnit ;
                                                                       owl:someValuesFrom [ rdf:type owl:Class ;
                                                                                            owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                                            owl:onProperty sphn:hasCode ;
                                                                                                            owl:hasValue ucum:a
                                                                                                          ]
                                                                                                          [ rdf:type owl:Restriction ;
                                                                                                            owl:onProperty sphn:hasCode ;
                                                                                                            owl:hasValue ucum:d
                                                                                                          ]
                                                                                                          [ rdf:type owl:Restriction ;
                                                                                                            owl:onProperty sphn:hasCode ;
                                                                                                            owl:hasValue ucum:h
                                                                                                          ]
                                                                                                          [ rdf:type owl:Restriction ;
                                                                                                            owl:onProperty sphn:hasCode ;
                                                                                                            owl:hasValue ucum:min
                                                                                                          ]
                                                                                                          [ rdf:type owl:Restriction ;
                                                                                                            owl:onProperty sphn:hasCode ;
                                                                                                            owl:hasValue ucum:mo
                                                                                                          ]
                                                                                                          [ rdf:type owl:Restriction ;
                                                                                                            owl:onProperty sphn:hasCode ;
                                                                                                            owl:hasValue ucum:wk
                                                                                                          ]
                                                                                                        )
                                                                                          ]
                                                                     ]
                                                ] ...