oborel / obo-relations

RO is an ontology of relations for use with biological ontologies
http://oborel.github.io/
Other
92 stars 47 forks source link

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

Open cmungall opened 8 months ago

cmungall commented 8 months ago

This could be staged:

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