Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix logical axioms from external relationships #2519

Closed
wants to merge 7 commits into from

Conversation

anitacaron
Copy link
Collaborator

Fixes #2453

@anitacaron anitacaron marked this pull request as draft June 6, 2022 09:56
@github-actions
Copy link

github-actions bot commented Jun 6, 2022

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/2022-06-21/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/2022-06-21/uberon-simple.owl
  • Loaded from: file:/work/src/ontology/uberon-simple.owl

Ontology imports

Ontology annotations

capable_of http://purl.obolibrary.org/obo/RO_0002215

Removed

immediately posterior to http://purl.obolibrary.org/obo/BSPO_0015012

Removed

immediately superficial to http://purl.obolibrary.org/obo/BSPO_0015014

Removed

@github-actions
Copy link

github-actions bot commented Jun 6, 2022

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

capable of http://purl.obolibrary.org/obo/RO_0002215

Removed

continuous with http://purl.obolibrary.org/obo/RO_0002150

Removed

develops_from http://purl.obolibrary.org/obo/RO_0002202

Removed

has branching part http://purl.obolibrary.org/obo/RO_0002569

Removed

has developmental contribution from http://purl.obolibrary.org/obo/RO_0002254

Removed

immediately posterior to http://purl.obolibrary.org/obo/BSPO_0015012

Removed

immediately superficial to http://purl.obolibrary.org/obo/BSPO_0015014

Removed

@anitacaron anitacaron self-assigned this Jun 21, 2022
@anitacaron
Copy link
Collaborator Author

This PR is too old and outdated, so I am closing this in favour of another clean PR.

@anitacaron anitacaron closed this Nov 13, 2024
@anitacaron anitacaron deleted the anitacaron/issue2453 branch November 13, 2024 18:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Logical axioms from external relationships found in edit file
1 participant