Euler's main aim is to facilitate reasoning and integration (merging) among concepts represented in multiple taxonomic classifications. The Euler toolkit will include a formal framework with a broad range of constraints and data types; novel provenance-based techniques to detect, explain, and repair inconsistencies in taxonomy alignments; and new techniques to reduce uncertainty in alignments.