- From: aisaac via GitHub <sysbot+gh@w3.org>
- Date: Tue, 10 Sep 2019 19:55:21 +0000
- To: public-dxwg-wg@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