Difference between revisions of "Transitive homology"
From phenoscape
Line 1: | Line 1: | ||
− | This page explores the transitive closure of the homologous_to relation. Currently in OBD this is a class-level relation that holds between two taxon-specific anatomical entities. | + | This page explores the transitive closure of the homologous_to relation. Currently in OBD this is a binary class-level relation that holds between two taxon-specific anatomical entities. |
+ | |||
+ | I propose the following expansion to OWL-DL instance-level quantified axioms: | ||
+ | |||
+ | homologous_to(A,B) ==> | ||
+ | Class: A | ||
+ | SubClassOf: descendedFrom some (hasDescendant some B) | ||
+ | Class: B | ||
+ | SubClassOf: descendedFrom some (hasDescendant some A) | ||
+ | |||
+ | |||
== Otophysi intercalarium == | == Otophysi intercalarium == |
Revision as of 21:47, 15 March 2010
This page explores the transitive closure of the homologous_to relation. Currently in OBD this is a binary class-level relation that holds between two taxon-specific anatomical entities.
I propose the following expansion to OWL-DL instance-level quantified axioms:
homologous_to(A,B) ==> Class: A SubClassOf: descendedFrom some (hasDescendant some B) Class: B SubClassOf: descendedFrom some (hasDescendant some A)
Otophysi intercalarium
this is annotated to be homologous to the neural arch 2 and vertebra 2 in Teleosti. From this, what can be said of the relationship between these two entities?
Error creating thumbnail: Unable to save thumbnail to destination
Otophysi tripus
this is annotated to be homologous to (i) the fusion of parapophysis + rib of v3 and (ii) the fusion of parapophysis + rib of v3 + rib of v4 in Teleosti. What can be said from this of the relation between (i) and (ii)
Error creating thumbnail: Unable to save thumbnail to destination