Subdivision_of now SubProp of part_of

[dosumis]

#gogoeditdiff

Fixes: #3321

See also #2827
https://github.com/obophenotype/uberon/issues/3181x

[dosumis]

#gogoeditdiff

[github-actions]

Here's a diff of how these changes impact the classified ontology (on -base file):

Ontology comparison

Left

• Ontology IRI: http://purl.obolibrary.org/obo/uberon/uberon-base.owl
• Version IRI: http://purl.obolibrary.org/obo/uberon/releases/2024-07-26/uberon-base.owl
• Loaded from: file:/__w/uberon/uberon/src/ontology/uberon-base-main.owl/uberon-base.owl

Right

• Ontology IRI: http://purl.obolibrary.org/obo/uberon/uberon-base.owl
• Version IRI: http://purl.obolibrary.org/obo/uberon/releases/2024-07-26/uberon-base.owl
• Loaded from: file:/__w/uberon/uberon/src/ontology/uberon-base-pr.owl/uberon-base.owl

Ontology imports

Ontology annotations

subdivision of http://purl.obolibrary.org/obo/uberon/core#subdivision_of

Added

• subdivision of SubPropertyOf: BFO_0000050

[github-actions]

Here's a diff of your edit file (unreasoned)

Ontology comparison

Left

• Ontology IRI: http://purl.obolibrary.org/obo/uberon/core.owl
• Version IRI: None
• Loaded from: file:/__w/uberon/uberon/master/src/ontology/uberon-edit.obo

Right

• Ontology IRI: http://purl.obolibrary.org/obo/uberon/core.owl
• Version IRI: None
• Loaded from: file:/__w/uberon/uberon/branch/src/ontology/uberon-edit.obo

Ontology imports

Ontology annotations

subdivision of http://purl.obolibrary.org/obo/uberon/core#subdivision_of

Added

• subdivision of SubPropertyOf: part of

[dosumis]

Surprisingly this has no effect at all on classification! I suspect this is because of part_of assertions that would become redundant if we implement this change.

[github-actions]

This PR has not seen any activity in the past month; if nobody comments or reviews it in the next week, the PR creator will be allowed to proceed with merging without explicit approval, should they wish to do so.