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.

Sign up for GitHub

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

Jump to bottom

Try ripping out non-OBI axioms and merging in COB #1671

Open
jamesaoverton opened this issue Mar 13, 2023 · 2 comments
Open

Try ripping out non-OBI axioms and merging in COB #1671

jamesaoverton opened this issue Mar 13, 2023 · 2 comments
Assignees
@jamesaoverton
Labels
admin:high priority coord:COB migration

Comments

@jamesaoverton
Copy link
Contributor

OBI has a base file, but it inserts too many axioms for ontology ontologies. There are various historical reasons for these insertions that we could review one-by-one...

... or we could just rip the insertions out, merge in COB, RO core, and OMO, and see what we get. This should be relatively fast to do, so we should try it before setting out on a careful review.
@jamesaoverton jamesaoverton self-assigned this Mar 13, 2023
@bpeters42
Copy link
Contributor

This would also partially address #1718 . Any updates James? Any help needed?

@bpeters42 bpeters42 mentioned this issue Aug 7, 2023
Open
@jamesaoverton
Copy link
Contributor Author

We made some progress toward this in #1764

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jamesaoverton jamesaoverton

Labels
admin:high priority coord:COB migration
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@jamesaoverton @cstoeckert @bpeters42