search

panrg / path-properties

A Vocabulary of Path Properties
Other
1 stars 3 forks source link

IRSG Review (Dave Oran): Disjointness #89

Closed renghardt closed 1 year ago

renghardt commented 1 year ago

From the IRSG review by Dave Oran:

For “Disjointness” I get what you have as the definition, however there is some recursive nature to this when path elements can be composed through multiple layers. A particular path element might be disjoint from another at layer N but in fact are not at layer N-k. What the user probably cares about is the degree of fate sharing between two path elements, which is not entirely captured in the description (but possibly might be by careful application of the Jaccard coefficient projects across layers). Probably not much can be said to go into this without rat-holing though.

renghardt commented 1 year ago

I think the "at layer N" part is related to how our path can be defined at different layers of abstraction. So the layer at which you'd consider disjointness is the layer at which you consider the path elements and define the path. And then, there could still be a more granular definition at a different level of abstraction.

Not entirely sure what to add here, but maybe referencing the level of abstraction will help? @cyrill-k I think you originally proposed this definition, do you have any opinions?