On taxonomic reasoning in E/R environment