search

obophenotype / upheno

The Unified Phenotype Ontology (uPheno) integrates multiple phenotype ontologies into a unified cross-species phenotype ontology.
https://obophenotype.github.io/upheno/
Creative Commons Zero v1.0 Universal
75 stars 17 forks source link

Pattern for relaxing equivalence axioms to simple subclass graph #263

Open cmungall opened 6 years ago

cmungall commented 6 years ago

A common operation now part of standard OBO workflows via robot is the relaxation of equivalence axioms to weaker subClassOf axioms.

For the majority of ontologies this falls into one of two templates: C SubClassOf D or C SubClassOf R some D (i.e Basic Existential Graphs). These are typically treated as single edges in neo4j etc.

For phenotype ontologies we don't see this pattern due to the necessity for the extra has-part (used as a buffer against is-a overloading). In order to formally relax this into the pattern above we would need to name the has-part o inheres-in chain.

balhoff commented 6 years ago

+1, I named this chain to simplify queries in Phenoscape.