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

Re: [dxwg] Axiomitise transitivity of dct:conformsTo through isProfileOf relationships (#844)

From: Karen Coyle via GitHub <sysbot+gh@w3.org>
Date: Wed, 11 Sep 2019 19:24:49 +0000
To: public-dxwg-wg@w3.org
Message-ID: <issue_comment.created-530528732-1568229888-sysbot+gh@w3.org>
OK, so this "axiom" is more specific than the definition, because the axiom shows two profiles, not a profile that is a profile of any standard. To my thinking that requires a different axiom:

:aResource dct:conformsTo :Profile1 .
:Profile1 prof:isProfileOf :someStandard .

entails:
:aResource dct:conformsTo :someStandard .

This is also quite a more more ambiguous since "someStandard" can be just about anything. If we are creating an axiom it should be consistent with the definition of the properties; after that, examples can show the variety of things that also meet what the axiom defines.

-- 
GitHub Notification of comment by kcoyle
Please view or discuss this issue at https://github.com/w3c/dxwg/issues/844#issuecomment-530528732 using your GitHub account
Received on Wednesday, 11 September 2019 19:24:51 UTC

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