Re: [dxwg] Revisiting the definition of "profile" (#963)

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