See current related work at: http://taxonbytes.org/prior-work-on-concept-taxonomy-2013/
We will demonstrate the features of Euler/X, a toolkit in development for logic-based multi-taxonomy integration. The Euler project (see http://euler.cs.ucdavis.edu/; software code available at https://bitbucket.org/eulerx/euler-project) utilizes the taxonomic concept approach to represent perceived taxonomic entities in two or more related yet distinct classifications. Euler/X will read in these taxonomies together with an initial set of expert-made concept relationship assessments, or articulations. The latter are based on Region Connection Calculus (RCC-5) relations; specifically congruence (=), proper inclusion (>), inverse proper inclusion (<),><),>, representing different ways to merge the input taxonomies, are visualized. Upon viewing the possible worlds the expert user has follow-up opportunities to revisit articulations that are responsible for ambiguities in the merge, thereby reducing the number of possible world solutions. We demonstrate the Euler/X workflow and related considerations and challenges using the example of a Perelleschus concept history published by Franz & Cardona-Duque, 2013 . This weevil genus was revised in 2001 and again in 2013, resulting in two distinct taxonomic and phylogenetic perspectives that can be aligned and merged with the toolkit. Euler/X implements innovative concepts and logic representation technologies that advance the task of tracking classification and phylogeny provenance in systematics, with implications for biodiversity data annotation and integration.