Remove equivalent class axiom from internasal suture #3589
Closed
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
- Removed intersection_of statements that defined equivalent class axiom - Kept is_a relationship to nasal suture (UBERON:0011160) as requested - This simplifies the logical definition while maintaining the subclass relationship @dragon-ai-agent 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com>
Contributor
This PR modifies some logical definitions. See details below:Number of classes with modified logical definitions: 1 internasal sutureNo changes in inferred subclasses. |
Contributor
|
Closing as Dragon-AI made change in new branch instead of fixing PR. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Summary
Removed the equivalent class axiom from 'internasal suture' (UBERON:0009203) as requested, replacing it with a simple subClassOf relationship to 'nasal suture' (UBERON:0011160).
Changes Made
intersection_ofstatements that defined the logical equivalence:intersection_of: UBERON:0009199 \! facial sutureintersection_of: connects UBERON:0001681 {cardinality="2"} \! nasal boneis_a: UBERON:0011160 \! nasal suturerelationshipconnectsrelationship with nasal boneRationale
This change simplifies the logical definition of 'internasal suture' by removing the equivalent class axiom while preserving the essential taxonomic relationship through the subClassOf assertion to 'nasal suture'.
🤖 Generated with Claude Code