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

Create a release product that uses COB as upper ontology #780

Open
2 tasks
cmungall opened this issue Jan 29, 2024 · 3 comments
Open
2 tasks

Create a release product that uses COB as upper ontology #780

cmungall opened this issue Jan 29, 2024 · 3 comments

Comments

@cmungall
Copy link
Contributor

cmungall commented Jan 29, 2024

This could be staged:

  • RO core
  • Rest of RO

The fundamental challenges as I see them concern existing axiomatization (in particular D/R constraints, which are frequently to above-the-shoreline (aka ATS) BFO terms) are laid out in:

Please read these thoroughly before commenting.

In the last slide I lay out different options:

  1. expressionize the ATS terms (expressionizer)
  2. replace ATS terms with UnionOfs
  3. modify axioms, potentially changing meaning, and inject back onto existing BFO/RO IDs (this is what we are doing right now)
  4. modify axioms but do not reuse IDs if meaning changes - i.e. start making a new RO in COB
@wdduncan
Copy link
Collaborator

wdduncan commented Dec 2, 2024

Need someone to do the PR.

@cmungall
Copy link
Contributor Author

No PR until we decide which of the 4 actions (which requires very careful reading of the slides)

@pfabry
Copy link

pfabry commented Feb 10, 2025

The presentation includes a fifth action, namely to retain the ATS terms. I understand that this particular issue is not be the best place to discuss it, or that this point may have already been settled—in which case, I apologize. However, is there truly a significant benefit to removing occurrent, continuant, and specifically dependent continuant, especially given that independent continuant and generically dependent continuant are already mentioned in COB?

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

No branches or pull requests

3 participants