Figure 1
From: Improving ontologies by automatic reasoning and evaluation of logical definitions
Disagreement of ontologies. In the MPO, abnormal ion homeostasis and abnormal copper homeostasis are not connected by an ancestor/descendent relation. The results of analysis by GULO of logical definitions of the MPO terms suggests that abnormal copper homeostasis should be a subclass of abnormal ion homeostasis, because the term copper ion homeostasis is a descendant of ion homeostasis in the GO. These two terms are used to logically define the corresponding terms in the MPO.