Taxonomic Reasoning with Cycles in LOGIDATA+