W3C home > Mailing lists > Public > public-dxwg-wg@w3.org > September 2019

Re: [dxwg] Definition of prof:isProfileOf (#1068)

From: Nicholas Car via GitHub <sysbot+gh@w3.org>
Date: Wed, 11 Sep 2019 17:42:28 +0000
To: public-dxwg-wg@w3.org
Message-ID: <issue_comment.created-530488159-1568223747-sysbot+gh@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

This archive was generated by hypermail 2.3.1 : Wednesday, 30 October 2019 00:15:57 UTC