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

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

From: aisaac via GitHub <sysbot+gh@w3.org>
Date: Tue, 10 Sep 2019 19:55:21 +0000
To: public-dxwg-wg@w3.org
Message-ID: <issue_comment.created-530094157-1568145320-sysbot+gh@w3.org>
@kcoyle "two profiles that are profiles of BIBFRAME can be compatible with BIBFRAME but not compatible with each other." is not a contradiction to the axiom. 
This is a formal axiom that states "if A is a profile of B, and a dataset conforms to A, than this dataset should conform to B"
It can be contradicted if you can find any specifications A, B, such as A is a profile of B and there can be a dataset that conforms to A and not to B. No need to find more complex situations: just find an A and a B for which that holds. In my putative case, A is DPLA MAP and B is EDM.

@nicholascar interpreting prof:isProfileOf in a way narrower than what is hinted by the current definition of profiles would be cheating :-) Or well , one could try this, but then this one's duty should rather be to create a sub-property of prof:isProfileOf for which the axiom is true - leaving it open to use the unconstrained, more general property for other types of profiles.

-- 
GitHub Notification of comment by aisaac
Please view or discuss this issue at https://github.com/w3c/dxwg/issues/844#issuecomment-530094157 using your GitHub account
Received on Tuesday, 10 September 2019 19:55:22 UTC

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