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

add logical axioms to UBERON:0039850 #2925

Merged
merged 2 commits into from
Jun 22, 2023
Merged

add logical axioms to UBERON:0039850 #2925

merged 2 commits into from
Jun 22, 2023

Conversation

shawntanzk
Copy link
Collaborator

@shawntanzk shawntanzk commented Jun 16, 2023

added basic logical axioms for the term, and importantly, parentage
Fixes #2850

@shawntanzk shawntanzk self-assigned this Jun 16, 2023
@shawntanzk
Copy link
Collaborator Author

#gogoeditdiff

@shawntanzk shawntanzk marked this pull request as ready for review June 16, 2023 12:58
@github-actions
Copy link

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

Ontology imports

Ontology annotations

left anterior segmental artery http://purl.obolibrary.org/obo/UBERON_0039850

Added

@github-actions
Copy link

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

left anterior segmental artery http://purl.obolibrary.org/obo/UBERON_0039850

Added

@shawntanzk shawntanzk requested review from a user and aleixpuigb June 19, 2023 06:00
@shawntanzk shawntanzk merged commit 1fa75b9 into master Jun 22, 2023
1 check passed
@shawntanzk shawntanzk deleted the issue-2850 branch June 22, 2023 06:06
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.

UBERON:0039850 does not have any logical axioms
2 participants