- From: Simon Cox via GitHub <sysbot+gh@w3.org>
- Date: Mon, 15 Jul 2019 05:10:26 +0000
- To: public-dxwg-wg@w3.org
The global constraint is not enough. It merely says 'if there is a `prof:isProfileOf` relationship then it is from a `prof:Profile` to a `prof:Standard`. But it does not require that the relation be present in an instance. To achieve that you also need a local constraint on the `prof:Profile` class
```
prof:Profile
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:minCardinality "1"^^xsd:nonNegativeInteger ;
owl:onProperty prof:isProfileOf ;
] ;
.
```
Aside: IS A is ambiguous. I assume you mean 'is a kind of', rather than 'is an instance of'
--
GitHub Notification of comment by dr-shorthair
Please view or discuss this issue at https://github.com/w3c/dxwg/issues/963#issuecomment-511275977 using your GitHub account
Received on Monday, 15 July 2019 05:10:28 UTC