February, 2015. The first fleshed-out use case of reasoning over taxonomic concepts with the Euler/X toolkit is now published.
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.
An overview – initiated in early November, 2013 and regularly updated (throughout 2015) – of papers and presentations related to the taxonomic concept approach. Since the Fall/Winter of 2013 we have a working Python toolkit Euler/X (openly available on-line) that can read in two taxonomies (T1,T2), a set or articulations (A), and additional constraints (C). The toolkit then calls up Answer Set Programming reasoners to infer and visualize an alignment among the taxonomies that satisfies the constraints. A short video is posted here.
- See also the Euler Project website.
- Euler/X code is available here.
- David Thau et al.‘s work prior to Euler: listing and PDFs.
- Update February, 2014 (I): Analysis of the Andropogon use case.
- Update February, 2014 (II): Analysis of two weevil classifications.
- Update February, 2014 (III): Using the Euler/X toolkit to align taxonomies – introductory notes.
- Update March, 2014 (I): Alignment of two classifications of the Monotremata.
- Update April, 2014 (I): Perelleschus reasoning manuscript submitted to PLoS ONE. Abstract.
- Update April, 2014 (II): Progress in aligning the 1993/2005 Mammal Species of the World – Order Primates.
- Update May, 2014 (I): Names, identifications, and concepts (post related to GBIF Guidelines).
- Update June, 2014 (I): Perelleschus concept paper receives Outstanding Paper for 2013 Award.
- Update June, 2014 (II): We now have a completely aligned, consistent merge taxonomy for 317 x 483 concepts of Primates, sec. Groves (2003) and sec. Groves (2005), respectively. Manuscript in preparation.
- Update July, 2014 (I): TaPP 2014 – 6th USENIX Workshop on the Theory and Practice of Provenance – Poster by Chen et al.: Provenance for Explaining Taxonomy Alignments.
- Update July, 2014 (II): The new Euler/X server is set up at: http://euler.asu.edu/
- Update July, 2014 (III): Euler/X demonstration video.
- Update July, 2014 (IV): Zhang & Franz presentation on concept changes in the Heteroptera (5th Quadrennial Meeting of Heteropterists’ Society).
- Update August, 2014: Ludäscher et al. presentation at RuleML 2014.
- Update September,2014 (I): Revision – Franz et al. 2014. Reasoning over taxonomic change: exploring alignments for the Perelleschus use case. PLoS ONE. PDF
- Update September, 2014 (II): 2014 Colorado “The Meaning of Names” Conference Presentation – Explaining taxonomy’s legacy to computers.
- Update September, 2014 (III): Euler server is now functional (internally) at http://euler.asu.edu/, we are working on increasing accessibility to external users.
- Update, November, 2014 (I): Perelleschus reasoning paper at arXiv
- Update, November, 2014 (II): BIGCB 2014 Workshop presentation.
- Update, November, 2014 (III): Entomological Society of America presentation.
- Update, December, 2014 (I): Primate alignment manuscript at arXiv.
- Update, January, 2015 (I): Radford, Ahles & Bell 1968 translated as Euler/X input tree.
- Update, January, 2015 (II): Euler source is migrating to GitHub at https://github.com/EulerProject.