Taxonomic Reasoning in LOGIDATA+