obo-relations
obo-relations copied to clipboard
oborel
RO is an ontology of relations for use with biological ontologies
The BFO reference declares mereological relations as reflexive: ``` THEOREM: continuant_part_of is reflexive (every continuant entity is a continuant_part_of itself). [111-002] THEOREM: occurrent_part_of is reflexive (every occurrent entity is an...
Looking at the property chain of 'has participant' `'has part' o 'has participant' -> 'has participant'`, I wonder why there isn't also a similar property chain axiom for 'participates in'...
Continued from https://github.com/obophenotype/uberon/issues/1159 We avoid global reflexivity for reasons outlined here: https://github.com/oborel/obo-relations/wiki/ROGuideDraft#local-reflexivity However, I would argue an exception can be made for part-of, as it is a universally applicable relation...
Related to https://github.com/obophenotype/uberon/issues/2453
RO:'derives from' requires that the old entity ceases to exist. What relation should we use for things that have been extracted from an entity that continues to exist? e.g. a...
In ECTO, there is an `exposure event` class. However, due to the RO import, the class `exposure event or process` exists. It would be helpful and less confusing if ECTO...
- add exposure event class - change domain of 'related via exposure to' to 'exposure event' - obsolete 'exposure event or process'
Hi, I find there is an "has active ingredient" in RO. Do you mind adding two related terms, "has ingredient" (don't know if if it is active or not) and...
For CIDO, we represent the different sub-variants of SARS-CoV-2 that emerge, including the PANGO lineage identification (BA.1, BA.2, etc.). However, PANGO lineage identification gives a set of common amino acids...
There are a few things in RO that cannot be captured in RO: - SubAnnotationPropertyOf axioms - AnnotationPropertyRange axioms - DLSafeRules - SubObjectPropertyOf if they involve inverses - Complex subClassOf...
