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

Remove RO logical axioms #2771

Merged
merged 7 commits into from
Jan 16, 2023
Merged

Remove RO logical axioms #2771

merged 7 commits into from
Jan 16, 2023

Conversation

anitacaron
Copy link
Collaborator

Related to #2453

Copy link

@ghost ghost left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Regarding 'has_skeleton', unsure from ticket if any action was desired (see comments below). Otherwise changes seem to be in line with associated issue.

[Typedef]
id: has_skeleton
name: has skeleton
xref: RO:0002551
domain: UBERON:0000475 ! organism subdivision
range: UBERON:0010912 ! subdivision of skeleton
I think the domain maybe too strict. Doesn't my foot have a skeleton. Is a foot an organism subdivision?

Get feedback from @cmungall
Remove axiom in UBERON?

...

has_skeleton domain: this may be a case of a domain trying to do the closed-world work of a DP. Although I am not sure it's particularly problematic either - foots/autopods are organism subdivisions

@anitacaron
Copy link
Collaborator Author

I'm still waiting for feedback from David. After the decision, I'll create another PR. Thanks for reviewing :)

@anitacaron anitacaron merged commit ad2ab49 into master Jan 16, 2023
@anitacaron anitacaron deleted the remove-axioms branch February 10, 2023 18:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant