Issue 406: Question about quantification + transitivity + open world
Posted by Robert Sanderson on 2/2/2019
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?
posted by Martin on 12/2/2019
Yes, indeed, we have a problem here. I do not think it is an Open World problem. At first, transitivity is incompatible with one-to-many.
That being said, the next question is, if the part decomposition must be a tree. I think this was the idea behind the quantification. That is a more complex constraint to be formulated. I.e., A p9 B, A p9 C => B P9 C OR C p9 B, or so
However, P9 is a very general parthood concept, which applies also to events, and not only to historical or archaeological periods, subdivided by scholars into phases and regional phases.
I assume that a particular action can quite well be seen to be part of two different "super"-events. This is an area of reasoning we have not yet explored well. Opinions?
In that case, we have to drop the tree constraint as well.
The property must not refer to itself (NOT A p9 A) and cycle-free, and improper parthood, i.e., A p9 B and B p9 A, you refer below, is not useful and should be forbidden. I believe a part must have a smaller extent than the whole, in order to be intuitively correct. I think we intend to support extensional parthood. This should be formulated via points in the respective space-time volumes.
By sure, the quantification as it stands is ontologically wrong, i.e., in the abstract already, as you pose it. It is not a question of implementing a system tolerable to knowledge alternatives.
Thank for spotting!
Posted by Christian Emil on 13/10/2019
I work my way through all the open issues. This issue origins from an observation by Robert Sanderson that P9 cannot hav ethe cardinality 1 to many and at the same time be transitive. This is correct and will apply to all transitive properties. A transitive property will always be many to many.
Have to be adjusted:
P5, P9, P10, P73
Already many to many
P69 ok,P86 ok, P89 ok, P114 ok, P115 ok, P116 ok, P117 ok, P120 ok, P127 ok, P139 ok, P148 ok, P150 ok, P165 ok
This is just editorial changes and need no discussion.
Posted by Martin on 13/10/2019
This is good. There is also another concern that in general parts can be shared by more than one whole. I would, nevertheless, add the constraint that part-of semantics mean also non-cyclic, wherever it applies. Could you check that?
Posted by Maximilian Schich on 13/10/2019
One take-home from large-scale data-integration & data science is that even the strongest assumed 1-to-many relationship in reality is quasi-1-to-many due to differences in opinion (your tree vs. my tree), differences in construction of strong-tree classification systems (e.g. material/construction-method vs. construction-method/material in architecture), and differences in data preservation (cf. the integration of several strong-tree phylogenies based on different knowledge of the fossil record). As a consequence it would make good sense to model part-of relationships by default to allow for many-to-many at least as an exception, even if the ideal is 1-to-many for one reason or another.
Regarding this issue of "part-of as many-to-many", there is a crucial difference between more controlled data collections for "data reasoning" and a more realistic "data archaeology" that acknowledges the existing multiplicity of opinion. In the case of "data reasoning" many-to-many may be a computational hurdle. Yet in the case of "data archaeology" forced 1-to-many relationships are evil, as they induce an artificial discreteness in the data, very similar to the artificial yet often conceptually enforced discreteness of races, gender, etc. In this sense an artificial restriction of part-of semantics to 1-to-many relationships may be a potential source of severe systematic bias that needs to be avoided under all cost.
Consequently, there should be an emphasis on "general parts can be shared by more than one whole", particularly when facing heterogeneous sources of data. At the same time the audience should be provided with an explicit explanation why "non-cyclic, wherever it applies" could be a desire, while always accompanied by a caveat that "wherever it applies" may be true in considerable less cases than intuition would suggest.
Posted by Christian Emil on 13/10/2019
This is indeed an important discussion.
My point is the formalist view. If we have a set with a linear, transitive ordering like < for the integers, then this will be many to many under the transitive closure. Assume a partial ordering without cycles: When we add transitivity the tree structure will still be there. If we store all pair resulting from the transitive closure the tree structure is not explicit and has to be deduced form the set of pair. Take the whole part relationship: To make the tree structure explicit, we need a 1 to many cardinality. The fact a R b & b R c -> a R C has to be deduced. If we instead are interested in the transitive closure to speed up deduction in an implementation the cardinality will be many to many.
Posted by Martin on 13/10/2019
I believe we need a many to many relation in any case, because the decision of a part can be further decomposed or not is often arbitrary, things like buildings use to share parts, and parts may be exchanged, so that we are fooled by the "former or current" problem we cannot avoid. That part-of is a-cyclic should hold, I hope...
Posted by Martin on 10/10/2020
On 10/7/2020 8:57 AM, Christian-Emil Smith Ore wrote:
> Dear all,
> I made a summary and analysis of the issue:
> See https://docs.google.com/document/d/1pniKacWA8LK_cPj1MgyZrjL6TMPg6EmowDkm...
Good analysis. I have added comments. I vote for a proper FOL formulation of proper subsets and directed a-cyclic graphs.
We should ask the LRM experts about transitivity of translation. I think the current practice is transitive, usually with English intermediates, but I assume there are also ancient Greek (Bible??) and Latin intermediates.
We should make clear that all parthood of things in spacetime is extensional: The STVs of the proper parts are subsets of the STVs of any intermediate whole.
Posted by Christian Emil on 11/10/2020
It is widespread to translate translations. The text of my Norwegian copy of Murakami's novel with the English title "Dance Dance Dance" is translated from English edition (1984). This is clearly stated on the title page. The title of the Japanese original is given in the colophon page. It is a question of how the library community defines the concept "translation". In an IPR context each translation will be considered to be an intellectual work. In my opinion we should define the P73
has translation (is translation of) in accordance with compon pratice.
A proper subset has to be defined using negation. In the definition of P9 the word "subset" is used "This
property associates an instance of E4 Period with another instance of E4 Period that is defined by a subset of the phenomena that define the former.
" However, we don't talk about a single phenomenon. So, in my view we should simply state that the P9 is not reflexive:
In First Order Logic:
P9(x,y) ⇒ E4(x)
P9(x,y) ⇒ E4(y)
P9(x,y) ⇒ P10(y,x)
P9(x,y) ∧ P(y,z) ⇒ P9(x,z)
Non reflexive ¬ P9(x,x)
The transformation of the standard FOL to Descriptive Logic requires some rewriting hacks which is out of the scope of the formal definition of CRM
Posted by Martin on 11/10/2020
I agree with all you write!
Posted by Christian Emil on 12/10/2020
Yes, library cataloguing treats translation as transitive. The translation of the translation stays connected to the original language text as an expression of the work expressed by the original language expression. As long as these remain translations and not adaptations.
In fact, libraries are not very formal about the intermediate language translations, although there are some provisions for recording this.
So we base our ontological analysis on the practice in the world of librarians and not law.
Posted by Martin on 12/10/2020
On 10/12/2020 9:04 PM, Christian-Emil Smith Ore wrote:
> Dear all,
> Pat wrote:
> Yes, library cataloguing treats translation as transitive. The translation of the translation stays connected to the original language text as an expression of the work expressed by the original language expression. As long as these remain translations and not adaptations.
> In fact, libraries are not very formal about the intermediate language translations, although there are some provisions for recording this.
> So we base our ontological analysis on the practice in the world of librarians and not law.
Well, transitivity does not mean that knowledge was acquired in that order. Therefore I do not see a conflict with law.
Posted by Maja on 12/10/2020
Firstly I agree with Pat that currently librarians do not really record exact sources of translation (which often (mostly) are not known). But I am not sure we can interpret translation as transitive. The relationship connects an expression with the exact expression that served as the source (if known). Making the relationship transitive stretches this a bit too far IMO. If B is translation of A and C is translation of B, they are expressions of the same work, but C cannot be considered translation of A.
By the way, creation of new expressions is, according to LRM an intellectual activity, recorded through the creation relationship (which can be subtyped to record the exact nature of the creation).
Posted by Christian Emil on 13/10/2020
Life is more complicated and not uncontroversial. The essence here is if the more sloppy practice of many librarians should be the model or if one should be more detailed.
Posted by Martin on 13/10/2020
>>On 10/13/2020 9:05 AM, Christian-Emil Smith Ore wrote:
>>Life is more complicated and not uncontroversial. The essence here is if the more sloppy practice of many librarians should be the model or if one should be more detailed.
I believe we have a definite answer for that. Recall over precision. Requiring the true intermediate source to be known introduces a non-monotonic element, when first a direct translation was to be assumed because of lack of other evidence, and later an intermediate was detected. Means that my edition of Takeo Doi will no longer be a translation of Takeo Doi. Would that help information integration?
In the 48th CIDOC CRM and 41st FRBR CRM sig meeting (virtual), The sig reviewed the HW by CEO on the quantification of the transitive properties P5 consists of [D:E3 Condition State, R: E3 Condition State], P9 consists of [D:E4 Period, R: E4 Period] and P73 has translation [D: E33 Linguistic Object, R: E33 Linguistic Object], decided
(1) to introduce the transitivity and a non-reflexivity axiom to the properties P5 and P9, and to set their quantification to *many-to-many*
(2) to remove the requirement for transitivity of P73, change the quantification to *many-to-many*, add the axiom of non-reflexivity in the FOL definition.
(3) to assigne HW to Pat Riva to inform LRMoo that P73 has translation IsA R24 has derivation isA P130i features are also found on
(4) to open a new issue to discuss if the axiom of non-reflexivity follow from the definition of transitivity.
The issue is closed