Skip to content

Posts tagged ‘Answer Set Programming’

New publication: Reasoning over taxonomic change – Perelleschus

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.

Merge taxonomies with the Euler/ASP toolkit – the Andropogon use case

We have a new manuscript ready for submission that uses the Euler/ASP toolkit to reason over taxonomic change in the Andropogon (glomeratus-virginicus) ‘complex’ – an illuminating use case assembled by the visionary Alan Weakley. More on this toolkit soon; it is ready for application to larger and more complex use cases.

Nico M. Franz, Mingmin Chen, Shizhuo Yu, Shawn Bowers &  Bertram Ludäscher

Names Are Not Good Enough: Reasoning over Taxonomic Change in the Andropogon Complex

Read more