Fixes #3081 Unsats caused by an issue involving tail

[aleixpuigb]

Fixes #3081 Unsats caused by an issue involving tail

[aleixpuigb]

#gogoeditdiff

[github-actions]

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

Ontology comparison

Left

• Ontology IRI: http://purl.obolibrary.org/obo/uberon/uberon-simple.owl
• Version IRI: http://purl.obolibrary.org/obo/uberon/releases/2023-10-19/uberon-simple.owl
• Loaded from: file:/work/src/ontology/../../master/src/ontology/uberon-simple.owl

Right

• Ontology IRI: http://purl.obolibrary.org/obo/uberon/uberon-simple.owl
• Version IRI: http://purl.obolibrary.org/obo/uberon/releases/2023-10-19/uberon-simple.owl
• Loaded from: file:/work/src/ontology/uberon-simple.owl

Ontology imports

Ontology annotations

post-anal tail bud http://purl.obolibrary.org/obo/UBERON_0002533

Removed

• post-anal tail bud SubClassOf presumptive structure

• post-anal tail bud SubClassOf has potential to develop into some post-anal tail

Added

• post-anal tail bud SubClassOf embryonic structure

[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:/work/src/ontology/../../master/src/ontology/uberon-edit.obo

Right

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

Ontology imports

Ontology annotations

post-anal tail bud http://purl.obolibrary.org/obo/UBERON_0002533

Removed

• post-anal tail bud SubClassOf has potential to develop into some post-anal tail

[ghost]

Defer to @gouttegd's assessment.
No unsats identified after reasoning in Protégé.

[gouttegd]

I confirm the PR fixes all the tail-related unsats that were found in #2928. Thanks!