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

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