kg-obo
kg-obo copied to clipboard
Pre-process OBOs to avoid axiom conflicts
Would like to retain hierarchies within OBOs when present (i.e., going beyond base versions, or using "maximal" versions when available) but want to avoid axiom conflicts.
Describe the desired behavior
Final TSV node and edge lists should contain reasoned relationships inherited from imported OBOs but should avoid reliance upon axioms likely to conflict upon graph assembly.
ROBOT can do this when used as a pre-processing step: See https://github.com/INCATools/ubergraph/blob/0bcc3864d5bb90b02029ef59147351e190188d11/Makefile#L19-L25
But this may not handle everything?
Additional context
Phenotype ontologies (e.g., upheno, hpo) may require specific concerns re: reasoning.
See also https://github.com/INCATools/ontology-development-kit/issues/454