We have a new collaborative paper out in Lecture Notes in Computer Science, with Mingmin Chen of UC Davis as lead author, on inconsistency checking and repair of conflicting concept articulations for the Euler/X toolkit. Complete citation:
Chen, M., S. Yu, N. Franz, S. Bowers & B. Ludäscher. 2014. A hybrid diagnosis approach combining Black-Box and White-Box reasoning. In: A. Bikakis et al. (Editors): RuleML 2014. Lecture Notes in Computer Science 8620: 127-141. Link to publication.
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.
Euler/X merge of two Hominoidea classifications sec. Groves 1993/2005.
- 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.