Clarify meaning of 'has potential to develop into'. (#812)

There has been confusion about the meaning of RO:0002387 ('has potential
to develop into'), especially regarding the implication of that relation
on taxon constraints (the main question being: if 'X RO:0002387 some Y'
and Y is restricted to a given taxon, should that imply that X is also
restricted to that same taxon?).

We add a comment to tentatively clarify the intended meaning of that
relation, as well as a property chain over 'in taxon' (RO:0002162) to
formally answer the question about its implication on taxon constraints.
That property chain is currently being defined in Uberon, from where it
should be removed once the present commit makes its way into a RO
release.

closes #810

src/ontology/ro-edit.owl

@@ -3611,7 +3611,9 @@ SubObjectPropertyOf(obo:RO_0002386 obo:RO_0002384)
 AnnotationAssertion(obo:IAO_0000114 obo:RO_0002387 obo:IAO_0000428)
 AnnotationAssertion(obo:IAO_0000115 obo:RO_0002387 "x has the potential to develop into y iff x develops into y or if x is capable of developing into y"@en)
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0002387 <https://orcid.org/0000-0002-6601-2165>)
+AnnotationAssertion(rdfs:comment obo:RO_0002387 "This relation has a stronger meaning than merely indicating that X may develop into Y, in that the capability of developing into Y is always present, even if X does not always actually develop into Y. In particular, this means that if Y is restricted to a given taxon T, X is necessarily likewise restricted.")
 AnnotationAssertion(rdfs:label obo:RO_0002387 "has potential to develop into"@en)
+AnnotationAssertion(rdfs:seeAlso obo:RO_0002387 <https://github.com/oborel/obo-relations/issues/810>)
 SubObjectPropertyOf(obo:RO_0002387 obo:RO_0002384)
 
 # Object Property: obo:RO_0002388 (has potential to directly develop into)
@@ -7232,6 +7234,7 @@ SubObjectPropertyOf(ObjectPropertyChain(obo:RO_0002338 obo:BFO_0000050) obo:RO_0
 SubObjectPropertyOf(ObjectPropertyChain(obo:RO_0002339 obo:BFO_0000050) obo:RO_0002339)
 SubObjectPropertyOf(Annotation(obo:RO_0002582 "true"^^xsd:boolean) ObjectPropertyChain(obo:RO_0002371 obo:BFO_0000050) obo:RO_0002177)
 SubObjectPropertyOf(ObjectPropertyChain(obo:RO_0002377 obo:RO_0002381) obo:RO_0002380)
+SubObjectPropertyOf(ObjectPropertyChain(obo:RO_0002387 obo:RO_0002162) obo:RO_0002162)
 SubObjectPropertyOf(ObjectPropertyChain(obo:RO_0002402 obo:RO_0002400) obo:RO_0002413)
 SubObjectPropertyOf(ObjectPropertyChain(obo:RO_0002407 obo:RO_0002629) obo:RO_0002407)
 SubObjectPropertyOf(ObjectPropertyChain(obo:RO_0002409 obo:RO_0002409) obo:RO_0002407)