- From: Nicholas Car via GitHub <sysbot+gh@w3.org>
- Date: Wed, 11 Sep 2019 17:42:28 +0000
- To: public-dxwg-wg@w3.org
> The "axiomatization" of isProfileOf (#844) implies that the object of isProfileOf is a profile. The proposed axiom is: ``` dct:conformsTo owl:PropertyAxiom ( dct:conformsTo prof:isProfileOf ) ``` This doesn't make any claim about the range value of `prof:isProfileOf`, only that if X conforms to Y and Y isProfileOf Z, then X conformsTo Z. Here Y would have to be a profile as it's indicated as being as isProfileOf Z. Z could be a specification that doesn't profile anything, so the conformance chain ends there. -- GitHub Notification of comment by nicholascar Please view or discuss this issue at https://github.com/w3c/dxwg/issues/1068#issuecomment-530488159 using your GitHub account
Received on Wednesday, 11 September 2019 17:42:30 UTC