Table 4.

Critical pitfalls

Code	P28: Defining wrong symmetric relationships
Description	A relationship is defined as symmetric when the relationship is not necessarily symmetric.
Appears in	SymmetricProperty(continuous_with)
Reason	the domain of continuous_with is different from the range of continuous_with (‘Material Anatomical Entity’ vs. ‘Physical Anatomical Entity’).
Other useful information	subClassOf(‘Material Anatomical Entity’, ‘Physical Anatomical Entity’)
Implications	Let ‘Material Anatomical Entity’(x), ‘Physical Anatomical Entity’(y), continuous_with(x,y). Due to SymmetricProperty(continuous_with), the reasoner infers that ‘Physical Anatomical Entity’(x) and ‘Material Anatomical Entity’(y)
Correction	Change the domain of continuous_with to ‘Material Anatomical Entity’.
Code	P05: Defining wrong inverse relationships
Description	Two relationships are defined as inverse relationships when they are not necessarily inverse.
Appears in	inverseOf(continuous_with,continuous_with)
Reason	the domain of continuous_with is different from the range of continuous_with (‘Material Anatomical Entity’ vs. ‘Physical Anatomical Entity’).
Implications	Let ‘Material Anatomical Entity’(x), ‘Physical Anatomical Entity’(y), continuous_with(x,y). Due to inverseOf(continuous_with,continuous_with), the reasoner infers that ‘Physical Anatomical Entity’(x) and ‘Material Anatomical Entity’(y)
Correction	This pitfall corrects itself as a result of correcting pitfall P25 (see Table 5)