The first, fleshed out use case of the Euler/X project was published yesterday in PLoS ONE. This paper is a companion to the phylogenetic revision of the acalyptine weevil genus Perelleschus sec. Franz & Cardona-Duque (2013), and translates the 54 taxonomic concepts and 75 RCC-5 articulations provided in that paper into 13 logically consistent alignments and visualizations, with additional inferred articulations.
Franz, N.M., M. Chen, S. Yu, P. Kianmajd, S. Bowers & B. Ludäscher. 2015. Reasoning over taxonomic change: exploring alignments for the Perelleschus use case. PLoS ONE 10(2): e0118247. doi:10.1371/journal.pone.0118247. Available on-line here.
Very glad to see this one published; at the same time there are other use case papers in the pipeline (Andropogon, Primates). The particular motivation for this paper was to resolve sets of several small-scale yet taxonomically and phylogenetically complex input trees with the RCC-5 concept alignment approach and Euler/X toolkit. The paper is written in a “how to?” style, successively exploring and explaining the connections between the user-provided input constraints and the over-, under-, or well-specified reasoning outcomes. It deals with issues of logical consistency, input sufficiency, ambiguity, and alternative ways to align (parent) concepts in reference to either (1) their intensionally circumscribed properties (which may include synapomorphies) or (2) the ostensively indicated members. This corresponds to the program outlined in Franz & Thau (2010).
One reviewer wrote: “With an exceptionally suited use case, the complexity of taxonomic reasoning and its translation to machine processing are depicted in unprecedented form.” Our ultimate goal is to develop a widely applicable reference and linkage system for taxonomic products that human users create but which is actually optimized for computational processing – without compromising the Linnaean system whose services to humans are profoundly valuable.