Dear all, In considering whether the serialization of a property should be a single resource or an array, I of course looked to the quantification. However, I realized that the combination of transitivity and one:many quantification in the open world seems to produce unexpected results.
There are several transitive properties in the CRM, and the ones that matter most are the partitioning properties such as P9. If a period A p9 consists of period B, and period B p9 consists of period C, then we can conclude via the stated transitivity of the property, that period A consists of both period B (by declaration) and period C (by inference from transitivity). However the quantification of P0 is one to many, not many to many and thus it seems like it is incorrect to assert that A p9 B, A p9 C. Further, when considering the open world, there might be other identities for period B. Meaning that if period X is sameAs period B, then it is also valid to say that period A p9 period B, and period A p9 period X (because B == X). Given these two second degree patterns, it seems like the quantification applies only in the abstract and does not need to be taken into account directly by implementations? Rob
