- From: Lars G. Svensson via GitHub <sysbot+gh@w3.org>
- Date: Tue, 16 Jul 2019 12:56:19 +0000
- To: public-dxwg-wg@w3.org
@nicholascar scripsit:
> Am I right in asserting that the above, very long discussion, won't require any changes to these core concepts in PROF?
As I see it, yes: Every profile is a kind of standard but not every standard a kind of profile, so the axiom holds:
```
:Profile rdf:type owl:Class ;
rdfs:subClassOf dct:Standard ;
```
And yes, given
```
:isProfileOf rdf:type owl:ObjectProperty ;
rdfs:domain :Profile ;
rdfs:range dct:Standard ;
```
a standard can be a (trivial) profile of itself.
So
```
:aSomething dct:conformsTo :aProfile .
:aProfile a prof:Profile ;
prof:isProfileOf :aStandard .
```
also means that `aSomething` conforms to `:aStandard`.
(aside: This brings up the question if `prof:isProfileOf` should be declared transitive and also if there is a rule `(:a dct:conformsTo :b , :b prof:isProfileOf :c) -> :a dct:conformsTo :c`)
--
GitHub Notification of comment by larsgsvensson
Please view or discuss this issue at https://github.com/w3c/dxwg/issues/963#issuecomment-511803972 using your GitHub account
Received on Tuesday, 16 July 2019 12:56:21 UTC