Skip to content

Change external pudendal vein tributary_of to connected_to#2304

Merged
shawntanzk merged 4 commits intomasterfrom
remove-femoral-vein-SubClassOf-part_of-some-hindlimb
Feb 16, 2022
Merged

Change external pudendal vein tributary_of to connected_to#2304
shawntanzk merged 4 commits intomasterfrom
remove-femoral-vein-SubClassOf-part_of-some-hindlimb

Conversation

@shawntanzk
Copy link
Collaborator

@shawntanzk shawntanzk commented Feb 14, 2022

This seems to be the offending axiom that is causing the unsats
unsats come at tmp/uberon-edit.owl
When this axiom was removed in there, unsats went away.
@dosumis you mentioned that this is due to over-use of partonomy in representing vasculature -> does that mean removing the axiom is perfectly fine?
Thanks

Fixes #2293

@anitacaron
Copy link
Collaborator

This is related to #2293

Copy link
Contributor

@matentzn matentzn left a comment

Choose a reason for hiding this comment

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

Let's get @dosumis vote in tho

@dosumis
Copy link
Contributor

dosumis commented Feb 16, 2022

Suggested fix

external pudendal vein SubClassOf tributary of some femoral vein [core.owl]
tributary_of -> connected_to

@dosumis
Copy link
Contributor

dosumis commented Feb 16, 2022

If that's too much hassle to get release out now, we could keep current fix and resolve later. It's not such a big deal I think.

@shawntanzk
Copy link
Collaborator Author

external pudendal vein SubClassOf tributary of some femoral vein [core.owl]

Adding this is in addition to removing relationship: part_of UBERON:0002103 ! hindlimb in femoral vein I assume?

@shawntanzk
Copy link
Collaborator Author

oh tested it, and i guess you mean instead of removing the relationship

@shawntanzk shawntanzk changed the title femoral vein SubClassOf part_of some hindlimb Change tributary_of UBERON:0001361 to connected_to Feb 16, 2022
@shawntanzk shawntanzk changed the title Change tributary_of UBERON:0001361 to connected_to Change external pudendal vein tributary_of to connected_to Feb 16, 2022
@shawntanzk
Copy link
Collaborator Author

Merging this given its @dosumis preference and we were waiting for his input anyway

@shawntanzk shawntanzk merged commit c76280f into master Feb 16, 2022
@shawntanzk shawntanzk deleted the remove-femoral-vein-SubClassOf-part_of-some-hindlimb branch February 16, 2022 19:50
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.

There are 6 unsatisfiable classes in the ontology

4 participants