Figure 4
![Figure 4](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2Fgb-2012-13-1-r5/MediaObjects/13059_2011_Article_2753_Fig4_HTML.jpg)
Strategy for applying taxonomic constraints. If the fruitfly class FBbt:tibia (representing a segment of an insect leg) were accidentally placed as a child of UBERON:0000979 'tibia', the reasoner would flag this as an error because 'tibia' is_a 'bone' in Uberon, bones are found only in vertebrates, and FBbt:tibia is a Drosophila structure.